-
Notifications
You must be signed in to change notification settings - Fork 0
/
correlations.py
5435 lines (5435 loc) · 597 KB
/
correlations.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
correlations = {3: [1918, 2319, 4312, 6127, 6360, 7093, 7172],
4: [111, 114, 1025, 1504, 2457, 4909, 5229, 5438, 7171],
4101: [5078], 6145: [6172, 6425, 6725, 6907, 7101, 7121],
8: [972, 2274, 5791], 4105: [5754],
4106: [4196, 4285, 4355, 4365, 4367, 4439, 4440, 4573, 4640,
4826, 4849, 4937, 5078, 5170, 5213, 5234, 5254, 5271,
5289, 5312, 5350, 5370, 5392, 5468, 5508, 5521, 5537,
5781, 5799, 5803, 5815, 5856, 5899, 5916, 5944, 6037,
6293, 6319, 6333, 6335, 6343, 6360, 6425, 6470, 6488,
6496, 6509, 6517, 6543, 6548, 6581, 6583, 6654, 6672,
6702, 6744, 6798, 6810, 6812, 6826, 6886, 6905, 6907,
6916, 6923, 7002, 7101, 7112, 7121, 7169],
12: [72, 255, 280, 435, 582, 644, 910, 1153, 1795, 1868, 1905,
2044, 2350, 3640, 4119, 4218, 5063, 5456, 6983],
13: [14, 16, 19, 42, 44, 50, 52, 56, 58, 61, 65, 68, 69, 72, 73,
80, 81, 92, 93, 100, 102, 103, 104, 109, 110, 112, 119, 121,
122, 127, 129, 132, 134, 136, 141, 142, 143, 145, 146, 149,
151, 153, 155, 157, 162, 166, 171, 175, 177, 179, 180, 182,
185, 190, 193, 198, 199, 206, 207, 208, 216, 218, 221, 224,
226, 227, 233, 235, 237, 238, 241, 242, 245, 255, 260, 270,
275, 276, 278, 281, 284, 285, 288, 293, 299, 303, 306, 307,
309, 312, 315, 316, 317, 319, 323, 324, 326, 327, 328, 331,
336, 339, 340, 342, 346, 347, 349, 355, 358, 359, 362, 363,
364, 365, 366, 371, 379, 384, 385, 390, 391, 394, 397, 399,
400, 402, 407, 409, 416, 418, 419, 420, 428, 435, 441, 442,
443, 446, 450, 451, 458, 459, 462, 464, 465, 468, 470, 471,
472, 487, 489, 490, 494, 499, 500, 501, 508, 512, 514, 516,
528, 529, 530, 532, 534, 536, 547, 556, 560, 563, 565, 566,
567, 578, 580, 581, 583, 586, 588, 590, 594, 596, 597, 599, 602, 603, 606, 611, 612, 613, 617, 622,
624, 630, 632, 633, 644, 660, 668, 669, 672, 673, 675, 677, 679, 680, 685, 686, 687, 690, 692, 693,
696, 697, 698, 700, 709, 710, 716, 718, 719, 722, 727, 729, 730, 731, 732, 733, 737, 738, 739, 742,
743, 747, 751, 752, 753, 754, 755, 756, 759, 760, 761, 763, 769, 774, 779, 780, 781, 783, 784, 786,
789, 795, 797, 798, 803, 804, 805, 806, 809, 811, 812, 815, 816, 822, 824, 830, 835, 836, 839, 841,
842, 844, 846, 848, 849, 850, 855, 859, 860, 869, 871, 872, 873, 879, 881, 884, 894, 900, 901, 905,
908, 909, 910, 912, 913, 914, 915, 918, 922, 927, 934, 935, 937, 941, 943, 944, 948, 949, 950, 952,
958, 959, 962, 965, 966, 967, 971, 977, 979, 982, 986, 987, 989, 991, 992, 995, 996, 998, 999,
1002, 1004, 1017, 1021, 1023, 1024, 1025, 1028, 1031, 1033, 1035, 1038, 1039, 1042, 1045, 1049,
1054, 1057, 1058, 1060, 1061, 1062, 1066, 1067, 1080, 1081, 1084, 1085, 1095, 1096, 1097, 1099,
1100, 1114, 1118, 1120, 1124, 1133, 1138, 1142, 1149, 1153, 1157, 1159, 1163, 1165, 1170, 1171,
1174, 1180, 1183, 1187, 1189, 1190, 1192, 1193, 1196, 1198, 1199, 1201, 1204, 1207, 1218, 1219,
1220, 1223, 1228, 1229, 1234, 1239, 1240, 1242, 1243, 1245, 1248, 1251, 1252, 1253, 1257, 1258,
1259, 1262, 1263, 1266, 1272, 1275, 1288, 1292, 1293, 1294, 1299, 1300, 1305, 1309, 1310, 1314,
1319, 1320, 1327, 1330, 1335, 1338, 1341, 1343, 1344, 1345, 1349, 1354, 1355, 1356, 1357, 1359,
1360, 1363, 1365, 1367, 1369, 1371, 1378, 1379, 1385, 1386, 1387, 1390, 1395, 1396, 1405, 1407,
1408, 1411, 1420, 1427, 1429, 1430, 1431, 1435, 1436, 1438, 1440, 1441, 1446, 1448, 1449, 1450,
1455, 1456, 1459, 1462, 1464, 1465, 1468, 1469, 1470, 1471, 1472, 1474, 1475, 1476, 1477, 1481,
1484, 1485, 1491, 1496, 1497, 1501, 1503, 1510, 1516, 1520, 1524, 1527, 1530, 1532, 1536, 1537,
1543, 1550, 1555, 1556, 1558, 1564, 1571, 1573, 1579, 1581, 1586, 1589, 1591, 1600, 1601, 1602,
1605, 1608, 1613, 1614, 1616, 1619, 1622, 1625, 1627, 1630, 1633, 1635, 1639, 1642, 1644, 1650,
1653, 1654, 1656, 1657, 1658, 1663, 1666, 1668, 1671, 1675, 1676, 1677, 1678, 1679, 1681, 1683,
1685, 1690, 1691, 1692, 1695, 1696, 1699, 1703, 1704, 1709, 1710, 1713, 1715, 1716, 1719, 1722,
1725, 1726, 1733, 1734, 1735, 1737, 1740, 1741, 1743, 1744, 1752, 1753, 1754, 1761, 1765, 1767,
1772, 1776, 1781, 1784, 1789, 1792, 1793, 1799, 1805, 1807, 1809, 1810, 1811, 1816, 1819, 1820,
1822, 1824, 1828, 1829, 1833, 1838, 1841, 1845, 1847, 1850, 1852, 1853, 1856, 1857, 1858, 1859,
1860, 1861, 1862, 1863, 1864, 1867, 1868, 1869, 1870, 1871, 1872, 1877, 1882, 1884, 1889, 1891,
1893, 1895, 1897, 1899, 1901, 1906, 1908, 1909, 1911, 1916, 1917, 1918, 1920, 1921, 1924, 1928,
1937, 1942, 1948, 1949, 1950, 1954, 1961, 1968, 1969, 1970, 1972, 1978, 1979, 1982, 1984, 1985,
1986, 1988, 1989, 1992, 1994, 1999, 2004, 2007, 2008, 2012, 2013, 2014, 2020, 2021, 2025, 2030,
2031, 2036, 2038, 2039, 2042, 2043, 2044, 2050, 2052, 2053, 2057, 2065, 2072, 2076, 2078, 2079,
2080, 2082, 2084, 2085, 2089, 2091, 2094, 2095, 2103, 2104, 2108, 2114, 2127, 2129, 2130, 2133,
2140, 2141, 2142, 2144, 2149, 2152, 2154, 2158, 2161, 2162, 2165, 2170, 2180, 2181, 2183, 2185,
2187, 2190, 2192, 2194, 2197, 2200, 2203, 2204, 2210, 2211, 2220, 2227, 2228, 2230, 2237, 2239,
2242, 2246, 2251, 2252, 2258, 2261, 2268, 2277, 2278, 2279, 2295, 2297, 2302, 2307, 2308, 2312,
2314, 2318, 2319, 2326, 2327, 2336, 2339, 2341, 2343, 2350, 2351, 2357, 2359, 2362, 2363, 2364,
2370, 2376, 2379, 2380, 2383, 2384, 2385, 2389, 2398, 2409, 2410, 2411, 2412, 2419, 2421, 2424,
2426, 2429, 2433, 2436, 2440, 2443, 2447, 2448, 2454, 2460, 2462, 2463, 2465, 2467, 2472, 2478,
2487, 2488, 2489, 2490, 2492, 2493, 2499, 2500, 2504, 2509, 2511, 2512, 2513, 2520, 2521, 2525,
2532, 2541, 2542, 2544, 2549, 2551, 2553, 2554, 2556, 2557, 2565, 2567, 2570, 2574, 2578, 2579,
2582, 2591, 2592, 2595, 2599, 2600, 2601, 2605, 2609, 2613, 2620, 2622, 2628, 2632, 2634, 2637,
2639, 2642, 2643, 2648, 2649, 2659, 2661, 2663, 2668, 2669, 2671, 2672, 2674, 2675, 2679, 2684,
2693, 2699, 2704, 2705, 2706, 2709, 2717, 2718, 2719, 2720, 2722, 2725, 2727, 2736, 2740, 2743,
2745, 2747, 2749, 2751, 2757, 2772, 2774, 2779, 2782, 2786, 2788, 2791, 2795, 2799, 2805, 2807,
2808, 2811, 2816, 2827, 2830, 2831, 2832, 2833, 2835, 2846, 2847, 2848, 2851, 2854, 2856, 2859,
2866, 2867, 2873, 2877, 2878, 2879, 2883, 2888, 2889, 2892, 2899, 2903, 2904, 2905, 2918, 2921,
2928, 2930, 2938, 2942, 2945, 2946, 2947, 2949, 2951, 2952, 2963, 2965, 2971, 2972, 2978, 2981,
2985, 2991, 2996, 2997, 2998, 3001, 3004, 3005, 3009, 3013, 3015, 3019, 3020, 3024, 3043, 3045,
3051, 3054, 3057, 3060, 3065, 3066, 3069, 3070, 3071, 3072, 3074, 3082, 3083, 3089, 3091, 3104,
3106, 3112, 3115, 3116, 3120, 3123, 3127, 3128, 3133, 3136, 3138, 3144, 3150, 3152, 3155, 3166,
3167, 3171, 3173, 3176, 3182, 3183, 3188, 3190, 3191, 3192, 3202, 3203, 3206, 3207, 3212, 3216,
3218, 3223, 3226, 3235, 3247, 3253, 3258, 3259, 3260, 3261, 3265, 3266, 3272, 3276, 3278, 3279,
3281, 3283, 3293, 3295, 3301, 3309, 3313, 3315, 3316, 3321, 3326, 3330, 3339, 3341, 3344, 3349,
3354, 3356, 3357, 3359, 3363, 3366, 3367, 3368, 3370, 3371, 3373, 3377, 3379, 3381, 3382, 3383,
3384, 3391, 3392, 3397, 3402, 3403, 3410, 3412, 3413, 3414, 3418, 3422, 3423, 3425, 3431, 3444,
3445, 3446, 3453, 3454, 3462, 3464, 3466, 3468, 3475, 3476, 3480, 3487, 3488, 3490, 3497, 3509,
3515, 3517, 3518, 3522, 3523, 3525, 3528, 3530, 3531, 3534, 3538, 3547, 3548, 3554, 3559, 3567,
3574, 3579, 3592, 3595, 3596, 3597, 3599, 3614, 3617, 3620, 3622, 3623, 3624, 3625, 3635, 3637,
3638, 3640, 3641, 3643, 3644, 3645, 3650, 3653, 3656, 3662, 3663, 3667, 3670, 3686, 3692, 3695,
3697, 3706, 3707, 3709, 3710, 3712, 3716, 3717, 3719, 3727, 3730, 3731, 3732, 3739, 3740, 3751,
3756, 3762, 3765, 3767, 3769, 3775, 3779, 3785, 3786, 3787, 3792, 3796, 3798, 3799, 3801, 3802,
3812, 3813, 3814, 3817, 3821, 3824, 3827, 3831, 3835, 3837, 3838, 3840, 3843, 3849, 3852, 3853,
3862, 3864, 3865, 3867, 3869, 3870, 3873, 3878, 3880, 3891, 3895, 3898, 3900, 3901, 3902, 3910,
3913, 3916, 3921, 3922, 3923, 3924, 3926, 3928, 3929, 3938, 3939, 3940, 3944, 3947, 3948, 3951,
3956, 3957, 3961, 3964, 3965, 3969, 3974, 3975, 3977, 3983, 3988, 3989, 3990, 3991, 3992, 3993,
3996, 4008, 4011, 4015, 4017, 4024, 4025, 4028, 4029, 4030, 4032, 4038, 4043, 4044, 4045, 4048,
4051, 4054, 4058, 4065, 4072, 4076, 4081, 4082, 4086, 4088, 4089, 4090, 4092, 4097, 4100, 4105,
4110, 4111, 4113, 4114, 4116, 4117, 4119, 4121, 4125, 4127, 4128, 4136, 4143, 4146, 4147, 4149,
4151, 4153, 4154, 4155, 4167, 4171, 4174, 4175, 4176, 4177, 4178, 4179, 4180, 4181, 4184, 4185,
4194, 4201, 4204, 4207, 4210, 4211, 4212, 4214, 4217, 4218, 4222, 4234, 4238, 4239, 4243, 4245,
4251, 4252, 4253, 4254, 4256, 4261, 4262, 4263, 4264, 4268, 4271, 4272, 4280, 4282, 4286, 4288,
4294, 4295, 4298, 4306, 4312, 4313, 4314, 4316, 4317, 4318, 4322, 4323, 4324, 4325, 4326, 4328,
4334, 4338, 4339, 4345, 4350, 4356, 4358, 4359, 4364, 4366, 4369, 4373, 4374, 4376, 4383, 4387,
4389, 4391, 4399, 4400, 4411, 4417, 4422, 4424, 4426, 4432, 4435, 4443, 4447, 4450, 4455, 4456,
4460, 4463, 4464, 4465, 4466, 4467, 4473, 4474, 4481, 4484, 4485, 4486, 4488, 4490, 4494, 4502,
4508, 4509, 4516, 4517, 4520, 4521, 4522, 4525, 4526, 4528, 4529, 4533, 4534, 4535, 4543, 4545,
4551, 4559, 4561, 4564, 4566, 4568, 4570, 4573, 4576, 4578, 4581, 4582, 4585, 4588, 4590, 4592,
4595, 4597, 4600, 4603, 4608, 4612, 4616, 4617, 4629, 4633, 4636, 4638, 4639, 4642, 4645, 4648,
4649, 4653, 4654, 4657, 4661, 4663, 4665, 4670, 4672, 4681, 4684, 4685, 4687, 4688, 4699, 4701,
4703, 4704, 4708, 4711, 4719, 4720, 4721, 4724, 4727, 4728, 4730, 4733, 4736, 4740, 4748, 4752,
4753, 4754, 4759, 4763, 4766, 4768, 4771, 4772, 4787, 4789, 4791, 4793, 4797, 4802, 4806, 4815,
4818, 4822, 4823, 4828, 4830, 4831, 4834, 4840, 4841, 4849, 4860, 4862, 4863, 4864, 4867, 4870,
4882, 4884, 4886, 4892, 4893, 4905, 4906, 4910, 4915, 4918, 4919, 4925, 4927, 4929, 4930, 4931,
4934, 4935, 4936, 4939, 4941, 4957, 4961, 4965, 4981, 4988, 4994, 4997, 4999, 5005, 5006, 5009,
5010, 5014, 5015, 5017, 5022, 5026, 5033, 5035, 5041, 5042, 5047, 5059, 5061, 5062, 5063, 5064,
5069, 5081, 5083, 5088, 5090, 5091, 5096, 5099, 5102, 5103, 5116, 5128, 5130, 5131, 5141, 5143,
5144, 5157, 5162, 5163, 5166, 5169, 5170, 5172, 5179, 5182, 5183, 5185, 5188, 5189, 5190, 5196,
5197, 5203, 5205, 5216, 5217, 5218, 5223, 5228, 5231, 5232, 5235, 5239, 5244, 5247, 5250, 5255,
5258, 5262, 5267, 5274, 5282, 5285, 5286, 5298, 5302, 5303, 5311, 5317, 5323, 5324, 5325, 5330,
5331, 5332, 5334, 5337, 5338, 5341, 5344, 5345, 5347, 5354, 5357, 5361, 5368, 5371, 5372, 5373,
5384, 5386, 5387, 5388, 5390, 5392, 5394, 5398, 5399, 5404, 5406, 5408, 5410, 5420, 5424, 5426,
5427, 5430, 5431, 5434, 5443, 5446, 5447, 5449, 5452, 5456, 5459, 5472, 5474, 5475, 5480, 5484,
5486, 5488, 5489, 5493, 5498, 5502, 5503, 5509, 5510, 5514, 5515, 5523, 5524, 5531, 5533, 5535,
5538, 5555, 5556, 5559, 5568, 5571, 5578, 5581, 5582, 5583, 5592, 5593, 5595, 5597, 5601, 5603,
5605, 5614, 5615, 5622, 5623, 5627, 5631, 5633, 5634, 5636, 5640, 5641, 5649, 5653, 5656, 5660,
5661, 5664, 5667, 5670, 5673, 5678, 5679, 5682, 5683, 5690, 5694, 5697, 5698, 5700, 5701, 5703,
5704, 5707, 5710, 5715, 5717, 5721, 5723, 5725, 5728, 5732, 5733, 5735, 5737, 5740, 5741, 5743,
5752, 5753, 5754, 5756, 5761, 5763, 5765, 5769, 5774, 5775, 5778, 5780, 5781, 5788, 5789, 5793,
5795, 5797, 5798, 5800, 5802, 5805, 5810, 5816, 5824, 5826, 5831, 5836, 5838, 5848, 5849, 5854,
5857, 5859, 5869, 5870, 5875, 5877, 5880, 5882, 5887, 5892, 5894, 5895, 5897, 5902, 5904, 5906,
5911, 5913, 5918, 5919, 5920, 5926, 5929, 5931, 5936, 5938, 5942, 5943, 5947, 5955, 5956, 5963,
5968, 5970, 5974, 5976, 5979, 5981, 5986, 5990, 5993, 5997, 6000, 6017, 6020, 6021, 6025, 6029,
6034, 6037, 6039, 6041, 6049, 6050, 6057, 6062, 6067, 6068, 6069, 6070, 6071, 6072, 6074, 6076,
6079, 6080, 6083, 6085, 6087, 6088, 6095, 6096, 6097, 6099, 6101, 6102, 6103, 6105, 6107, 6108,
6120, 6125, 6129, 6131, 6133, 6134, 6136, 6139, 6140, 6146, 6147, 6149, 6152, 6156, 6159, 6160,
6161, 6162, 6163, 6165, 6167, 6171, 6172, 6177, 6179, 6181, 6184, 6185, 6189, 6192, 6193, 6194,
6195, 6197, 6198, 6199, 6202, 6206, 6208, 6209, 6210, 6211, 6215, 6218, 6219, 6221, 6234, 6237,
6238, 6240, 6241, 6242, 6243, 6244, 6246, 6247, 6248, 6252, 6254, 6256, 6257, 6258, 6260, 6261,
6268, 6269, 6271, 6272, 6275, 6277, 6278, 6284, 6285, 6302, 6303, 6307, 6314, 6317, 6322, 6323,
6324, 6325, 6326, 6328, 6332, 6345, 6346, 6348, 6351, 6360, 6361, 6363, 6370, 6374, 6375, 6377,
6385, 6387, 6388, 6392, 6397, 6398, 6400, 6401, 6405, 6407, 6412, 6413, 6414, 6417, 6418, 6421,
6428, 6434, 6438, 6439, 6441, 6443, 6444, 6450, 6454, 6455, 6467, 6468, 6469, 6471, 6474, 6476,
6481, 6483, 6486, 6489, 6490, 6491, 6493, 6499, 6500, 6503, 6506, 6510, 6511, 6512, 6513, 6516,
6519, 6520, 6523, 6525, 6531, 6534, 6535, 6537, 6540, 6541, 6542, 6547, 6549, 6551, 6553, 6557,
6558, 6561, 6562, 6564, 6565, 6569, 6572, 6573, 6577, 6579, 6581, 6584, 6585, 6588, 6591, 6593,
6596, 6597, 6598, 6604, 6605, 6607, 6609, 6610, 6611, 6614, 6615, 6616, 6622, 6624, 6625, 6626,
6627, 6631, 6634, 6635, 6638, 6647, 6654, 6655, 6657, 6659, 6661, 6663, 6664, 6667, 6671, 6675,
6679, 6683, 6686, 6690, 6691, 6693, 6694, 6699, 6711, 6715, 6721, 6724, 6727, 6728, 6733, 6734,
6737, 6738, 6739, 6746, 6752, 6755, 6756, 6763, 6766, 6771, 6772, 6776, 6779, 6780, 6781, 6782,
6784, 6786, 6791, 6796, 6802, 6805, 6807, 6808, 6809, 6811, 6813, 6822, 6824, 6825, 6828, 6829,
6832, 6836, 6837, 6842, 6845, 6848, 6849, 6851, 6852, 6854, 6857, 6861, 6864, 6867, 6869, 6877,
6878, 6881, 6890, 6892, 6894, 6900, 6906, 6908, 6911, 6912, 6917, 6918, 6921, 6922, 6925, 6926,
6929, 6932, 6936, 6941, 6943, 6945, 6946, 6948, 6953, 6955, 6957, 6960, 6963, 6967, 6980, 6984,
6986, 6989, 6992, 6997, 6999, 7000, 7003, 7004, 7005, 7008, 7013, 7016, 7023, 7030, 7033, 7036,
7037, 7039, 7040, 7041, 7046, 7051, 7058, 7059, 7061, 7067, 7068, 7070, 7072, 7073, 7074, 7075,
7079, 7082, 7083, 7084, 7086, 7087, 7089, 7093, 7097, 7099, 7109, 7110, 7112, 7114, 7120, 7122,
7123, 7125, 7131, 7137, 7142, 7148, 7149, 7150, 7156, 7158, 7160, 7164, 7168, 7172, 7175, 7177,
7184, 7187, 7188, 7198], 4110: [4407, 6488],
15: [61, 435, 644, 753, 910, 958, 1045, 1095, 1243, 1253, 1320, 1868, 2313, 2570, 2626, 2749, 2998,
3066, 3266, 3622, 3640, 4087, 4119, 4153, 4252, 5096, 5280, 5642, 5756, 5964, 6511, 6648, 6824,
6936, 7089, 7093],
4112: [4168, 4218, 5088, 5130, 5261, 5678, 6194, 6360, 6603, 6617, 6738, 6776, 6945, 7094, 7172],
4116: [4218, 5754],
22: [582, 997, 1328, 2350, 2500, 2778, 2847, 3066, 5489, 5754, 6127, 6562, 7004, 7172],
5465: [5754, 6657], 4123: [5282], 4124: [5498], 688: [4163],
35: [340, 730, 801, 1443, 2630, 3609, 3765, 5078, 5163, 6390, 7101],
38: [42, 67, 70, 74, 111, 114, 122, 177, 195, 233, 355, 393, 421, 453, 456, 459, 461, 475, 484, 502,
519, 531, 686, 698, 718, 720, 814, 850, 860, 869, 918, 957, 972, 994, 1003, 1012, 1014, 1026, 1038,
1089, 1096, 1110, 1153, 1192, 1208, 1219, 1255, 1277, 1288, 1309, 1328, 1395, 1402, 1455, 1481,
1482, 1489, 1506, 1522, 1534, 1567, 1593, 1620, 1701, 1751, 1786, 1834, 1837, 1852, 1864, 1873,
1918, 1919, 1930, 1965, 1966, 1987, 2005, 2041, 2044, 2076, 2094, 2125, 2141, 2158, 2234, 2238,
2273, 2274, 2286, 2302, 2319, 2329, 2333, 2350, 2351, 2376, 2434, 2473, 2500, 2526, 2544, 2553,
2643, 2659, 2673, 2683, 2686, 2695, 2707, 2753, 2762, 2783, 2789, 2813, 2848, 2852, 2861, 2886,
2936, 2938, 2939, 2962, 2975, 3003, 3087, 3112, 3146, 3179, 3184, 3209, 3210, 3220, 3267, 3278,
3280, 3287, 3324, 3342, 3347, 3354, 3384, 3398, 3399, 3424, 3430, 3446, 3454, 3467, 3477, 3478,
3495, 3500, 3506, 3550, 3618, 3635, 3650, 3671, 3700, 3773, 3852, 3873, 3879, 3915, 3928, 3956,
3978, 3980, 3996, 4002, 4004, 4074, 4097, 4111, 4155, 4157, 4168, 4195, 4271, 4288, 4309, 4312,
4355, 4369, 4383, 4494, 4539, 4573, 4576, 4582, 4616, 4676, 4680, 4686, 4708, 4724, 4771, 4789,
4859, 4932, 4943, 4951, 4952, 4969, 5040, 5062, 5088, 5130, 5139, 5187, 5190, 5224, 5232, 5261,
5314, 5329, 5371, 5413, 5440, 5466, 5468, 5475, 5483, 5485, 5488, 5495, 5498, 5525, 5536, 5537,
5538, 5592, 5609, 5620, 5655, 5656, 5698, 5714, 5727, 5754, 5770, 5792, 5879, 5904, 5907, 5908,
5913, 5923, 5938, 5961, 5966, 6008, 6039, 6124, 6132, 6229, 6236, 6266, 6293, 6302, 6339, 6346,
6356, 6360, 6373, 6385, 6415, 6424, 6427, 6455, 6496, 6566, 6578, 6663, 6675, 6687, 6709, 6738,
6750, 6752, 6754, 6755, 6762, 6781, 6796, 6812, 6853, 6905, 6907, 6915, 6916, 6921, 6923, 6941,
6942, 7003, 7049, 7055, 7086, 7093, 7094, 7137, 7166, 7172, 7192], 4138: [4184, 5078],
4139: [5078, 7101], 4140: [4573, 5281, 5521, 5540, 5887, 6425, 6487, 6744, 6907],
4141: [5468, 5698, 7094, 7172], 47: [6360],
4145: [4195, 4218, 4453, 4676, 4789, 4909, 5476, 5659, 5754, 5904, 6236, 6557, 6802, 6905, 7049, 7192],
50: [119, 256, 516, 972, 1339, 1481, 1857, 2141, 2659, 3066, 3922, 4218, 4369, 4622, 4687, 4918, 5432,
5756, 5857, 6185, 7004, 7093, 7172], 51: [67, 3136, 5102, 6957], 4149: [4704, 5756, 7004],
4150: [4195, 4355, 4573, 4792, 4826, 4918, 5078, 5261, 5468, 5537, 5804, 5961, 6037, 6039, 6293, 6425,
6488, 6517, 6684, 6907, 6923, 7002, 7101], 4152: [5098], 58: [2338],
59: [109, 1732, 2376, 2847, 3066, 3374, 3671, 4072, 4163, 4288, 4789, 5098, 5475, 5961, 6935, 7035],
65: [185, 462, 1033, 1781, 2373, 4239, 4603, 5078, 5796, 6511, 6633, 6776, 6848], 66: [5754],
69: [6905], 73: [4918], 74: [5314], 77: [1123, 1918, 2302, 5432, 5609, 6021],
79: [111, 420, 456, 531, 720, 869, 926, 932, 946, 972, 1110, 1132, 1288, 1339, 1464, 1827, 1864, 1919,
2104, 2158, 2451, 2526, 2623, 2664, 2746, 2783, 2813, 2938, 3157, 3200, 3317, 3529, 3650, 3668,
3912, 3929, 4168, 4195, 4218, 4673, 4675, 5078, 5130, 5179, 5187, 5392, 5468, 5536, 5655, 5698,
5714, 5912, 5954, 5966, 6124, 6496, 6657, 6816, 6818, 6841, 6919, 6942, 7049, 7192],
4178: [4190, 4288, 4312, 4318, 4369, 4859, 4943, 4991, 5088, 5130, 5472, 5540, 5609, 5633, 5656, 5698,
5714, 5741, 5743, 5882, 6511, 6776, 6796, 6921, 6942, 7093, 7112, 7137, 7172, 7192],
4179: [7192], 84: [5078], 85: [6293], 86: [808, 1023, 3131, 3628, 4918], 87: [4918],
90: [531, 1061, 1110, 1153, 1192, 1219, 1328, 1571, 1852, 1919, 2094, 2141, 2238, 2274, 2376, 2457,
2473, 2762, 2847, 3087, 3131, 3384, 3628, 3671, 3852, 3873, 3958, 4097, 4218, 4355, 4608, 4676,
4869, 4909, 4932, 4951, 5282, 5314, 5440, 5714, 6360, 6738, 6841, 6853, 6905, 6942, 7003, 7093,
7192], 4187: [4239, 5254, 5344, 5537, 5609, 5706, 6360, 6907, 7002], 4188: [4918, 5069, 5756],
94: [720, 2376, 5468],
4191: [4494, 4576, 4722, 5282, 5311, 5438, 5468, 5627, 5633, 5653, 5659, 5754, 5791, 6434, 6491, 6953],
101: [421, 720, 850, 903, 972, 1137, 1481, 1571, 1852, 1919, 2141, 2158, 2238, 2376, 2459, 2686, 2772,
2783, 2848, 3066, 3311, 3504, 3904, 3951, 4074, 4168, 4218, 4288, 4369, 4690, 4789, 4857, 5098,
5656, 5659, 5754, 5792, 5833, 5904, 6236, 6796, 6945, 7000, 7137, 7172, 7198], 4198: [5754],
4200: [6236], 4202: [4789, 4932, 5754, 5792, 5961, 6675, 7093], 4203: [5754],
4204: [4218, 5754, 5904, 6657, 6905], 4208: [4218, 4364, 5498, 5904, 5954], 117: [1208, 2302, 6496],
118: [119, 189, 212, 224, 340, 357, 416, 441, 478, 482, 484, 527, 537, 578, 579, 662, 730, 775, 801,
860, 891, 912, 921, 1026, 1135, 1208, 1268, 1277, 1354, 1443, 1455, 1464, 1558, 1573, 1634, 1806,
1811, 1827, 1839, 1900, 1918, 1924, 1965, 2004, 2020, 2034, 2141, 2189, 2297, 2302, 2412, 2526,
2564, 2630, 2639, 2641, 2677, 2703, 2744, 2746, 2789, 2794, 2857, 2906, 2936, 3028, 3095, 3102,
3112, 3164, 3180, 3184, 3231, 3398, 3519, 3550, 3609, 3612, 3614, 3705, 3765, 3809, 3824, 3922,
3928, 3987, 4083, 4100, 4115, 4137, 4168, 4196, 4265, 4284, 4304, 4367, 4398, 4436, 4438, 4503,
4569, 4573, 4574, 4603, 4773, 4826, 4848, 4964, 5040, 5078, 5139, 5145, 5163, 5261, 5344, 5432,
5453, 5569, 5803, 5916, 6037, 6274, 6373, 6390, 6425, 6470, 6488, 6581, 6594, 6600, 6633, 6656,
6663, 6725, 6731, 6924, 6952, 7002, 7076, 7101, 7103],
4215: [4217, 4218, 4256, 4265, 4271, 4280, 4284, 4309, 4312, 4318, 4338, 4355, 4369, 4438, 4539, 4573,
4603, 4618, 4621, 4640, 4673, 4689, 4698, 4766, 4788, 4796, 4801, 4804, 4821, 4826, 4850, 4880,
4918, 4937, 4952, 4978, 4991, 5023, 5028, 5031, 5078, 5098, 5130, 5150, 5170, 5201, 5209, 5211,
5245, 5271, 5274, 5281, 5282, 5312, 5332, 5355, 5362, 5383, 5387, 5392, 5437, 5440, 5454, 5459,
5468, 5473, 5483, 5495, 5498, 5502, 5521, 5537, 5540, 5565, 5568, 5569, 5577, 5596, 5655, 5669,
5697, 5698, 5796, 5800, 5825, 5856, 5883, 5899, 5901, 5904, 5908, 5912, 5913, 5916, 5923, 5949,
5954, 5966, 5969, 5978, 5979, 5982, 5995, 6000, 6014, 6031, 6039, 6059, 6127, 6165, 6172, 6197,
6202, 6212, 6229, 6247, 6252, 6267, 6277, 6293, 6317, 6327, 6338, 6343, 6349, 6355, 6357, 6427,
6442, 6445, 6446, 6455, 6465, 6476, 6493, 6496, 6509, 6548, 6558, 6566, 6589, 6600, 6684, 6687,
6689, 6725, 6738, 6740, 6741, 6744, 6760, 6794, 6798, 6799, 6810, 6811, 6812, 6815, 6818, 6823,
6826, 6828, 6841, 6846, 6872, 6873, 6901, 6907, 6910, 6919, 6941, 6945, 6962, 6995, 7003, 7006,
7019, 7045, 7049, 7055, 7069, 7071, 7073, 7079, 7083, 7088, 7094, 7101, 7110, 7118, 7123, 7141,
7154, 7160, 7162, 7167, 7172, 7181, 7192, 7199],
121: [435, 1855, 2044, 2899, 4218, 4576, 4608, 4789, 5282, 5754, 5792, 5904, 6490, 6657, 7192],
4220: [4573, 4789, 5088, 5098, 5130, 5347, 5488, 5498, 5540, 5678, 5773, 5791, 5801, 6127, 6171, 6194,
6197, 6252, 6511, 6562, 6572, 6617, 6738, 6833, 6905, 7064, 7079, 7086, 7094, 7192],
128: [531, 869, 1096, 1153, 1192, 1328, 1522, 1572, 1593, 1701, 1751, 1852, 1919, 2141, 2274, 2302,
2376, 2783, 2852, 3210, 3287, 3650, 3852, 4195, 4218, 4271, 4355, 4573, 4676, 4951, 5130, 5440,
5468, 5498, 5525, 5714, 5754, 6124, 6236, 6360, 6754, 6757, 6905, 6921, 6942, 6972, 7003, 7049,
7094, 7111], 4800: [5098, 5130, 5468, 5754, 6336, 6657, 6919, 7172, 7192],
131: [180, 221, 233, 355, 453, 458, 464, 516, 531, 582, 612, 620, 700, 718, 720, 753, 762, 805, 806,
810, 834, 841, 850, 921, 926, 940, 957, 972, 980, 991, 998, 1000, 1012, 1015, 1031, 1061, 1096,
1110, 1159, 1193, 1195, 1213, 1279, 1292, 1300, 1309, 1343, 1357, 1402, 1403, 1481, 1502, 1504,
1550, 1571, 1587, 1588, 1698, 1701, 1719, 1751, 1799, 1852, 1858, 1919, 1985, 2024, 2094, 2129,
2141, 2152, 2158, 2181, 2251, 2302, 2307, 2315, 2319, 2334, 2350, 2351, 2376, 2440, 2457, 2459,
2465, 2473, 2481, 2486, 2500, 2504, 2519, 2541, 2544, 2579, 2602, 2625, 2643, 2658, 2659, 2686,
2747, 2774, 2778, 2783, 2813, 2847, 2858, 2871, 2899, 2912, 2930, 2934, 2936, 2942, 2958, 3066,
3112, 3131, 3157, 3199, 3209, 3313, 3323, 3339, 3347, 3351, 3354, 3378, 3446, 3461, 3466, 3467,
3493, 3518, 3534, 3593, 3622, 3626, 3628, 3667, 3671, 3752, 3761, 3773, 3775, 3786, 3852, 3879,
3904, 3924, 3928, 3946, 3951, 3978, 4006, 4037, 4074, 4082, 4117, 4153, 4154, 4161, 4163, 4189,
4190, 4218, 4309, 4312, 4338, 4355, 4462, 4553, 4576, 4608, 4672, 4673, 4677, 4686, 4690, 4711,
4759, 4789, 4795, 4826, 4869, 4932, 4936, 4951, 4980, 5022, 5032, 5040, 5062, 5088, 5098, 5102,
5130, 5197, 5229, 5232, 5251, 5260, 5261, 5282, 5311, 5329, 5341, 5347, 5395, 5438, 5440, 5466,
5468, 5475, 5483, 5485, 5488, 5489, 5498, 5540, 5592, 5653, 5659, 5678, 5698, 5732, 5754, 5762,
5791, 5879, 5887, 5899, 5904, 5913, 5961, 6017, 6038, 6039, 6071, 6194, 6229, 6237, 6252, 6257,
6292, 6346, 6360, 6388, 6407, 6410, 6452, 6562, 6603, 6657, 6675, 6684, 6724, 6725, 6733, 6738,
6771, 6776, 6788, 6796, 6807, 6841, 6845, 6875, 6905, 6907, 6916, 6921, 6941, 6942, 6945, 6991,
6997, 7003, 7064, 7067, 7079, 7086, 7088, 7093, 7110, 7137, 7160, 7172, 7192, 7199],
4230: [4576, 5498, 6360], 5620: [6360],
136: [421, 2141, 2274, 2351, 2376, 3287, 3671, 3873, 5468, 5773, 5904, 6247, 6907],
4233: [4640, 4909, 5098, 5314, 5483, 5498, 5653, 5754, 5792, 5831, 5904, 6236, 6935], 4234: [6360],
139: [185, 255, 264, 284, 462, 464, 500, 597, 612, 622, 700, 753, 774, 808, 836, 1051, 1248, 1258, 1359,
1510, 1550, 1614, 1735, 1787, 1828, 1868, 2032, 2082, 2398, 2440, 2521, 2551, 2709, 2858, 2959,
2963, 2978, 3144, 3176, 3313, 3634, 3643, 3902, 3931, 3989, 4113, 4125, 4163, 4294, 4316, 4396,
4407, 4465, 4485, 4526, 4551, 4576, 4595, 4598, 4635, 4687, 4701, 4711, 4735, 4740, 4759, 4782,
4906, 5001, 5022, 5063, 5143, 5218, 5353, 5398, 5410, 5434, 5463, 5489, 5545, 5559, 5605, 5715,
5793, 5795, 5804, 5823, 5824, 5857, 5903, 5954, 5970, 5981, 6037, 6084, 6111, 6169, 6185, 6293,
6406, 6571, 6808, 6813, 6824, 6848, 6884, 7033, 7046, 7059, 7086, 7172],
140: [151, 197, 202, 203, 208, 211, 225, 233, 246, 300, 314, 322, 333, 375, 396, 421, 422, 444, 456,
457, 459, 460, 461, 467, 472, 475, 492, 496, 502, 512, 519, 524, 545, 557, 566, 582, 612, 618,
641, 651, 653, 686, 702, 703, 708, 743, 756, 760, 762, 770, 778, 793, 796, 798, 806, 819, 829,
834, 875, 885, 888, 890, 940, 946, 955, 967, 976, 988, 991, 997, 1003, 1012, 1014, 1022, 1024,
1025, 1040, 1057, 1062, 1071, 1073, 1082, 1107, 1110, 1119, 1121, 1131, 1134, 1144, 1150, 1172,
1175, 1179, 1192, 1204, 1213, 1221, 1222, 1247, 1274, 1301, 1318, 1321, 1328, 1332, 1348, 1372,
1402, 1405, 1467, 1471, 1482, 1502, 1504, 1508, 1516, 1522, 1552, 1564, 1582, 1583, 1587, 1588,
1590, 1593, 1607, 1610, 1616, 1620, 1680, 1690, 1702, 1706, 1715, 1720, 1730, 1732, 1745, 1751,
1763, 1773, 1775, 1779, 1790, 1831, 1848, 1858, 1862, 1869, 1873, 1878, 1884, 1890, 1901, 1911,
1930, 1931, 1954, 1964, 1966, 1983, 1987, 2005, 2010, 2019, 2024, 2025, 2028, 2044, 2058, 2062,
2069, 2092, 2111, 2113, 2123, 2150, 2159, 2167, 2186, 2234, 2262, 2265, 2269, 2272, 2274, 2294,
2304, 2307, 2316, 2329, 2332, 2333, 2337, 2338, 2342, 2350, 2351, 2353, 2360, 2362, 2367, 2369,
2376, 2391, 2408, 2416, 2418, 2423, 2425, 2427, 2431, 2434, 2446, 2448, 2451, 2453, 2455, 2480,
2481, 2491, 2519, 2533, 2537, 2541, 2563, 2573, 2575, 2579, 2588, 2597, 2598, 2611, 2612, 2621,
2637, 2643, 2650, 2662, 2673, 2680, 2682, 2686, 2695, 2697, 2700, 2716, 2734, 2740, 2747, 2753,
2762, 2769, 2780, 2783, 2804, 2818, 2836, 2852, 2860, 2862, 2871, 2899, 2900, 2908, 2912, 2919,
2927, 2936, 2939, 2947, 2949, 2956, 2962, 2975, 2986, 2989, 2999, 3003, 3005, 3006, 3026, 3027,
3031, 3041, 3042, 3050, 3064, 3074, 3087, 3090, 3098, 3109, 3119, 3162, 3179, 3191, 3210, 3217,
3228, 3232, 3237, 3254, 3257, 3267, 3270, 3278, 3287, 3288, 3301, 3305, 3307, 3310, 3311, 3315,
3324, 3325, 3332, 3335, 3340, 3347, 3349, 3369, 3384, 3387, 3388, 3395, 3399, 3408, 3424, 3426,
3429, 3434, 3435, 3436, 3454, 3458, 3466, 3477, 3478, 3481, 3485, 3505, 3506, 3511, 3515, 3517,
3520, 3526, 3544, 3550, 3560, 3561, 3569, 3573, 3579, 3589, 3591, 3602, 3604, 3608, 3618, 3635,
3647, 3650, 3668, 3670, 3671, 3676, 3678, 3688, 3692, 3700, 3707, 3711, 3713, 3717, 3731, 3744,
3747, 3757, 3760, 3773, 3795, 3797, 3808, 3829, 3844, 3850, 3852, 3873, 3879, 3890, 3904, 3915,
3934, 3946, 3951, 3960, 3980, 3981, 4046, 4050, 4053, 4057, 4067, 4068, 4071, 4072, 4074, 4075,
4082, 4089, 4097, 4111, 4148, 4156, 4157, 4161, 4167, 4189, 4192, 4195, 4211, 4216, 4217, 4218,
4224, 4225, 4227, 4278, 4285, 4296, 4346, 4355, 4360, 4364, 4370, 4405, 4439, 4451, 4453, 4457,
4515, 4537, 4539, 4558, 4560, 4573, 4619, 4640, 4666, 4671, 4676, 4680, 4690, 4709, 4724, 4750,
4763, 4771, 4789, 4813, 4826, 4833, 4836, 4859, 4861, 4863, 4867, 4874, 4885, 4889, 4909, 4912,
4920, 4922, 4932, 4937, 4943, 4951, 4967, 4980, 4993, 5013, 5020, 5025, 5028, 5032, 5036, 5040,
5058, 5065, 5068, 5076, 5079, 5089, 5092, 5098, 5106, 5132, 5140, 5146, 5148, 5150, 5170, 5177,
5182, 5187, 5213, 5220, 5223, 5227, 5229, 5230, 5234, 5252, 5269, 5279, 5282, 5289, 5299, 5314,
5321, 5322, 5326, 5329, 5334, 5344, 5370, 5371, 5399, 5409, 5411, 5413, 5418, 5423, 5438, 5440,
5442, 5448, 5454, 5464, 5473, 5483, 5491, 5498, 5521, 5525, 5534, 5536, 5537, 5540, 5543, 5549,
5554, 5565, 5579, 5584, 5585, 5587, 5596, 5609, 5620, 5627, 5632, 5655, 5656, 5660, 5667, 5674,
5681, 5699, 5706, 5714, 5724, 5727, 5736, 5748, 5773, 5781, 5791, 5792, 5803, 5804, 5807, 5819,
5827, 5839, 5851, 5863, 5871, 5886, 5897, 5899, 5901, 5904, 5907, 5908, 5913, 5921, 5923, 5944,
5951, 5955, 5971, 5979, 5988, 5999, 6012, 6031, 6048, 6076, 6077, 6086, 6099, 6122, 6124, 6127,
6135, 6136, 6137, 6139, 6143, 6165, 6180, 6199, 6213, 6216, 6227, 6236, 6242, 6247, 6252, 6259,
6267, 6268, 6269, 6279, 6292, 6293, 6296, 6298, 6300, 6301, 6303, 6313, 6317, 6319, 6325, 6339,
6354, 6356, 6360, 6362, 6363, 6370, 6383, 6385, 6403, 6407, 6415, 6418, 6440, 6442, 6448, 6455,
6456, 6458, 6459, 6460, 6468, 6480, 6482, 6487, 6490, 6491, 6507, 6509, 6560, 6562, 6563, 6566,
6578, 6580, 6611, 6618, 6622, 6642, 6651, 6654, 6657, 6662, 6666, 6671, 6672, 6673, 6684, 6687,
6692, 6702, 6709, 6729, 6743, 6752, 6754, 6758, 6788, 6798, 6799, 6802, 6804, 6807, 6821, 6826,
6833, 6839, 6841, 6844, 6846, 6853, 6864, 6870, 6879, 6905, 6907, 6915, 6916, 6918, 6920, 6923,
6929, 6935, 6942, 6955, 6959, 6961, 6972, 6979, 6983, 6990, 6991, 7000, 7017, 7019, 7034, 7035,
7040, 7044, 7049, 7063, 7068, 7074, 7080, 7086, 7105, 7112, 7158, 7161, 7162, 7168, 7170, 7171,
7179, 7189, 7192, 7196, 7199],
4237: [4271, 4309, 4312, 4355, 4370, 4383, 4462, 4494, 4539, 4553, 4573, 4673, 4690, 4724, 4789, 4804,
4850, 4857, 4932, 4951, 4952, 4980, 4993, 5032, 5040, 5064, 5098, 5102, 5130, 5139, 5140, 5182,
5209, 5224, 5261, 5314, 5324, 5329, 5371, 5392, 5454, 5455, 5466, 5468, 5475, 5483, 5485, 5493,
5495, 5498, 5499, 5525, 5534, 5540, 5565, 5592, 5609, 5619, 5620, 5655, 5659, 5714, 5732, 5748,
5754, 5770, 5773, 5775, 5791, 5792, 5831, 5878, 5889, 5899, 5904, 5908, 5923, 5961, 5979, 6000,
6036, 6039, 6071, 6086, 6127, 6172, 6194, 6229, 6236, 6292, 6327, 6339, 6360, 6383, 6385, 6388,
6407, 6415, 6427, 6490, 6491, 6537, 6551, 6562, 6566, 6589, 6590, 6657, 6684, 6689, 6697, 6738,
6742, 6743, 6754, 6788, 6799, 6804, 6819, 6839, 6841, 6846, 6905, 6907, 6919, 6921, 6935, 6945,
6990, 6991, 7000, 7035, 7049, 7067, 7071, 7088, 7094, 7113, 7118, 7137, 7171, 7172, 7181, 7192,
7199],
4244: [4271, 4284, 4304, 4330, 4465, 4477, 4479, 4539, 4573, 4616, 4783, 4804, 4880, 4917, 4939, 5060,
5091, 5105, 5130, 5145, 5187, 5209, 5218, 5249, 5355, 5411, 5464, 5466, 5468, 5477, 5488, 5509,
5525, 5561, 5572, 5596, 5736, 5741, 5754, 5775, 5776, 5791, 5808, 5856, 5900, 5901, 5912, 5923,
5954, 6204, 6236, 6293, 6313, 6337, 6356, 6434, 6515, 6548, 6572, 6711, 6754, 6757, 6776, 6791,
6833, 6879, 6898, 6919, 6920, 6923, 6942, 6977, 6991, 7064, 7074, 7105, 7111, 7176, 7199],
4245: [4271, 4312, 4355, 4369, 4539, 4573, 4730, 4826, 4849, 5078, 5130, 5170, 5213, 5392, 5432, 5466,
5468, 5525, 5537, 5538, 5540, 5596, 5714, 5800, 5923, 6165, 6172, 6293, 6360, 6415, 6572, 6583,
6654, 6907, 6923, 6942, 7003, 7074, 7112, 7172],
4246: [4283, 4494, 4789, 4909, 5041, 5098, 5182, 5240, 5347, 5659, 5754, 6325, 6482, 6511, 6603, 6983,
7080, 7086, 7093, 7113], 4249: [4407, 4417, 4465, 4598, 4822, 4918, 5102, 5756, 6171],
5487: [6044],
156: [421, 444, 618, 829, 957, 1040, 1123, 1522, 2451, 2453, 2544, 2643, 3179, 3519, 3550, 3650, 4195,
4355, 4439, 4826, 5468, 5537, 6319, 6509, 6907], 157: [2141],
159: [200, 220, 329, 416, 435, 456, 458, 517, 520, 525, 531, 650, 707, 828, 869, 903, 931, 958, 972,
1105, 1195, 1230, 1288, 1289, 1339, 1403, 1441, 1450, 1464, 1534, 1548, 1550, 1625, 1864, 2194,
2238, 2280, 2302, 2361, 2398, 2451, 2526, 2623, 2858, 2924, 2938, 3102, 3131, 3157, 3184, 3200,
3265, 3314, 3317, 3373, 3411, 3506, 3529, 3777, 3858, 3899, 3928, 3929, 3996, 4117, 4168, 4265,
4283, 4415, 4465, 4536, 4657, 4673, 4796, 4801, 4943, 4972, 5078, 5190, 5287, 5468, 5499, 5569,
5702, 5760, 5904, 5954, 5964, 5966, 6341, 6360, 6368, 6406, 6429, 6496, 6538, 6589, 6648, 6657,
6812, 6818, 6919, 6962, 6986, 7049, 7084, 7123, 7166, 7172, 7185, 7192], 4256: [5468],
161: [6143], 162: [730, 1579, 3028, 4918, 6797, 7142], 4259: [5498],
4260: [4827, 4845, 4952, 5026, 5078, 5382, 5468, 5565, 5655, 5744, 6172, 6202, 6236, 6247, 6437, 6672,
6812, 6816, 6817, 6942, 7073, 7095],
165: [273, 484, 618, 730, 1159, 1634, 1901, 2453, 2544, 2789, 3184, 3609, 4163, 4918, 4969, 5261, 5421,
5432, 5540, 6071, 6360, 6373, 6755, 7142], 4267: [5468, 6360, 6907], 173: [2500],
175: [3066, 4576], 176: [1328, 2141, 4576, 5498, 5754],
181: [655, 1051, 1482, 2236, 2307, 2570, 2751, 3384, 3731, 5432, 6383, 6687, 6812],
183: [355, 531, 814, 844, 850, 934, 1279, 1701, 2141, 2370, 2440, 2659, 2747, 2778, 2847, 2930, 2936,
3131, 3454, 3504, 3671, 3752, 3928, 3951, 4672, 4801, 4859, 4909, 4980, 5282, 5833, 6171, 6194,
6197, 6252, 6346, 6572, 6648, 6738, 7079, 7093],
187: [1852, 2141, 3066, 3640, 4576, 4608, 5063, 5438], 714: [5282, 6657],
4287: [5282, 5468, 5498, 5792, 5904, 6360, 6657], 192: [2630],
4289: [5468, 5904, 6360, 6657, 7049, 7137, 7172], 4292: [6425, 6656, 7101, 7121], 197: [3852, 6360],
199: [435, 5754], 201: [1110], 4305: [5754],
4307: [4312, 4364, 4676, 4804, 4951, 5098, 5130, 5440, 5498, 5667, 5754, 5792, 5961, 6127, 6236, 6339,
6511, 6572, 6603, 6905, 6942, 7094, 7113], 4308: [4789, 6143], 213: [774, 1634, 2373, 6470],
5378: [5438, 5489, 5498, 5525, 5627, 5754, 5774, 5961, 6323, 6511, 6657, 6942, 7079, 7086, 7113, 7192],
4320: [6360], 225: [2453], 226: [435, 958, 1571, 3066],
230: [516, 1701, 2141, 2871, 3309, 5432, 5627, 5961, 6143],
4329: [4465, 4496, 4559, 4563, 4574, 4576, 4608, 4657, 4673, 4697, 4787, 4862, 4882, 4910, 5063, 5143,
5250, 5262, 5320, 5341, 5390, 5403, 5406, 5412, 5468, 5592, 5616, 5633, 5698, 5743, 5756, 5775,
5793, 5860, 5900, 5901, 5954, 5964, 5982, 6020, 6040, 6172, 6185, 6376, 6449, 6483, 6585, 6603,
6657, 6773, 6780, 6796, 6812, 6814, 6824, 6849, 6878, 6917, 7022, 7067, 7075, 7089, 7135, 7162,
7172, 7184, 7198],
6183: [6293, 6309, 6319, 6343, 6425, 6427, 6470, 6488, 6496, 6509, 6548, 6566, 6583, 6680, 6741, 6744,
6795, 6798, 6810, 6812, 6823, 6826, 6886, 6907, 6919, 7002, 7047, 7049, 7055, 7101], 237: [5754],
238: [7172], 4335: [7192],
4336: [4340, 4372, 4373, 4387, 4407, 4410, 4412, 4451, 4452, 4465, 4466, 4475, 4481, 4484, 4485, 4502,
4513, 4516, 4520, 4522, 4525, 4526, 4528, 4534, 4543, 4545, 4546, 4560, 4572, 4576, 4583, 4584,
4595, 4598, 4609, 4631, 4633, 4657, 4672, 4673, 4681, 4683, 4685, 4692, 4701, 4704, 4711, 4713,
4744, 4759, 4774, 4782, 4786, 4787, 4795, 4801, 4804, 4822, 4830, 4869, 4877, 4892, 4893, 4910,
4914, 4915, 4918, 4925, 4931, 4934, 4935, 4936, 4939, 4942, 5005, 5006, 5009, 5063, 5069, 5080,
5090, 5127, 5141, 5146, 5162, 5189, 5205, 5240, 5244, 5260, 5262, 5286, 5324, 5347, 5354, 5380,
5390, 5410, 5420, 5429, 5431, 5434, 5498, 5500, 5583, 5592, 5595, 5633, 5636, 5642, 5653, 5656,
5659, 5661, 5678, 5701, 5703, 5721, 5743, 5756, 5761, 5818, 5823, 5824, 5826, 5833, 5855, 5857,
5881, 5897, 5898, 5903, 5920, 5928, 5936, 5956, 5961, 5970, 5979, 5981, 5993, 6033, 6044, 6050,
6058, 6067, 6069, 6101, 6103, 6107, 6140, 6142, 6149, 6160, 6167, 6169, 6171, 6185, 6196, 6197,
6204, 6206, 6214, 6244, 6273, 6299, 6364, 6388, 6430, 6439, 6443, 6474, 6486, 6491, 6495, 6497,
6514, 6519, 6561, 6562, 6577, 6598, 6614, 6616, 6626, 6630, 6657, 6659, 6699, 6733, 6739, 6756,
6762, 6771, 6779, 6780, 6796, 6808, 6824, 6825, 6829, 6867, 6881, 6884, 6926, 6983, 6985, 7004,
7029, 7037, 7059, 7067, 7070, 7082, 7088, 7089, 7093, 7097, 7099, 7130, 7165, 7171, 7172, 7185],
4337: [5537, 6886, 7101], 245: [5754, 7093],
246: [1301, 1328, 1593, 2141, 2376, 2847, 3384, 4074, 4355, 4932, 5525, 5714, 6654, 6923],
247: [1571, 3066, 7172], 4344: [5078, 5392, 5916, 6470, 6488, 7101, 7121],
4346: [4640, 4943, 5314, 5521, 5536, 6360], 251: [2141], 4348: [7093],
4350: [4355, 4364, 4370, 4383, 4453, 4462, 4494, 4516, 4568, 4576, 4608, 4616, 4676, 4763, 4771, 4789,
4822, 4857, 4869, 4910, 4918, 4932, 4943, 4951, 4952, 4980, 4997, 5017, 5041, 5063, 5069, 5088,
5130, 5131, 5133, 5148, 5188, 5197, 5203, 5252, 5260, 5261, 5311, 5329, 5347, 5354, 5432, 5438,
5475, 5488, 5489, 5493, 5498, 5503, 5525, 5531, 5592, 5627, 5636, 5667, 5710, 5754, 5756, 5773,
5774, 5801, 5864, 5892, 5938, 5950, 5961, 6004, 6038, 6127, 6136, 6137, 6143, 6146, 6171, 6172,
6185, 6194, 6199, 6229, 6242, 6261, 6300, 6303, 6325, 6339, 6360, 6363, 6410, 6504, 6511, 6557,
6562, 6577, 6657, 6684, 6687, 6738, 6754, 6771, 6845, 6851, 6853, 6881, 6905, 6935, 6942, 6945,
6957, 6967, 7003, 7004, 7064, 7067, 7079, 7086, 7088, 7093, 7094, 7099, 7137, 7154, 7172, 7185,
7198], 257: [1359, 1403, 1868, 2626, 3921, 4163, 4598, 4822, 5659, 5857, 6044, 6824, 7004],
258: [513, 5537, 5908, 6360, 6812], 259: [500, 2626, 5756], 261: [2942],
262: [343, 612, 702, 758, 841, 850, 979, 1020, 1025, 1201, 1328, 1504, 1536, 1657, 1889, 2037, 2141,
2351, 2626, 2754, 3445, 3695, 3862, 4153, 4218, 4226, 4364, 4369, 5063, 5347, 5390, 5438, 5503,
5512, 5892, 6111, 6323, 6563, 6603, 6657, 6733, 6845, 6869, 6983, 7099],
5505: [5656, 5754, 5773, 5792, 5801, 5904, 6252, 6300, 6490, 6562, 6603, 6657, 6807, 6821, 6841, 6905,
7162, 7192], 6419: [7192, 7199], 266: [6633], 4366: [4369, 5432, 5754, 5961], 4367: [7101],
272: [458, 1195, 1701, 5954],
281: [349, 355, 594, 753, 850, 918, 957, 972, 1025, 1096, 1239, 1339, 1481, 1522, 1588, 1634, 1901,
1918, 2141, 2319, 2412, 2433, 2544, 2753, 2772, 2847, 3066, 3074, 3144, 3209, 3342, 3769, 3852,
3902, 4019, 4113, 4407, 4576, 4711, 4759, 4857, 4859, 4918, 5022, 5069, 5088, 5468, 5475, 5489,
5498, 5592, 5781, 5788, 5810, 5961, 5981, 6021, 6165, 6172, 6229, 6346, 6360, 6375, 6562, 6687,
6762, 6796, 6851, 6905, 6907, 6945, 7079, 7093, 7112, 7137, 7172],
4380: [4432, 4439, 4469, 4539, 4573, 4619, 4689, 4724, 4768, 4787, 4789, 4795, 4827, 4874, 4882, 4937,
4942, 5048, 5064, 5088, 5130, 5143, 5146, 5170, 5177, 5190, 5209, 5282, 5329, 5332, 5344, 5347,
5371, 5392, 5418, 5466, 5468, 5475, 5483, 5485, 5489, 5495, 5537, 5592, 5624, 5655, 5678, 5701,
5727, 5754, 5770, 5773, 5774, 5788, 5791, 5827, 5831, 5887, 5897, 5904, 5908, 5913, 5944, 5947,
5954, 5966, 5978, 6036, 6039, 6101, 6122, 6124, 6127, 6165, 6229, 6247, 6252, 6261, 6266, 6267,
6274, 6292, 6293, 6319, 6346, 6383, 6424, 6427, 6430, 6455, 6456, 6482, 6537, 6611, 6657, 6675,
6689, 6738, 6752, 6757, 6796, 6799, 6805, 6807, 6812, 6816, 6864, 6910, 6941, 6942, 6945, 6985,
6992, 7003, 7029, 7045, 7079, 7083, 7086, 7094, 7110, 7111, 7160, 7162, 7167, 7171, 7172, 7198],
4383: [5754],
289: [355, 434, 461, 531, 700, 720, 778, 790, 805, 913, 946, 952, 972, 1030, 1054, 1057, 1071, 1110,
1218, 1328, 1335, 1564, 1593, 1666, 1715, 1717, 1771, 1837, 2020, 2044, 2076, 2104, 2152, 2158,
2302, 2367, 2376, 2579, 2621, 2753, 2783, 2852, 2938, 2962, 3112, 3119, 3162, 3210, 3280, 3288,
3349, 3398, 3399, 3477, 3577, 3595, 3650, 3668, 3670, 3717, 3801, 3922, 3939, 3956, 4046, 4060,
4074, 4100, 4132, 4185, 4190, 4296, 4309, 4314, 4364, 4369, 4408, 4473, 4494, 4539, 4550, 4576,
4687, 4857, 4918, 5130, 5148, 5354, 5371, 5468, 5483, 5489, 5508, 5592, 5655, 5656, 5714, 5754,
5838, 5907, 5908, 5938, 5944, 6051, 6093, 6127, 6136, 6171, 6199, 6202, 6247, 6269, 6293, 6346,
6383, 6418, 6424, 6434, 6448, 6456, 6482, 6496, 6563, 6675, 6676, 6680, 6738, 6754, 6757, 6762,
6923, 6926, 6942, 7003, 7045, 7172], 290: [2367, 6657, 7171],
291: [305, 309, 310, 332, 334, 336, 341, 343, 365, 388, 397, 406, 408, 412, 416, 430, 462, 494, 500,
506, 531, 583, 594, 605, 612, 617, 629, 636, 650, 655, 675, 677, 684, 691, 700, 746, 747, 767,
781, 782, 790, 808, 814, 842, 844, 850, 851, 951, 964, 979, 982, 990, 998, 1020, 1023, 1025, 1042,
1060, 1161, 1190, 1201, 1206, 1213, 1218, 1235, 1236, 1240, 1243, 1246, 1258, 1283, 1284, 1305,
1307, 1308, 1324, 1330, 1338, 1344, 1354, 1359, 1366, 1381, 1383, 1396, 1400, 1415, 1419, 1427,
1438, 1443, 1446, 1457, 1475, 1481, 1485, 1489, 1499, 1510, 1520, 1542, 1548, 1550, 1558, 1586,
1605, 1642, 1644, 1647, 1677, 1699, 1701, 1715, 1747, 1781, 1787, 1798, 1804, 1815, 1830, 1853,
1856, 1868, 1880, 1881, 1885, 1887, 1889, 1891, 1905, 1930, 1934, 1967, 1975, 1995, 2010, 2012,
2018, 2020, 2030, 2036, 2037, 2045, 2049, 2093, 2121, 2126, 2127, 2129, 2133, 2139, 2148, 2149,
2194, 2208, 2212, 2216, 2236, 2289, 2320, 2325, 2326, 2348, 2349, 2359, 2364, 2367, 2370, 2379,
2392, 2398, 2424, 2430, 2431, 2440, 2441, 2462, 2471, 2479, 2502, 2505, 2515, 2521, 2530, 2551,
2559, 2560, 2626, 2629, 2635, 2657, 2701, 2705, 2709, 2741, 2747, 2748, 2754, 2857, 2885, 2892,
2903, 2916, 2930, 2945, 2959, 2978, 2984, 3061, 3062, 3065, 3069, 3100, 3104, 3115, 3135, 3144,
3157, 3201, 3217, 3234, 3265, 3273, 3274, 3313, 3334, 3354, 3363, 3411, 3501, 3523, 3530, 3532,
3540, 3567, 3569, 3574, 3605, 3609, 3629, 3634, 3643, 3689, 3690, 3691, 3695, 3719, 3722, 3752,
3765, 3769, 3785, 3793, 3807, 3809, 3815, 3825, 3846, 3881, 3897, 3906, 3922, 3928, 3935, 3982,
3983, 3991, 4030, 4031, 4073, 4080, 4081, 4102, 4113, 4114, 4127, 4153, 4165, 4185, 4210, 4226,
4228, 4239, 4254, 4257, 4283, 4296, 4297, 4298, 4301, 4316, 4328, 4334, 4340, 4361, 4372, 4379,
4392, 4396, 4402, 4407, 4410, 4411, 4451, 4452, 4465, 4500, 4502, 4505, 4506, 4520, 4522, 4526,
4528, 4534, 4535, 4542, 4560, 4561, 4564, 4565, 4584, 4595, 4600, 4609, 4622, 4628, 4631, 4632,
4633, 4635, 4639, 4646, 4661, 4672, 4681, 4692, 4694, 4706, 4711, 4713, 4735, 4740, 4744, 4748,
4782, 4787, 4796, 4801, 4818, 4822, 4827, 4834, 4851, 4877, 4881, 4906, 4907, 4918, 4925, 4936,
4942, 4947, 4972, 5017, 5063, 5066, 5078, 5090, 5099, 5102, 5108, 5144, 5156, 5161, 5177, 5189,
5215, 5246, 5254, 5262, 5267, 5294, 5306, 5332, 5337, 5353, 5390, 5408, 5410, 5429, 5431, 5434,
5453, 5456, 5468, 5512, 5517, 5548, 5559, 5569, 5574, 5591, 5595, 5607, 5616, 5637, 5642, 5677,
5681, 5700, 5701, 5705, 5706, 5709, 5712, 5721, 5722, 5737, 5757, 5769, 5779, 5785, 5793, 5804,
5814, 5823, 5836, 5837, 5838, 5855, 5857, 5860, 5892, 5895, 5919, 5920, 5934, 5938, 5967, 6020,
6058, 6067, 6069, 6071, 6084, 6111, 6142, 6149, 6160, 6167, 6172, 6178, 6197, 6211, 6214, 6231,
6252, 6273, 6274, 6286, 6293, 6295, 6328, 6350, 6355, 6365, 6372, 6378, 6392, 6399, 6400, 6429,
6430, 6454, 6470, 6474, 6488, 6495, 6510, 6514, 6531, 6538, 6563, 6571, 6572, 6598, 6601, 6614,
6648, 6659, 6676, 6681, 6708, 6721, 6725, 6739, 6755, 6756, 6770, 6786, 6813, 6817, 6833, 6837,
6857, 6884, 6902, 6925, 6960, 6982, 6983, 6985, 7001, 7029, 7034, 7059, 7082, 7087, 7089, 7092,
7096, 7101, 7103, 7123, 7164, 7165, 7172],
294: [850, 1096, 1192, 1588, 1593, 1701, 2141, 2302, 2376, 3347, 3650, 4089, 4195, 4355, 4573, 6339,
6360, 6496],
4391: [4545, 4576, 4759, 4789, 4910, 5063, 5286, 5311, 5347, 5498, 5754, 5770, 5792, 5801, 5904, 6143,
6172, 6325, 6383, 6562, 6935, 7003, 7171], 4394: [4595, 5180, 5286, 5540, 6470],
299: [5468, 6796],
4146: [4163, 4195, 4199, 4271, 4288, 4338, 4369, 4387, 4432, 4494, 4576, 4595, 4724, 4759, 4789, 4826,
4859, 4918, 4932, 4943, 4980, 5088, 5130, 5139, 5190, 5232, 5261, 5344, 5371, 5432, 5475, 5485,
5488, 5489, 5531, 5540, 5624, 5667, 5678, 5754, 5756, 5887, 5938, 5955, 6017, 6037, 6039, 6071,
6127, 6143, 6146, 6171, 6185, 6194, 6237, 6242, 6252, 6268, 6300, 6303, 6315, 6339, 6346, 6373,
6450, 6581, 6596, 6611, 6684, 6725, 6738, 6853, 6907, 6942, 6948, 7003, 7040, 7064, 7079, 7083,
7086, 7093, 7142, 7158, 7160, 7172],
302: [841, 850, 1025, 1701, 1919, 2141, 2251, 2440, 2762, 2847, 3548, 3671, 4453, 5130, 5282, 5498,
5540, 5754, 6127, 6197, 6657], 304: [5160], 305: [2626, 4163],
4411: [4573, 4918, 5468, 5592, 6172, 6725, 6907, 7079, 7172], 316: [5754],
319: [420, 435, 958, 1095, 1195, 1571, 2371, 2813, 3066, 3131, 3982, 4218, 4313, 4576, 4657, 4850, 5130,
5754, 5882, 5912, 6511, 6657, 7111, 7172],
320: [349, 378, 434, 464, 465, 489, 512, 516, 517, 519, 531, 532, 582, 594, 612, 618, 620, 629, 644,
647, 682, 687, 706, 720, 753, 781, 809, 828, 834, 841, 850, 869, 879, 881, 884, 890, 900, 918,
942, 952, 980, 997, 998, 999, 1000, 1020, 1024, 1025, 1042, 1052, 1061, 1082, 1096, 1110, 1118,
1133, 1192, 1202, 1213, 1219, 1220, 1253, 1277, 1279, 1292, 1300, 1309, 1311, 1339, 1343, 1356,
1359, 1395, 1401, 1402, 1403, 1428, 1430, 1453, 1458, 1478, 1481, 1498, 1502, 1504, 1522, 1529,
1550, 1571, 1602, 1613, 1616, 1650, 1732, 1747, 1751, 1774, 1834, 1837, 1847, 1852, 1855, 1856,
1857, 1858, 1861, 1868, 1869, 1884, 1891, 1901, 1919, 1957, 1979, 1985, 1996, 2005, 2013, 2023,
2084, 2089, 2092, 2094, 2124, 2141, 2146, 2181, 2194, 2238, 2252, 2253, 2279, 2294, 2343, 2440,
2453, 2457, 2459, 2465, 2473, 2481, 2510, 2544, 2572, 2579, 2595, 2626, 2658, 2659, 2680, 2719,
2762, 2775, 2813, 2847, 2848, 2890, 2912, 2930, 2936, 2940, 2942, 2949, 2951, 2958, 2960, 2963,
2975, 2985, 2998, 3002, 3007, 3014, 3036, 3061, 3062, 3066, 3104, 3109, 3112, 3128, 3131, 3132,
3133, 3136, 3144, 3157, 3166, 3176, 3199, 3207, 3209, 3210, 3230, 3247, 3264, 3265, 3271, 3274,
3309, 3311, 3313, 3351, 3354, 3384, 3387, 3391, 3411, 3426, 3435, 3446, 3454, 3500, 3517, 3524,
3534, 3576, 3635, 3638, 3640, 3692, 3700, 3763, 3775, 3786, 3843, 3869, 3878, 3903, 3924, 3930,
3931, 3946, 3951, 3958, 3963, 3989, 4000, 4002, 4019, 4037, 4043, 4044, 4045, 4097, 4105, 4113,
4117, 4153, 4156, 4163, 4218, 4227, 4250, 4283, 4288, 4328, 4334, 4369, 4383, 4387, 4401, 4405,
4453, 4469, 4494, 4501, 4513, 4516, 4528, 4546, 4561, 4576, 4584, 4595, 4598, 4608, 4622, 4657,
4672, 4687, 4697, 4704, 4711, 4719, 4725, 4728, 4759, 4771, 4786, 4789, 4795, 4822, 4841, 4862,
4894, 4898, 4910, 4914, 4918, 4932, 4936, 4949, 4951, 4957, 4969, 4997, 5009, 5031, 5063, 5069,
5088, 5102, 5131, 5171, 5221, 5229, 5232, 5244, 5248, 5260, 5261, 5282, 5293, 5297, 5311, 5315,
5329, 5347, 5398, 5418, 5421, 5429, 5438, 5468, 5475, 5485, 5486, 5488, 5489, 5493, 5499, 5534,
5540, 5580, 5588, 5592, 5621, 5633, 5636, 5653, 5656, 5659, 5684, 5703, 5710, 5743, 5754, 5756,
5770, 5774, 5775, 5781, 5788, 5793, 5801, 5826, 5831, 5833, 5836, 5855, 5857, 5877, 5879, 5886,
5889, 5897, 5903, 5938, 5961, 5981, 6022, 6044, 6047, 6050, 6065, 6071, 6096, 6101, 6127, 6143,
6146, 6149, 6160, 6167, 6169, 6171, 6181, 6185, 6194, 6223, 6230, 6236, 6257, 6303, 6325, 6346,
6358, 6360, 6382, 6410, 6412, 6434, 6452, 6454, 6469, 6490, 6491, 6557, 6562, 6577, 6601, 6603,
6614, 6616, 6631, 6667, 6675, 6697, 6733, 6754, 6755, 6762, 6763, 6771, 6779, 6780, 6791, 6796,
6797, 6824, 6845, 6848, 6853, 6867, 6881, 6921, 6926, 6935, 6945, 6948, 6957, 6997, 7000, 7004,
7033, 7067, 7070, 7082, 7088, 7089, 7093, 7099, 7123, 7137, 7142, 7172, 7188],
323: [340, 527, 1105, 1839, 2251, 2326, 2630, 3028, 3158, 3622, 3779, 4184, 5698, 5779, 6470, 6488,
7101],
324: [435, 465, 720, 828, 841, 850, 910, 1153, 1220, 1343, 1571, 1852, 1868, 1919, 2044, 2094, 2194,
2238, 2350, 2459, 2680, 2747, 2813, 2847, 3138, 3191, 3210, 3311, 3384, 3454, 3517, 3775, 3989,
4000, 4043, 4097, 4105, 4119, 4218, 4494, 4576, 4608, 4910, 5063, 5098, 5311, 5456, 5489, 5592,
5627, 5754, 5792, 5857, 5904, 6490, 6511, 6557, 6603, 6657, 6845, 6935, 7004, 7093, 7113],
325: [329, 441, 502, 513, 520, 574, 730, 926, 1026, 1096, 1230, 1289, 1464, 1492, 1550, 1634, 1759,
1827, 1918, 1965, 2104, 2223, 2375, 2451, 2526, 2540, 2602, 2657, 2746, 2789, 2813, 2938, 2970,
3200, 3317, 3358, 3529, 3609, 3650, 3922, 3928, 3977, 3980, 4115, 4157, 4304, 4337, 4438, 4532,
4573, 4603, 4730, 4801, 4882, 4937, 5078, 5130, 5187, 5281, 5466, 5468, 5537, 5540, 5569, 5788,
5901, 5916, 6343, 6373, 6548, 6583, 6600, 6818, 7101, 7121, 7172],
327: [475, 482, 516, 531, 737, 778, 814, 850, 869, 957, 1012, 1026, 1034, 1061, 1096, 1110, 1153, 1192,
1288, 1309, 1327, 1328, 1395, 1504, 1534, 1564, 1572, 1593, 1634, 1701, 1706, 1715, 1717, 1852,
1901, 1918, 2020, 2044, 2076, 2141, 2238, 2274, 2302, 2319, 2351, 2376, 2378, 2453, 2472, 2544,
2553, 2591, 2639, 2659, 2686, 2792, 2794, 2852, 2936, 2962, 3026, 3112, 3179, 3210, 3287, 3293,
3347, 3398, 3399, 3519, 3577, 3593, 3650, 3671, 3852, 3922, 3929, 3931, 3978, 4089, 4111, 4218,
4312, 4338, 4369, 4573, 4585, 4616, 4849, 4918, 4943, 4952, 5213, 5232, 5329, 5344, 5354, 5432,
5468, 5488, 5538, 5540, 5592, 5633, 5678, 5710, 5800, 5887, 5890, 5901, 5913, 5938, 5955, 5966,
6037, 6127, 6171, 6172, 6194, 6346, 6496, 6511, 6572, 6581, 6663, 6702, 6725, 6738, 6845, 6905,
6916, 6942, 6948, 6977, 7003, 7034, 7074, 7093, 7094, 7172],
328: [420, 435, 1327, 1545, 1548, 1625, 2370, 2639, 3158, 3640, 5179, 5698],
4425: [4595, 4598, 4622, 4672, 4822, 4865, 4918, 5177, 5855, 5877, 5881, 6167, 6171, 6185, 6293, 6358,
6614, 7142], 331: [4195],
335: [475, 885, 1464, 1522, 1852, 2683, 2813, 3200, 3317, 3347, 3424, 3650, 3700, 4089, 4195, 5139,
5145, 5213, 5279, 5314, 5525, 5856, 6236, 6360, 6642, 6935, 7111],
6285: [6299, 6317, 6325, 6346, 6360, 6455, 6476, 6562, 6603, 6617, 6657, 6684, 6689, 6730, 6738, 6754,
6757, 6796, 6821, 6841, 6845, 6857, 6869, 6877, 6907, 6921, 6941, 6945, 6983, 7003, 7049, 7064,
7067, 7079, 7083, 7086, 7088, 7094, 7137, 7154, 7160, 7162, 7172, 7192, 7198],
337: [475, 650, 829, 921, 1110, 1572, 1701, 1827, 1852, 2141, 2158, 2238, 2376, 2378, 2486, 2526, 2600,
2625, 2659, 2694, 2792, 2813, 2936, 3267, 3317, 3398, 3477, 3519, 3650, 4157, 4195, 4355, 4771,
5282, 5468, 5714, 5904, 5954, 5982, 6257, 6317, 6360, 6422, 6452, 6657], 340: [2630],
4437: [4494, 4759, 4789, 4918, 4980, 5282, 5468, 5498, 5540, 5592, 5659, 5801, 5961, 6127, 6171, 6252,
6360, 6410, 6853, 6905, 6942, 7093, 7172],
342: [1096, 1288, 1593, 2813, 3384, 3929, 4288, 4616, 5078, 5468, 7003],
344: [345, 348, 354, 355, 357, 359, 363, 366, 371, 375, 376, 377, 380, 381, 382, 384, 386, 387, 391,
392, 393, 394, 396, 397, 398, 399, 404, 405, 410, 411, 414, 415, 417, 420, 421, 425, 426, 427,
430, 431, 433, 434, 439, 443, 444, 445, 449, 451, 453, 455, 457, 458, 459, 460, 461, 463, 464,
465, 469, 472, 475, 481, 482, 484, 487, 488, 490, 491, 492, 493, 494, 496, 502, 503, 506, 507,
512, 513, 516, 517, 518, 519, 521, 524, 527, 530, 531, 532, 533, 537, 538, 540, 542, 544, 545,
548, 552, 554, 555, 557, 558, 559, 561, 563, 564, 565, 568, 569, 571, 573, 574, 579, 584, 593,
594, 599, 600, 604, 605, 606, 607, 608, 610, 611, 612, 614, 615, 616, 617, 618, 619, 620, 623,
627, 628, 629, 630, 637, 638, 641, 643, 645, 647, 651, 652, 653, 656, 657, 660, 661, 664, 666,
669, 674, 677, 678, 679, 680, 681, 682, 684, 685, 686, 687, 688, 689, 690, 692, 693, 694, 696,
697, 699, 700, 701, 703, 706, 718, 724, 727, 730, 731, 732, 735, 736, 737, 741, 743, 746, 747,
748, 749, 751, 752, 753, 755, 756, 760, 762, 767, 768, 770, 773, 776, 777, 781, 783, 787, 790,
794, 795, 800, 801, 802, 804, 805, 807, 810, 812, 814, 816, 818, 819, 824, 832, 833, 834, 839,
841, 843, 845, 846, 849, 850, 851, 852, 853, 854, 857, 859, 862, 863, 864, 865, 869, 873, 875,
878, 885, 889, 890, 891, 892, 893, 895, 900, 901, 904, 907, 912, 915, 918, 919, 921, 922, 926,
927, 928, 929, 931, 932, 933, 934, 935, 936, 937, 938, 939, 942, 943, 945, 946, 947, 949, 952,
953, 956, 957, 960, 963, 964, 966, 967, 969, 971, 977, 980, 983, 986, 987, 988, 989, 990, 991,
992, 994, 998, 999, 1000, 1004, 1005, 1007, 1009, 1010, 1012, 1013, 1014, 1020, 1022, 1023, 1024,
1025, 1026, 1029, 1032, 1033, 1034, 1035, 1037, 1040, 1041, 1043, 1046, 1047, 1048, 1049, 1052,
1053, 1054, 1055, 1056, 1061, 1062, 1065, 1067, 1070, 1074, 1081, 1082, 1085, 1087, 1088, 1092,
1094, 1096, 1100, 1101, 1102, 1104, 1106, 1108, 1109, 1110, 1113, 1117, 1118, 1119, 1120, 1124,
1125, 1126, 1127, 1128, 1129, 1133, 1134, 1135, 1139, 1140, 1141, 1148, 1150, 1153, 1154, 1156,
1157, 1159, 1160, 1161, 1162, 1164, 1167, 1169, 1170, 1171, 1172, 1175, 1177, 1179, 1192, 1193,
1198, 1201, 1203, 1204, 1206, 1207, 1208, 1210, 1211, 1214, 1215, 1218, 1220, 1221, 1222, 1225,
1228, 1229, 1231, 1235, 1236, 1238, 1241, 1247, 1248, 1251, 1252, 1255, 1256, 1257, 1260, 1261,
1262, 1264, 1268, 1270, 1271, 1272, 1277, 1278, 1279, 1286, 1287, 1289, 1291, 1292, 1293, 1295,
1301, 1302, 1303, 1308, 1309, 1311, 1313, 1314, 1315, 1316, 1318, 1319, 1324, 1327, 1330, 1331,
1333, 1335, 1336, 1337, 1340, 1341, 1342, 1343, 1346, 1348, 1350, 1351, 1354, 1356, 1362, 1367,
1368, 1369, 1372, 1373, 1374, 1375, 1376, 1379, 1381, 1384, 1385, 1386, 1390, 1395, 1396, 1399,
1401, 1402, 1403, 1405, 1407, 1409, 1410, 1411, 1413, 1414, 1420, 1422, 1423, 1426, 1427, 1428,
1430, 1431, 1432, 1434, 1438, 1440, 1443, 1445, 1447, 1449, 1450, 1452, 1453, 1455, 1456, 1458,
1460, 1461, 1462, 1465, 1466, 1467, 1469, 1470, 1473, 1475, 1481, 1482, 1484, 1487, 1492, 1493,
1496, 1497, 1499, 1501, 1502, 1504, 1506, 1508, 1509, 1514, 1515, 1516, 1517, 1518, 1521, 1522,
1523, 1524, 1526, 1529, 1534, 1535, 1536, 1540, 1545, 1546, 1547, 1553, 1554, 1556, 1557, 1558,
1561, 1562, 1565, 1567, 1568, 1571, 1572, 1573, 1575, 1576, 1577, 1579, 1580, 1581, 1582, 1583,
1584, 1586, 1587, 1589, 1590, 1591, 1593, 1594, 1599, 1604, 1607, 1612, 1613, 1618, 1620, 1621,
1625, 1626, 1628, 1631, 1633, 1634, 1636, 1640, 1646, 1647, 1650, 1653, 1656, 1660, 1662, 1663,
1666, 1667, 1668, 1669, 1674, 1677, 1678, 1679, 1681, 1682, 1687, 1692, 1695, 1696, 1697, 1698,
1699, 1702, 1703, 1709, 1713, 1715, 1718, 1720, 1722, 1728, 1729, 1730, 1731, 1733, 1734, 1739,
1740, 1745, 1746, 1747, 1751, 1754, 1756, 1758, 1765, 1766, 1770, 1773, 1774, 1775, 1776, 1782,
1784, 1786, 1787, 1789, 1790, 1794, 1795, 1799, 1801, 1803, 1805, 1806, 1807, 1811, 1812, 1814,
1820, 1822, 1824, 1825, 1826, 1834, 1836, 1837, 1839, 1845, 1847, 1851, 1852, 1856, 1857, 1858,
1859, 1861, 1862, 1866, 1867, 1869, 1873, 1875, 1878, 1880, 1882, 1883, 1884, 1885, 1888, 1893,
1896, 1898, 1907, 1908, 1914, 1918, 1919, 1921, 1922, 1923, 1924, 1926, 1927, 1929, 1931, 1937,
1938, 1943, 1945, 1946, 1950, 1951, 1957, 1964, 1965, 1967, 1968, 1969, 1970, 1971, 1973, 1975,
1977, 1979, 1980, 1983, 1984, 1985, 1987, 1989, 1991, 1994, 1997, 1999, 2001, 2002, 2003, 2004,
2005, 2009, 2013, 2016, 2019, 2022, 2024, 2025, 2026, 2027, 2031, 2032, 2034, 2039, 2041, 2043,
2046, 2047, 2049, 2050, 2058, 2059, 2060, 2062, 2067, 2070, 2075, 2076, 2079, 2085, 2089, 2090,
2094, 2095, 2096, 2097, 2100, 2101, 2102, 2103, 2104, 2106, 2107, 2108, 2109, 2110, 2111, 2112,
2113, 2114, 2117, 2119, 2122, 2124, 2125, 2126, 2130, 2131, 2132, 2133, 2135, 2136, 2139, 2140,
2141, 2143, 2145, 2146, 2150, 2152, 2153, 2154, 2155, 2157, 2158, 2159, 2160, 2167, 2169, 2172,
2177, 2178, 2181, 2190, 2191, 2192, 2193, 2196, 2198, 2200, 2203, 2204, 2209, 2210, 2212, 2217,
2218, 2220, 2222, 2223, 2224, 2230, 2231, 2232, 2233, 2238, 2240, 2242, 2243, 2249, 2250, 2251,
2253, 2255, 2256, 2257, 2262, 2265, 2267, 2268, 2269, 2272, 2273, 2274, 2276, 2280, 2286, 2287,
2289, 2293, 2297, 2299, 2300, 2301, 2302, 2304, 2305, 2306, 2307, 2308, 2312, 2315, 2316, 2317,
2319, 2320, 2323, 2324, 2325, 2326, 2328, 2329, 2331, 2333, 2334, 2335, 2341, 2342, 2343, 2344,
2345, 2347, 2349, 2351, 2353, 2355, 2360, 2361, 2362, 2364, 2365, 2369, 2373, 2375, 2376, 2377,
2378, 2383, 2385, 2386, 2391, 2395, 2397, 2404, 2405, 2406, 2408, 2410, 2416, 2418, 2420, 2421,
2422, 2423, 2425, 2428, 2430, 2433, 2434, 2435, 2436, 2438, 2440, 2441, 2442, 2443, 2445, 2446,
2447, 2448, 2452, 2453, 2454, 2455, 2457, 2458, 2459, 2460, 2462, 2463, 2467, 2471, 2472, 2473,
2476, 2480, 2481, 2482, 2483, 2484, 2485, 2486, 2489, 2491, 2492, 2494, 2496, 2497, 2500, 2504,
2506, 2508, 2509, 2510, 2511, 2518, 2519, 2523, 2524, 2526, 2528, 2529, 2530, 2534, 2535, 2538,
2540, 2541, 2543, 2544, 2547, 2548, 2550, 2551, 2553, 2555, 2558, 2560, 2561, 2562, 2563, 2564,
2571, 2572, 2575, 2576, 2578, 2579, 2581, 2584, 2586, 2587, 2593, 2596, 2597, 2598, 2600, 2602,
2603, 2604, 2605, 2606, 2611, 2612, 2613, 2615, 2616, 2617, 2619, 2621, 2624, 2625, 2627, 2630,
2638, 2641, 2643, 2649, 2650, 2653, 2654, 2658, 2659, 2667, 2669, 2671, 2672, 2677, 2678, 2680,
2682, 2683, 2684, 2686, 2687, 2691, 2693, 2694, 2695, 2699, 2700, 2703, 2707, 2708, 2709, 2710,
2712, 2714, 2715, 2716, 2718, 2719, 2720, 2723, 2725, 2727, 2729, 2732, 2735, 2736, 2737, 2738,
2740, 2741, 2752, 2753, 2755, 2757, 2758, 2760, 2761, 2763, 2765, 2770, 2773, 2774, 2781, 2783,
2787, 2789, 2791, 2792, 2794, 2795, 2796, 2797, 2798, 2800, 2801, 2805, 2806, 2807, 2808, 2809,
2810, 2813, 2818, 2823, 2824, 2828, 2831, 2835, 2837, 2838, 2839, 2842, 2843, 2844, 2845, 2846,
2848, 2849, 2850, 2851, 2852, 2854, 2857, 2858, 2861, 2862, 2863, 2864, 2866, 2870, 2871, 2872,
2875, 2876, 2877, 2879, 2881, 2883, 2886, 2887, 2888, 2890, 2891, 2895, 2896, 2897, 2899, 2900,
2901, 2902, 2903, 2905, 2906, 2908, 2909, 2912, 2913, 2914, 2916, 2917, 2918, 2919, 2920, 2921,
2925, 2926, 2927, 2930, 2931, 2932, 2934, 2935, 2936, 2939, 2942, 2943, 2947, 2949, 2950, 2951,
2952, 2953, 2956, 2960, 2961, 2962, 2966, 2969, 2970, 2972, 2973, 2974, 2975, 2980, 2983, 2984,
2986, 2987, 2988, 2990, 2993, 2994, 2997, 2999, 3001, 3003, 3005, 3007, 3008, 3010, 3013, 3014,
3017, 3018, 3019, 3023, 3026, 3028, 3029, 3035, 3038, 3039, 3042, 3044, 3046, 3047, 3048, 3049,
3051, 3053, 3057, 3061, 3062, 3063, 3064, 3065, 3066, 3067, 3068, 3069, 3071, 3072, 3074, 3075,
3076, 3077, 3080, 3084, 3086, 3087, 3089, 3090, 3091, 3093, 3095, 3096, 3097, 3098, 3099, 3100,
3101, 3102, 3103, 3104, 3107, 3108, 3109, 3112, 3113, 3115, 3116, 3117, 3120, 3121, 3122, 3123,
3127, 3129, 3130, 3131, 3132, 3133, 3134, 3136, 3137, 3139, 3143, 3145, 3146, 3147, 3151, 3152,
3153, 3154, 3155, 3157, 3159, 3160, 3162, 3166, 3167, 3168, 3174, 3175, 3176, 3177, 3178, 3179,
3180, 3182, 3184, 3187, 3188, 3189, 3191, 3196, 3198, 3199, 3201, 3203, 3205, 3206, 3208, 3209,
3210, 3217, 3218, 3219, 3220, 3222, 3223, 3227, 3228, 3230, 3231, 3232, 3233, 3234, 3237, 3243,
3244, 3245, 3247, 3250, 3253, 3254, 3257, 3259, 3260, 3263, 3264, 3265, 3267, 3269, 3271, 3274,
3277, 3278, 3280, 3287, 3289, 3290, 3291, 3292, 3294, 3296, 3300, 3303, 3304, 3305, 3309, 3310,
3311, 3312, 3315, 3316, 3317, 3318, 3319, 3321, 3323, 3324, 3329, 3330, 3331, 3332, 3334, 3337,
3340, 3341, 3342, 3345, 3347, 3351, 3353, 3354, 3356, 3357, 3359, 3363, 3366, 3367, 3368, 3369,
3376, 3378, 3379, 3380, 3381, 3386, 3388, 3389, 3390, 3391, 3395, 3396, 3397, 3398, 3399, 3400,
3401, 3402, 3409, 3410, 3411, 3412, 3413, 3416, 3418, 3419, 3421, 3422, 3423, 3426, 3427, 3428,
3430, 3434, 3435, 3442, 3446, 3452, 3455, 3456, 3460, 3461, 3465, 3466, 3467, 3471, 3472, 3473,
3477, 3478, 3479, 3485, 3488, 3489, 3493, 3494, 3495, 3496, 3497, 3499, 3500, 3504, 3505, 3506,
3511, 3513, 3515, 3518, 3521, 3526, 3527, 3529, 3530, 3532, 3534, 3538, 3541, 3542, 3544, 3545,
3548, 3549, 3550, 3553, 3554, 3555, 3559, 3560, 3562, 3564, 3566, 3567, 3568, 3569, 3573, 3576,
3579, 3583, 3584, 3585, 3588, 3589, 3591, 3593, 3597, 3598, 3601, 3602, 3604, 3606, 3609, 3612,
3614, 3615, 3616, 3618, 3621, 3622, 3623, 3625, 3626, 3627, 3628, 3629, 3632, 3635, 3636, 3637,
3638, 3642, 3643, 3644, 3645, 3647, 3650, 3652, 3653, 3655, 3656, 3658, 3660, 3661, 3664, 3667,
3669, 3671, 3677, 3678, 3679, 3680, 3682, 3684, 3685, 3686, 3687, 3688, 3689, 3690, 3691, 3692,
3694, 3696, 3697, 3699, 3700, 3702, 3705, 3707, 3708, 3711, 3712, 3713, 3714, 3716, 3717, 3720,
3721, 3723, 3725, 3726, 3728, 3731, 3733, 3735, 3740, 3741, 3742, 3744, 3750, 3752, 3755, 3757,
3758, 3761, 3763, 3765, 3771, 3772, 3773, 3774, 3775, 3778, 3783, 3784, 3785, 3787, 3788, 3794,
3795, 3796, 3797, 3798, 3805, 3808, 3814, 3816, 3819, 3820, 3822, 3823, 3826, 3829, 3831, 3833,
3834, 3837, 3838, 3840, 3845, 3846, 3848, 3850, 3852, 3853, 3856, 3861, 3865, 3868, 3872, 3873,
3874, 3877, 3878, 3879, 3880, 3881, 3885, 3889, 3890, 3891, 3895, 3897, 3899, 3902, 3903, 3904,
3905, 3906, 3907, 3912, 3916, 3918, 3919, 3922, 3923, 3924, 3925, 3928, 3930, 3931, 3932, 3934,
3936, 3938, 3940, 3943, 3946, 3947, 3949, 3951, 3953, 3956, 3957, 3958, 3960, 3963, 3964, 3965,
3968, 3969, 3971, 3974, 3975, 3977, 3978, 3979, 3980, 3981, 3983, 3986, 3987, 3988, 3992, 3994,
3995, 3996, 3997, 4000, 4002, 4007, 4009, 4010, 4012, 4014, 4015, 4018, 4021, 4025, 4032, 4034,
4035, 4036, 4037, 4038, 4039, 4040, 4041, 4044, 4048, 4050, 4053, 4054, 4057, 4058, 4062, 4065,
4070, 4071, 4072, 4073, 4074, 4075, 4076, 4078, 4079, 4081, 4082, 4083, 4084, 4086, 4089, 4090,
4091, 4093, 4094, 4096, 4099, 4100, 4101, 4103, 4104, 4107, 4113, 4114, 4117, 4118, 4121, 4123,
4124, 4127, 4129, 4131, 4132, 4133, 4134, 4137, 4141, 4143, 4146, 4147, 4152, 4154, 4155, 4157,
4159, 4160, 4161, 4163, 4164, 4166, 4170, 4172, 4173, 4181, 4183, 4184, 4187, 4189, 4190, 4194,
4195, 4199, 4200, 4205, 4211, 4213, 4216, 4220, 4222, 4223, 4225, 4227, 4228, 4229, 4230, 4232,
4233, 4234, 4238, 4239, 4242, 4244, 4250, 4254, 4257, 4258, 4261, 4264, 4265, 4267, 4269, 4270,
4271, 4274, 4278, 4280, 4283, 4284, 4286, 4292, 4294, 4295, 4298, 4303, 4304, 4312, 4314, 4317,
4320, 4321, 4328, 4330, 4331, 4333, 4337, 4338, 4339, 4343, 4346, 4348, 4349, 4352, 4355, 4357,
4358, 4359, 4364, 4365, 4366, 4367, 4368, 4369, 4374, 4376, 4378, 4379, 4381, 4384, 4387, 4388,
4389, 4392, 4393, 4397, 4398, 4399, 4400, 4403, 4408, 4409, 4411, 4414, 4415, 4416, 4417, 4418,
4421, 4422, 4426, 4427, 4429, 4432, 4434, 4435, 4436, 4438, 4440, 4441, 4442, 4443, 4444, 4447,
4453, 4454, 4455, 4456, 4457, 4458, 4461, 4462, 4467, 4471, 4472, 4474, 4475, 4476, 4479, 4487,
4494, 4495, 4496, 4498, 4501, 4503, 4504, 4507, 4508, 4509, 4511, 4514, 4519, 4520, 4523, 4524,
4528, 4529, 4530, 4532, 4533, 4534, 4536, 4537, 4538, 4539, 4543, 4546, 4547, 4553, 4555, 4557,
4558, 4560, 4561, 4566, 4573, 4574, 4578, 4580, 4582, 4585, 4587, 4589, 4594, 4595, 4601, 4602,
4606, 4608, 4609, 4617, 4619, 4622, 4626, 4638, 4642, 4643, 4644, 4651, 4655, 4657, 4662, 4664,
4665, 4666, 4669, 4671, 4672, 4673, 4677, 4678, 4679, 4680, 4686, 4687, 4689, 4691, 4693, 4694,
4698, 4699, 4703, 4707, 4709, 4710, 4711, 4713, 4715, 4716, 4719, 4720, 4722, 4724, 4726, 4729,
4730, 4733, 4735, 4736, 4737, 4739, 4741, 4742, 4747, 4750, 4752, 4756, 4758, 4764, 4765, 4767,
4771, 4773, 4774, 4777, 4780, 4782, 4783, 4785, 4786, 4789, 4790, 4792, 4795, 4798, 4799, 4803,
4804, 4807, 4809, 4811, 4815, 4816, 4817, 4818, 4820, 4821, 4824, 4825, 4826, 4828, 4834, 4835,
4838, 4839, 4841, 4842, 4843, 4846, 4847, 4848, 4849, 4853, 4854, 4855, 4856, 4859, 4861, 4862,
4864, 4865, 4869, 4872, 4876, 4882, 4885, 4886, 4887, 4888, 4889, 4891, 4894, 4895, 4896, 4897,
4899, 4900, 4904, 4905, 4908, 4909, 4910, 4911, 4918, 4920, 4921, 4922, 4926, 4927, 4928, 4930,
4932, 4933, 4936, 4937, 4938, 4939, 4940, 4941, 4950, 4951, 4952, 4953, 4954, 4955, 4956, 4957,
4958, 4961, 4962, 4963, 4964, 4967, 4969, 4970, 4978, 4981, 4982, 4985, 4986, 4989, 4991, 4993,
4996, 4999, 5000, 5002, 5004, 5009, 5010, 5018, 5020, 5021, 5022, 5023, 5025, 5026, 5030, 5031,
5032, 5034, 5035, 5036, 5037, 5038, 5039, 5040, 5046, 5048, 5053, 5054, 5062, 5066, 5068, 5070,
5071, 5072, 5073, 5076, 5077, 5078, 5081, 5083, 5084, 5085, 5086, 5088, 5089, 5091, 5092, 5093,
5098, 5099, 5100, 5102, 5105, 5107, 5110, 5111, 5112, 5113, 5114, 5115, 5116, 5118, 5123, 5124,
5125, 5126, 5127, 5128, 5129, 5130, 5132, 5134, 5135, 5139, 5140, 5141, 5145, 5146, 5147, 5148,
5149, 5150, 5153, 5154, 5155, 5156, 5158, 5162, 5164, 5170, 5171, 5172, 5175, 5178, 5182, 5187,
5189, 5190, 5191, 5193, 5196, 5197, 5200, 5201, 5207, 5210, 5213, 5216, 5223, 5226, 5229, 5230,
5231, 5232, 5233, 5235, 5249, 5250, 5252, 5254, 5255, 5259, 5260, 5261, 5264, 5266, 5267, 5269,
5271, 5273, 5274, 5275, 5276, 5278, 5279, 5280, 5281, 5282, 5283, 5284, 5286, 5289, 5290, 5291,
5293, 5294, 5295, 5297, 5299, 5300, 5302, 5306, 5307, 5308, 5309, 5311, 5313, 5314, 5317, 5319,
5320, 5321, 5322, 5326, 5332, 5334, 5336, 5339, 5341, 5343, 5344, 5346, 5347, 5348, 5354, 5355,
5356, 5358, 5361, 5364, 5365, 5366, 5368, 5370, 5371, 5372, 5374, 5377, 5383, 5384, 5387, 5391,
5392, 5393, 5395, 5396, 5399, 5402, 5403, 5411, 5412, 5413, 5414, 5416, 5418, 5419, 5421, 5422,
5424, 5425, 5426, 5431, 5433, 5435, 5436, 5437, 5438, 5439, 5440, 5441, 5442, 5444, 5448, 5450,
5456, 5457, 5459, 5460, 5463, 5464, 5466, 5467, 5468, 5470, 5471, 5473, 5475, 5479, 5481, 5482,
5483, 5485, 5486, 5488, 5493, 5494, 5497, 5499, 5501, 5502, 5504, 5507, 5509, 5510, 5512, 5519,
5521, 5522, 5523, 5526, 5528, 5531, 5534, 5536, 5538, 5540, 5543, 5545, 5546, 5547, 5549, 5552,
5554, 5557, 5559, 5560, 5562, 5563, 5564, 5565, 5566, 5567, 5569, 5570, 5572, 5576, 5578, 5580,
5582, 5583, 5584, 5585, 5591, 5594, 5596, 5597, 5598, 5606, 5607, 5609, 5610, 5611, 5612, 5619,
5620, 5624, 5626, 5630, 5631, 5633, 5634, 5637, 5638, 5640, 5641, 5645, 5646, 5653, 5654, 5655,
5657, 5659, 5660, 5665, 5674, 5675, 5676, 5678, 5681, 5684, 5687, 5688, 5689, 5691, 5693, 5694,
5695, 5697, 5698, 5699, 5700, 5705, 5706, 5708, 5710, 5711, 5714, 5717, 5721, 5723, 5725, 5728,
5729, 5730, 5731, 5732, 5735, 5738, 5742, 5744, 5748, 5749, 5751, 5756, 5762, 5763, 5767, 5768,
5770, 5773, 5780, 5781, 5783, 5787, 5788, 5789, 5790, 5791, 5793, 5799, 5800, 5802, 5803, 5804,
5808, 5809, 5810, 5813, 5814, 5815, 5817, 5818, 5819, 5820, 5823, 5824, 5827, 5831, 5832, 5833,
5835, 5836, 5837, 5838, 5839, 5846, 5848, 5850, 5851, 5854, 5855, 5856, 5861, 5863, 5866, 5869,
5871, 5872, 5873, 5874, 5875, 5878, 5879, 5880, 5883, 5884, 5887, 5888, 5889, 5892, 5895, 5897,
5898, 5899, 5901, 5902, 5903, 5905, 5908, 5910, 5911, 5916, 5917, 5919, 5923, 5924, 5928, 5929,
5930, 5934, 5938, 5941, 5945, 5947, 5948, 5951, 5952, 5955, 5956, 5957, 5958, 5961, 5962, 5963,
5966, 5970, 5971, 5973, 5974, 5978, 5981, 5983, 5986, 5988, 5992, 5996, 5997, 6000, 6001, 6002,
6003, 6006, 6013, 6014, 6015, 6017, 6018, 6021, 6022, 6023, 6025, 6027, 6032, 6034, 6035, 6037,
6039, 6043, 6045, 6046, 6047, 6048, 6053, 6057, 6060, 6062, 6063, 6067, 6068, 6069, 6071, 6073,
6076, 6078, 6084, 6087, 6089, 6093, 6094, 6096, 6098, 6099, 6100, 6101, 6108, 6112, 6119, 6121,
6122, 6124, 6126, 6132, 6133, 6135, 6136, 6139, 6143, 6145, 6146, 6148, 6149, 6150, 6152, 6153,
6157, 6158, 6162, 6165, 6166, 6167, 6168, 6169, 6170, 6171, 6173, 6176, 6177, 6180, 6191, 6194,
6195, 6196, 6197, 6204, 6209, 6211, 6212, 6218, 6219, 6220, 6222, 6223, 6227, 6229, 6231, 6232,
6236, 6237, 6242, 6247, 6252, 6253, 6254, 6255, 6257, 6258, 6265, 6266, 6267, 6268, 6276, 6280,
6281, 6283, 6285, 6286, 6287, 6288, 6290, 6292, 6293, 6295, 6296, 6298, 6301, 6302, 6304, 6308,
6310, 6313, 6315, 6316, 6317, 6320, 6321, 6327, 6328, 6329, 6331, 6332, 6334, 6337, 6341, 6345,
6346, 6349, 6352, 6353, 6355, 6356, 6358, 6359, 6360, 6370, 6371, 6373, 6374, 6375, 6378, 6380,
6382, 6385, 6387, 6388, 6390, 6391, 6392, 6398, 6401, 6403, 6404, 6407, 6410, 6417, 6423, 6424,
6425, 6427, 6430, 6431, 6432, 6433, 6434, 6435, 6436, 6438, 6441, 6442, 6443, 6447, 6448, 6450,
6451, 6452, 6454, 6455, 6456, 6457, 6458, 6461, 6462, 6464, 6465, 6467, 6468, 6469, 6471, 6473,
6474, 6476, 6477, 6480, 6485, 6486, 6487, 6489, 6490, 6491, 6492, 6494, 6497, 6498, 6500, 6503,
6505, 6507, 6509, 6510, 6512, 6515, 6516, 6517, 6519, 6523, 6529, 6532, 6534, 6535, 6536, 6538,
6540, 6541, 6542, 6543, 6546, 6548, 6551, 6553, 6554, 6555, 6558, 6561, 6562, 6563, 6566, 6568,
6570, 6572, 6573, 6574, 6575, 6580, 6581, 6583, 6584, 6586, 6587, 6590, 6592, 6593, 6594, 6596,
6597, 6598, 6600, 6602, 6605, 6607, 6610, 6611, 6612, 6613, 6614, 6615, 6616, 6617, 6618, 6620,
6621, 6622, 6623, 6626, 6627, 6628, 6630, 6631, 6634, 6635, 6636, 6638, 6639, 6640, 6643, 6645,
6647, 6649, 6650, 6651, 6652, 6654, 6655, 6656, 6662, 6663, 6664, 6666, 6667, 6671, 6672, 6674,
6677, 6678, 6679, 6682, 6683, 6684, 6686, 6690, 6691, 6692, 6693, 6695, 6696, 6697, 6698, 6699,
6702, 6704, 6708, 6709, 6710, 6711, 6712, 6713, 6714, 6717, 6718, 6722, 6723, 6724, 6725, 6726,
6727, 6728, 6732, 6733, 6738, 6740, 6741, 6742, 6743, 6744, 6745, 6746, 6747, 6750, 6752, 6754,
6755, 6756, 6757, 6760, 6762, 6765, 6767, 6768, 6769, 6770, 6771, 6772, 6774, 6775, 6776, 6777,
6779, 6781, 6783, 6789, 6791, 6792, 6796, 6797, 6798, 6801, 6804, 6805, 6806, 6807, 6809, 6811,
6812, 6813, 6815, 6819, 6821, 6822, 6825, 6826, 6830, 6831, 6832, 6833, 6834, 6835, 6837, 6838,
6839, 6840, 6841, 6843, 6845, 6846, 6847, 6848, 6850, 6853, 6854, 6856, 6862, 6864, 6867, 6870,
6871, 6874, 6875, 6877, 6879, 6880, 6884, 6888, 6889, 6893, 6894, 6900, 6903, 6905, 6907, 6908,
6910, 6912, 6913, 6915, 6916, 6918, 6919, 6921, 6922, 6923, 6924, 6925, 6927, 6928, 6930, 6935,
6937, 6941, 6942, 6945, 6946, 6948, 6951, 6955, 6961, 6962, 6964, 6965, 6968, 6974, 6977, 6979,
6980, 6988, 6991, 6995, 6997, 6998, 7000, 7002, 7003, 7005, 7010, 7011, 7016, 7018, 7019, 7020,
7025, 7028, 7029, 7030, 7031, 7032, 7034, 7036, 7037, 7040, 7041, 7044, 7046, 7047, 7049, 7050,
7055, 7063, 7064, 7065, 7067, 7069, 7071, 7072, 7074, 7076, 7078, 7082, 7083, 7084, 7085, 7086,
7090, 7093, 7098, 7103, 7104, 7105, 7106, 7107, 7110, 7111, 7118, 7120, 7123, 7124, 7125, 7127,
7129, 7130, 7131, 7132, 7135, 7137, 7140, 7141, 7142, 7143, 7144, 7146, 7156, 7157, 7159, 7160,
7163, 7164, 7165, 7168, 7170, 7171, 7172, 7173, 7174, 7176, 7180, 7182, 7189, 7190, 7191, 7194,
7199],
346: [582, 1208, 2158, 2251, 2338, 2350, 2747, 2847, 3454, 3671, 3852, 4111, 4218, 4364, 4453, 4576,
5130, 5282, 5498, 5592, 5627, 5754, 5792, 5801, 6127, 6172, 6317, 6360, 6562, 6657, 7192],
347: [478, 730, 801, 912, 1475, 2189, 2630, 2703, 2789, 3028, 3609, 3765, 3824, 4019, 4184, 4918, 5163,
5432, 6200, 6408, 6488, 6656, 7101, 7103, 7142], 348: [1248, 3131, 5078], 4154: [6172],
350: [2959, 6797, 7123],
741: [814, 829, 834, 885, 957, 977, 1026, 1096, 1110, 1192, 1268, 1354, 1401, 1402, 1481, 1522, 1572,
1593, 1701, 1814, 1839, 1852, 1901, 1918, 1930, 1964, 2076, 2141, 2145, 2268, 2272, 2302, 2304,
2329, 2355, 2412, 2431, 2453, 2500, 2510, 2544, 2641, 2643, 2695, 2714, 2720, 2778, 2783, 2789,
2792, 2794, 2852, 2857, 2858, 2871, 2936, 2942, 2961, 2975, 3007, 3026, 3086, 3102, 3112, 3169,
3179, 3184, 3209, 3210, 3217, 3267, 3287, 3304, 3398, 3399, 3458, 3477, 3519, 3549, 3550, 3593,
3609, 3650, 3671, 3700, 3797, 3922, 3946, 3980, 3983, 4019, 4081, 4089, 4111, 4137, 4194, 4195,
4227, 4271, 4328, 4355, 4365, 4439, 4573, 4666, 4771, 4792, 4826, 4849, 4918, 4943, 4969, 4980,
5031, 5078, 5139, 5145, 5190, 5271, 5344, 5432, 5440, 5468, 5475, 5525, 5537, 5585, 5714, 5727,
5774, 5781, 5788, 5832, 5856, 5871, 5879, 5890, 5901, 5944, 6037, 6143, 6293, 6340, 6354, 6447,
6452, 6617, 6656, 6702, 6750, 6791, 6798, 6853, 6905, 6907, 6916, 6948, 6955, 7101, 7158],
353: [355, 363, 364, 380, 394, 399, 403, 434, 435, 437, 453, 458, 459, 461, 464, 465, 467, 475, 499,
508, 509, 512, 516, 517, 519, 531, 550, 566, 582, 594, 597, 612, 620, 629, 644, 652, 658, 675,
682, 686, 700, 702, 706, 709, 718, 720, 743, 746, 753, 754, 760, 770, 772, 778, 784, 806, 809,
810, 814, 828, 834, 841, 849, 850, 861, 869, 879, 881, 884, 885, 890, 910, 914, 918, 926, 934,
940, 941, 942, 952, 958, 962, 967, 972, 977, 985, 991, 994, 997, 998, 999, 1000, 1015, 1018, 1020,
1022, 1024, 1025, 1028, 1031, 1057, 1060, 1061, 1062, 1082, 1099, 1106, 1110, 1118, 1137, 1142,
1144, 1150, 1153, 1156, 1170, 1189, 1192, 1195, 1201, 1202, 1213, 1219, 1220, 1222, 1243, 1252,
1253, 1288, 1292, 1301, 1302, 1309, 1328, 1335, 1339, 1343, 1356, 1360, 1387, 1401, 1403, 1408,
1420, 1428, 1431, 1434, 1438, 1449, 1471, 1481, 1485, 1504, 1509, 1522, 1529, 1536, 1564, 1567,
1571, 1591, 1593, 1594, 1602, 1616, 1650, 1657, 1659, 1677, 1681, 1690, 1697, 1698, 1701, 1704,
1724, 1727, 1732, 1737, 1740, 1743, 1751, 1753, 1771, 1772, 1774, 1795, 1799, 1809, 1810, 1811,
1813, 1826, 1827, 1834, 1837, 1847, 1852, 1855, 1856, 1857, 1858, 1861, 1863, 1865, 1868, 1869,
1873, 1882, 1884, 1889, 1901, 1911, 1917, 1919, 1921, 1954, 1958, 1961, 1979, 1985, 1987, 2005,
2008, 2013, 2014, 2024, 2031, 2042, 2044, 2050, 2076, 2079, 2080, 2089, 2092, 2094, 2109, 2124,
2127, 2129, 2141, 2150, 2152, 2158, 2162, 2181, 2194, 2206, 2210, 2227, 2238, 2252, 2274, 2279,
2294, 2307, 2318, 2319, 2325, 2334, 2338, 2343, 2350, 2351, 2360, 2367, 2376, 2408, 2416, 2419,
2426, 2433, 2440, 2448, 2453, 2455, 2456, 2457, 2460, 2462, 2463, 2465, 2472, 2473, 2481, 2486,
2491, 2492, 2494, 2498, 2500, 2511, 2519, 2529, 2537, 2540, 2544, 2557, 2572, 2573, 2609, 2611,
2613, 2625, 2626, 2637, 2649, 2650, 2657, 2659, 2668, 2669, 2675, 2679, 2680, 2686, 2734, 2738,
2743, 2747, 2749, 2762, 2774, 2775, 2778, 2783, 2785, 2789, 2797, 2811, 2813, 2830, 2847, 2848,
2860, 2867, 2870, 2871, 2879, 2886, 2890, 2899, 2900, 2912, 2913, 2930, 2939, 2940, 2942, 2949,
2958, 2961, 2963, 2987, 2999, 3002, 3005, 3006, 3014, 3026, 3036, 3049, 3062, 3066, 3087, 3098,
3109, 3112, 3119, 3127, 3132, 3133, 3136, 3138, 3155, 3156, 3160, 3179, 3191, 3199, 3209, 3210,
3216, 3230, 3242, 3247, 3258, 3264, 3267, 3268, 3269, 3271, 3280, 3287, 3288, 3299, 3306, 3309,
3311, 3313, 3314, 3315, 3325, 3336, 3339, 3340, 3342, 3349, 3351, 3354, 3367, 3371, 3374, 3384,
3391, 3395, 3398, 3409, 3414, 3426, 3433, 3434, 3435, 3440, 3445, 3446, 3452, 3454, 3461, 3466,
3480, 3481, 3485, 3488, 3500, 3505, 3506, 3517, 3518, 3523, 3524, 3525, 3526, 3534, 3536, 3559,
3565, 3566, 3576, 3577, 3579, 3587, 3593, 3594, 3595, 3608, 3613, 3624, 3628, 3635, 3636, 3637,
3640, 3647, 3671, 3676, 3679, 3684, 3692, 3695, 3703, 3707, 3715, 3732, 3739, 3740, 3741, 3761,
3762, 3773, 3775, 3795, 3796, 3807, 3814, 3820, 3852, 3859, 3862, 3863, 3865, 3869, 3873, 3875,
3878, 3879, 3895, 3903, 3904, 3924, 3925, 3928, 3930, 3931, 3946, 3949, 3951, 3958, 3965, 3978,
3989, 3995, 3996, 4000, 4002, 4003, 4004, 4006, 4008, 4015, 4019, 4028, 4029, 4037, 4044, 4054,
4072, 4073, 4074, 4082, 4097, 4105, 4111, 4116, 4119, 4125, 4148, 4153, 4154, 4156, 4160, 4161,
4163, 4171, 4189, 4193, 4195, 4197, 4203, 4210, 4211, 4218, 4222, 4227, 4256, 4271, 4280, 4298,
4322, 4326, 4328, 4359, 4364, 4370, 4383, 4387, 4399, 4405, 4408, 4435, 4451, 4453, 4467, 4473,
4494, 4501, 4516, 4528, 4545, 4558, 4563, 4572, 4576, 4582, 4608, 4622, 4635, 4657, 4672, 4673,
4676, 4682, 4687, 4690, 4697, 4704, 4708, 4711, 4713, 4724, 4728, 4738, 4752, 4759, 4763, 4768,
4771, 4779, 4785, 4789, 4791, 4795, 4804, 4815, 4822, 4841, 4857, 4859, 4869, 4892, 4893, 4894,
4909, 4910, 4927, 4932, 4941, 4951, 4957, 4980, 4993, 5009, 5019, 5022, 5031, 5041, 5056, 5063,
5064, 5088, 5095, 5098, 5099, 5102, 5104, 5111, 5128, 5130, 5131, 5133, 5143, 5148, 5159, 5162,
5182, 5197, 5203, 5209, 5218, 5221, 5229, 5232, 5243, 5244, 5246, 5252, 5259, 5260, 5263, 5267,
5279, 5280, 5282, 5285, 5297, 5311, 5314, 5315, 5328, 5329, 5341, 5342, 5347, 5354, 5371, 5390,
5399, 5405, 5406, 5409, 5418, 5429, 5438, 5442, 5450, 5455, 5456, 5466, 5468, 5475, 5483, 5485,
5488, 5489, 5493, 5495, 5498, 5503, 5504, 5512, 5525, 5534, 5540, 5541, 5549, 5559, 5572, 5582,
5592, 5612, 5614, 5620, 5624, 5627, 5631, 5633, 5636, 5639, 5640, 5641, 5645, 5653, 5656, 5659,
5667, 5674, 5678, 5703, 5714, 5725, 5727, 5728, 5732, 5741, 5754, 5756, 5762, 5763, 5770, 5773,
5774, 5775, 5780, 5791, 5792, 5797, 5801, 5810, 5826, 5831, 5833, 5839, 5840, 5857, 5871, 5877,
5887, 5889, 5897, 5904, 5928, 5938, 5942, 5950, 5955, 5961, 5964, 6025, 6036, 6044, 6050, 6067,
6081, 6099, 6101, 6111, 6125, 6127, 6133, 6136, 6137, 6139, 6143, 6146, 6147, 6149, 6159, 6169,
6171, 6172, 6185, 6194, 6197, 6199, 6229, 6240, 6242, 6247, 6252, 6257, 6261, 6265, 6266, 6268,
6269, 6272, 6273, 6298, 6300, 6303, 6310, 6322, 6323, 6325, 6339, 6346, 6358, 6360, 6363, 6376,
6383, 6385, 6388, 6410, 6412, 6414, 6418, 6424, 6434, 6439, 6442, 6443, 6452, 6455, 6469, 6487,
6490, 6491, 6503, 6504, 6511, 6523, 6537, 6557, 6562, 6563, 6577, 6601, 6603, 6605, 6610, 6616,
6617, 6622, 6648, 6657, 6675, 6699, 6724, 6733, 6738, 6743, 6752, 6754, 6755, 6757, 6762, 6772,
6779, 6788, 6791, 6796, 6802, 6807, 6814, 6819, 6821, 6824, 6831, 6845, 6846, 6851, 6853, 6864,
6867, 6870, 6876, 6877, 6881, 6898, 6905, 6921, 6922, 6926, 6928, 6932, 6935, 6941, 6942, 6943,
6945, 6953, 6955, 6957, 6963, 6977, 6983, 6990, 6997, 7000, 7003, 7004, 7035, 7036, 7037, 7040,
7064, 7067, 7070, 7079, 7082, 7083, 7086, 7088, 7093, 7094, 7099, 7104, 7111, 7113, 7114, 7117,
7131, 7137, 7158, 7160, 7161, 7162, 7168, 7171, 7172, 7179, 7188, 7192, 7198],
354: [1110, 1208, 1481, 1498, 1588, 1701, 1857, 1930, 2167, 2519, 2762, 2789, 2852, 2942, 3347, 3879,
4163, 4195, 4338, 4666, 5032, 5468],
6203: [6226, 6273, 6313, 6315, 6320, 6375, 6390, 6408, 6425, 6470, 6488, 6514, 6517, 6538, 6572, 6596,
6600, 6628, 6656, 6725, 6744, 6747, 6794, 6801, 6847, 6877, 7003, 7064, 7101, 7103, 7121, 7123,
7164, 7169],
358: [435, 597, 836, 958, 972, 1253, 1343, 1868, 2094, 2158, 2194, 3066, 3351, 3414, 4466, 4576, 5041,
5659, 5754, 5904, 6657, 6824],
359: [1096, 1339, 1593, 1701, 1852, 1919, 2141, 2238, 2544, 3650, 4195, 4355, 5130, 5314, 5468, 5714,
5754, 6942], 361: [2679, 5801, 7088],
4458: [4576, 4595, 4759, 4918, 5468, 5489, 5801, 6942, 7086, 7172], 363: [4218],
364: [1025, 4046, 5754, 6657], 5604: [5754, 5792, 6657, 6919, 7192], 366: [2504],
368: [720, 972, 1966, 2141, 2158, 2251, 2376, 3852, 4195, 4364, 5130, 5468, 5483, 5525, 5714, 5754,
6317, 6360, 6496, 6657, 7192], 370: [1701, 2677, 3028, 4184, 4318, 4848, 5856, 5858, 7101],
372: [517, 869, 1309, 1328, 1571, 2141, 2238, 2473, 3112, 3157, 4168, 5078, 5569, 5855, 6143, 6360,
7172], 373: [3265, 7123],
374: [381, 393, 441, 513, 540, 604, 634, 718, 737, 765, 776, 930, 981, 1089, 1127, 1236, 1255, 1464,
1505, 1590, 1701, 1759, 1930, 2020, 2060, 2145, 2209, 2335, 2375, 2378, 2381, 2514, 2564, 2604,
2638, 2664, 2694, 2698, 2703, 2753, 2789, 2792, 2900, 2993, 3086, 3142, 3158, 3184, 3218, 3519,
3529, 3609, 3693, 3709, 3964, 4064, 4137, 4196, 4299, 4304, 4337, 4355, 4374, 4443, 4542, 4745,
4848, 4917, 4943, 5074, 5078, 5091, 5179, 5196, 5222, 5304, 5319, 5348, 5413, 5468, 5551, 5665,
5779, 5799, 5820, 5835, 5856, 5923, 5934, 5948, 6010, 6107, 6199, 6226, 6287, 6293, 6343, 6373,
6470, 6488, 6656, 6672, 6698, 6794, 6810, 6835, 6907, 7010, 7121, 7169],
377: [957, 2753, 5537, 6360], 379: [3951, 4576, 4789, 5754, 6325, 6511, 7004, 7086], 4476: [4848],
385: [1403, 1869, 2294, 3517, 3989, 4046, 4097, 4608, 4909, 5627, 6325, 6657, 7113],
386: [805, 828, 841, 850, 1571, 1586, 1681, 1852, 1919, 2094, 2194, 2440, 2920, 3351, 4218, 4789, 4857,
4869, 5267, 5438, 5540, 5627, 5659, 5754, 5904, 6127, 6197, 6657, 7113],
395: [444, 453, 478, 516, 537, 843, 966, 1026, 1096, 1103, 1354, 1374, 1522, 1572, 1611, 1634, 1679,
1701, 1739, 1845, 1900, 1918, 1930, 2141, 2209, 2302, 2304, 2329, 2376, 2425, 2453, 2630, 2659,
2677, 2683, 2792, 2794, 2936, 2956, 3010, 3093, 3108, 3169, 3267, 3287, 3305, 3398, 3440, 3519,
3570, 3609, 3618, 3647, 3650, 3779, 3797, 4007, 4019, 4081, 4089, 4137, 4182, 4205, 4265, 4304,
4355, 4573, 4640, 4952, 4991, 5078, 5213, 5245, 5296, 5393, 5521, 5803, 5820, 5856, 5901, 5916,
5923, 5969, 6340, 6408, 6447, 6470, 6488, 6543, 6656, 6702, 6798, 6907, 7002, 7101],
399: [2141, 3384, 4288, 4789, 5754], 6151: [6642, 7199],
409: [421, 453, 459, 531, 594, 682, 718, 720, 753, 797, 850, 869, 885, 932, 941, 957, 972, 1038, 1096,
1110, 1137, 1195, 1219, 1230, 1239, 1288, 1309, 1339, 1395, 1455, 1481, 1522, 1550, 1571, 1834,
1852, 1918, 1919, 2024, 2044, 2080, 2094, 2141, 2158, 2181, 2238, 2251, 2273, 2319, 2351, 2376,
2398, 2451, 2459, 2492, 2526, 2582, 2600, 2643, 2686, 2783, 2813, 2847, 2861, 2899, 2962, 3015,
3066, 3087, 3112, 3133, 3179, 3200, 3209, 3210, 3267, 3342, 3384, 3454, 3466, 3531, 3534, 3628,
3645, 3650, 3769, 3775, 3852, 3872, 3873, 3952, 4002, 4045, 4072, 4082, 4097, 4105, 4111, 4157,
4163, 4168, 4189, 4190, 4218, 4271, 4288, 4312, 4318, 4355, 4573, 4576, 4673, 4708, 4724, 4771,
4789, 4804, 4859, 4932, 4951, 5040, 5130, 5224, 5232, 5282, 5311, 5314, 5329, 5344, 5371, 5440,
5468, 5475, 5483, 5489, 5498, 5584, 5592, 5609, 5655, 5678, 5698, 5714, 5754, 5770, 5773, 5780,
5792, 5882, 5904, 5913, 5956, 5961, 5966, 6017, 6037, 6039, 6124, 6127, 6132, 6172, 6185, 6229,
6236, 6252, 6327, 6339, 6346, 6360, 6455, 6490, 6566, 6614, 6657, 6671, 6675, 6684, 6757, 6776,
6781, 6796, 6805, 6816, 6841, 6870, 6905, 6907, 6915, 6942, 6945, 6955, 7003, 7049, 7079, 7088,
7094, 7111, 7137, 7154, 7160, 7172, 7192, 7198], 415: [435, 4576, 5754, 5792, 6935],
4512: [4608, 4909, 5098, 5282, 6657, 7080],
418: [435, 597, 722, 727, 836, 841, 850, 937, 965, 982, 1004, 1248, 1446, 1571, 1650, 1795, 1810, 1891,
1905, 2050, 2238, 2492, 2557, 2626, 2674, 2705, 2709, 2787, 2904, 3226, 3265, 3414, 3500, 3501,
3517, 3777, 3878, 4114, 4117, 4168, 4252, 4283, 4318, 4466, 4657, 4728, 5063, 5096, 5189, 5250,
5320, 5420, 5715, 5723, 5754, 6197, 6241, 6603, 6737, 6780, 6824, 6869, 6878, 7075, 7122, 7123],
419: [1025, 1343, 2152, 2294, 4097, 5282, 5493, 5877, 6323, 6657], 4516: [4576, 5754], 4517: [5096],
4519: [4622, 7172],
424: [435, 720, 910, 932, 1132, 1137, 1326, 1441, 1522, 1827, 1858, 1912, 1931, 2092, 2367, 2369, 2673,
2769, 2833, 2871, 2893, 2904, 2998, 3109, 3119, 3169, 3266, 3320, 3348, 3384, 3406, 3507, 3529,
3551, 3647, 3668, 3674, 3679, 3777, 3946, 4053, 4087, 4168, 4252, 4690, 4799, 4932, 5019, 5020,
5080, 5098, 5171, 5280, 5456, 5504, 5525, 5536, 5604, 5754, 5792, 5825, 5909, 5930, 5964, 6236,
6449, 6505, 6636, 6657, 6687, 6788, 6919, 6981, 7117, 7192], 425: [1964, 2141],
6215: [6360, 6490, 6562, 6657, 7004, 7093], 429: [435], 4533: [6878],
4169: [4972, 5078, 5179, 5966, 6907], 440: [1288, 1328, 4550, 5468, 5754, 6127], 4540: [5254, 6886],
4547: [4932, 4969, 5190, 5413, 5432, 5468, 5537, 5609, 6048, 6293, 6755], 4548: [5468],
4855: [6172, 6425, 6725, 7142, 7172],
5198: [5261, 5525, 5536, 5633, 5656, 5698, 5743, 5756, 5810, 5904, 5956, 5961, 5978, 5995, 6171, 6194,
6346, 6600, 6614, 6617, 6738, 6796, 6797, 6921, 6945, 6948, 7093, 7094, 7107, 7137, 7172, 7185],
4558: [6935],
4173: [4195, 4196, 4258, 4312, 4318, 4338, 4355, 4367, 4369, 4539, 4573, 4640, 4686, 4773, 4826, 4919,
4991, 5028, 5078, 5170, 5211, 5213, 5271, 5282, 5371, 5413, 5459, 5468, 5537, 5655, 5727, 5741,
5788, 5800, 5820, 5832, 5913, 5916, 5923, 5966, 5978, 5996, 6008, 6021, 6106, 6165, 6229, 6247,
6292, 6319, 6343, 6346, 6415, 6425, 6470, 6488, 6496, 6509, 6543, 6548, 6566, 6594, 6680, 6725,
6741, 6804, 6812, 6872, 6896, 6907, 6955, 7034, 7045, 7094, 7101, 7112, 7121, 7141, 7164],
466: [5754], 470: [568, 1464, 1864, 2104, 3200, 3363, 3368, 4374, 4766, 4937, 5026, 5524, 6219],
4569: [7101], 6426: [7192], 478: [2630, 7101],
479: [531, 566, 582, 828, 1153, 1288, 1343, 1657, 1852, 1855, 2089, 2141, 2274, 2338, 2350, 2351, 2376,
2494, 2899, 3452, 3454, 3640, 3981, 3982, 4046, 4074, 4097, 4218, 4364, 4576, 4608, 4676, 4690,
4789, 4909, 4951, 5098, 5282, 5456, 5483, 5498, 5656, 5754, 5904, 6339, 6490, 6562, 6657, 6814,
7049, 7111, 7162], 480: [720, 972, 1593, 2686, 3087, 3374, 4097, 4369, 4789, 4932, 5754, 6490],
483: [5078], 487: [5754, 7093],
488: [512, 557, 829, 834, 850, 890, 1014, 1096, 1137, 1192, 1504, 1522, 1593, 1634, 1681, 1852, 1858,
1901, 1919, 2076, 2141, 2333, 2376, 2457, 2544, 2579, 2659, 2912, 3119, 3210, 3267, 3287, 3311,
3347, 3384, 3398, 3446, 3454, 3650, 3946, 4195, 4227, 4288, 4666, 4759, 4789, 4841, 4932, 4943,
5139, 5229, 5311, 5314, 5329, 5432, 5468, 5714, 5879, 6136, 6382, 6754, 6905],
491: [502, 503, 516, 517, 519, 523, 531, 532, 550, 553, 557, 566, 582, 594, 610, 620, 644, 645, 647,
659, 682, 687, 699, 700, 720, 727, 753, 762, 787, 790, 796, 800, 805, 810, 814, 826, 828, 834,
850, 863, 869, 873, 885, 890, 903, 910, 914, 918, 921, 926, 932, 934, 937, 957, 958, 972, 979,
991, 994, 1012, 1025, 1043, 1061, 1095, 1096, 1110, 1132, 1137, 1153, 1185, 1192, 1193, 1195,
1208, 1222, 1239, 1251, 1255, 1260, 1268, 1277, 1288, 1299, 1301, 1302, 1309, 1336, 1339, 1343,
1351, 1401, 1402, 1403, 1408, 1414, 1420, 1428, 1434, 1448, 1450, 1453, 1455, 1459, 1478, 1481,
1502, 1504, 1506, 1522, 1540, 1571, 1583, 1593, 1681, 1717, 1720, 1751, 1774, 1782, 1786, 1795,
1799, 1801, 1809, 1827, 1834, 1837, 1847, 1852, 1855, 1857, 1858, 1859, 1869, 1882, 1891, 1901,
1919, 1931, 1946, 1950, 1965, 1990, 2013, 2024, 2036, 2044, 2050, 2076, 2089, 2094, 2100, 2109,
2124, 2140, 2141, 2152, 2158, 2217, 2234, 2238, 2251, 2253, 2262, 2273, 2280, 2286, 2307, 2333,
2334, 2335, 2345, 2351, 2355, 2360, 2361, 2369, 2371, 2376, 2385, 2408, 2442, 2459, 2473, 2481,
2482, 2486, 2491, 2511, 2526, 2537, 2540, 2541, 2544, 2563, 2609, 2650, 2657, 2658, 2673, 2680,
2707, 2762, 2783, 2797, 2808, 2813, 2847, 2848, 2858, 2861, 2863, 2870, 2871, 2875, 2879, 2886,
2899, 2900, 2903, 2909, 2912, 2919, 2933, 2936, 2939, 2942, 2948, 2949, 2951, 2961, 2987, 3026,
3061, 3062, 3066, 3087, 3098, 3102, 3108, 3109, 3112, 3124, 3127, 3128, 3131, 3132, 3144, 3146,
3154, 3155, 3157, 3166, 3168, 3179, 3180, 3183, 3184, 3199, 3210, 3247, 3264, 3267, 3268, 3269,
3274, 3280, 3292, 3294, 3306, 3309, 3310, 3311, 3314, 3315, 3317, 3323, 3339, 3342, 3347, 3351,
3354, 3357, 3384, 3387, 3395, 3398, 3406, 3411, 3424, 3426, 3427, 3434, 3446, 3452, 3466, 3477,
3495, 3499, 3500, 3504, 3506, 3518, 3526, 3534, 3550, 3577, 3604, 3618, 3625, 3626, 3628, 3636,
3638, 3645, 3650, 3667, 3671, 3679, 3684, 3687, 3692, 3707, 3758, 3760, 3763, 3773, 3775, 3779,
3814, 3843, 3852, 3872, 3873, 3878, 3899, 3904, 3912, 3928, 3946, 3951, 3952, 3963, 3965, 3978,
3982, 3995, 4000, 4002, 4004, 4006, 4021, 4037, 4053, 4074, 4082, 4086, 4097, 4100, 4105, 4117,
4153, 4154, 4157, 4160, 4168, 4190, 4218, 4227, 4271, 4288, 4299, 4312, 4364, 4369, 4383, 4387,
4407, 4432, 4453, 4494, 4516, 4539, 4573, 4576, 4608, 4616, 4622, 4652, 4657, 4673, 4676, 4678,
4687, 4689, 4690, 4708, 4713, 4728, 4752, 4771, 4779, 4789, 4799, 4804, 4838, 4843, 4853, 4864,
4909, 4914, 4922, 4932, 4951, 4957, 5020, 5022, 5032, 5040, 5056, 5060, 5062, 5069, 5098, 5128,
5130, 5139, 5171, 5197, 5209, 5224, 5229, 5232, 5280, 5282, 5311, 5313, 5314, 5315, 5320, 5329,
5341, 5344, 5347, 5371, 5395, 5411, 5420, 5432, 5438, 5440, 5456, 5466, 5475, 5483, 5485, 5486,
5488, 5489, 5499, 5504, 5525, 5538, 5540, 5549, 5572, 5584, 5620, 5625, 5632, 5633, 5645, 5659,
5698, 5701, 5714, 5728, 5730, 5732, 5744, 5754, 5770, 5773, 5797, 5808, 5826, 5831, 5832, 5840,
5863, 5871, 5882, 5901, 5903, 5904, 5928, 5930, 5945, 5955, 5964, 5966, 5978, 6017, 6025, 6027,
6030, 6038, 6039, 6071, 6086, 6124, 6126, 6132, 6139, 6143, 6158, 6172, 6185, 6194, 6223, 6236,
6269, 6296, 6310, 6337, 6339, 6346, 6356, 6360, 6382, 6410, 6448, 6449, 6450, 6452, 6457, 6466,
6490, 6495, 6501, 6529, 6557, 6562, 6572, 6578, 6600, 6603, 6610, 6614, 6626, 6651, 6662, 6671,
6675, 6711, 6724, 6738, 6752, 6754, 6755, 6757, 6762, 6772, 6776, 6788, 6796, 6797, 6802, 6816,
6833, 6845, 6851, 6870, 6871, 6905, 6921, 6942, 6945, 6948, 6955, 6962, 6991, 6992, 7074, 7079,
7093, 7094, 7104, 7111, 7131, 7137, 7160, 7172, 7192],
4108: [4111, 4157, 4355, 4539, 4573, 4952, 5078, 5130, 5314, 5392, 5466, 5468, 5655, 5714, 5754, 6496,
6905, 6919, 6942, 7055, 7192],
4591: [4608, 4690, 4850, 5098, 5130, 5209, 5287, 5314, 5498, 5736, 5754, 5954, 5964, 6657, 6898, 6919,
7080, 7111, 7113, 7185, 7192], 4592: [5468, 5961], 497: [1153, 5754],
501: [612, 730, 1558, 1579, 1701, 1901, 1930, 2302, 2362, 2373, 2630, 2659, 2677, 2789, 3313, 3453,
3609, 4016, 4300, 4553, 4881, 4918, 5078, 5756, 5779, 6171, 6383, 6488, 7101],
505: [511, 517, 519, 520, 523, 644, 650, 655, 682, 698, 700, 720, 737, 810, 822, 826, 828, 869, 881,
903, 910, 932, 958, 972, 991, 996, 1095, 1101, 1105, 1137, 1192, 1195, 1230, 1239, 1243, 1248,
1253, 1255, 1305, 1309, 1310, 1339, 1464, 1481, 1505, 1550, 1571, 1595, 1634, 1681, 1701, 1719,
1774, 1799, 1839, 1852, 1856, 1894, 1919, 2036, 2044, 2141, 2155, 2158, 2181, 2207, 2238, 2280,
2319, 2339, 2350, 2371, 2398, 2451, 2457, 2459, 2473, 2500, 2520, 2526, 2544, 2609, 2623, 2657,
2689, 2746, 2747, 2783, 2789, 2813, 2847, 2858, 2871, 2942, 2998, 3015, 3029, 3036, 3062, 3066,
3087, 3110, 3112, 3137, 3157, 3168, 3183, 3200, 3264, 3317, 3354, 3406, 3411, 3450, 3478, 3488,
3495, 3529, 3550, 3551, 3618, 3621, 3628, 3640, 3679, 3724, 3777, 3834, 3846, 3852, 3879, 3902,
3904, 3909, 3912, 3928, 3929, 3951, 3952, 3982, 4006, 4053, 4093, 4153, 4158, 4168, 4176, 4182,
4184, 4195, 4205, 4218, 4288, 4407, 4465, 4559, 4598, 4608, 4616, 4657, 4673, 4690, 4708, 4728,
4796, 4799, 4843, 4859, 4882, 4914, 4918, 4932, 4936, 4951, 4957, 4992, 5016, 5031, 5063, 5078,
5099, 5130, 5139, 5143, 5171, 5179, 5188, 5209, 5261, 5280, 5311, 5313, 5362, 5387, 5403, 5456,
5468, 5489, 5495, 5498, 5504, 5584, 5604, 5616, 5659, 5698, 5723, 5741, 5743, 5754, 5762, 5770,
5857, 5882, 5912, 5954, 5961, 5964, 5966, 6017, 6020, 6025, 6038, 6058, 6063, 6071, 6118, 6126,
6172, 6197, 6229, 6236, 6257, 6261, 6273, 6286, 6317, 6346, 6348, 6360, 6405, 6406, 6452, 6481,
6505, 6541, 6589, 6648, 6657, 6752, 6757, 6788, 6808, 6824, 6833, 6905, 6919, 6921, 6936, 6942,
6962, 6987, 6995, 7025, 7083, 7089, 7111, 7113, 7137, 7142, 7172, 7192, 7198],
4604: [4608, 4789, 4869, 4909, 4997, 5095, 5111, 5260, 5282, 5311, 5347, 5659, 5754, 5756, 5792, 5961,
5964, 5982, 6044, 6236, 6360, 6363, 6410, 6490, 6557, 6657, 6773, 6788, 6802, 6845, 6935, 7093,
7113, 7192], 4605: [5468, 6360, 6905, 7003, 7192],
510: [554, 582, 638, 806, 844, 850, 865, 890, 1006, 1022, 1025, 1084, 1187, 1192, 1201, 1219, 1260,
1328, 1534, 1602, 1690, 1799, 1855, 1907, 1947, 1948, 2251, 2273, 2319, 2350, 2351, 2408, 2426,
2440, 2500, 2602, 2659, 2743, 2747, 2772, 2808, 2860, 2900, 2940, 2958, 3058, 3131, 3313, 3384,
3424, 3433, 3695, 3752, 3842, 3851, 3928, 3989, 4097, 4111, 4117, 4133, 4165, 4182, 4195, 4203,
4218, 4355, 4364, 4789, 4943, 5010, 5023, 5188, 5282, 5324, 5432, 5468, 5498, 5521, 5754, 5801,
5831, 5835, 5857, 5892, 5904, 5944, 6031, 6034, 6139, 6143, 6172, 6252, 6269, 6274, 6292, 6323,
6325, 6360, 6383, 6452, 6490, 6562, 6654, 6657, 6684, 6757, 6767, 6791, 6807, 6811, 6832, 6841,
6857, 6905, 6935, 7082, 7088, 7090, 7154, 7179, 7188, 7191], 4864: [6942],
4613: [4972, 5453, 6552, 6775, 6886],
5200: [5224, 5232, 5261, 5282, 5311, 5314, 5329, 5347, 5371, 5421, 5438, 5475, 5485, 5488, 5489, 5493,
5498, 5525, 5592, 5609, 5633, 5659, 5678, 5714, 5727, 5754, 5770, 5773, 5775, 5792, 5826, 5855,
5897, 5904, 5961, 6017, 6101, 6124, 6127, 6139, 6143, 6171, 6194, 6222, 6236, 6325, 6346, 6358,
6360, 6363, 6412, 6448, 6490, 6491, 6557, 6562, 6614, 6675, 6743, 6755, 6776, 6796, 6853, 6876,
6905, 6935, 6942, 6948, 7003, 7086, 7093, 7137, 7160, 7171, 7172], 521: [5078],
522: [1339, 2141, 2274, 2847, 4355, 5468, 7049],
4109: [4111, 4119, 4124, 4157, 4161, 4167, 4171, 4189, 4195, 4197, 4200, 4213, 4218, 4222, 4225, 4280,
4288, 4298, 4313, 4318, 4326, 4355, 4364, 4369, 4370, 4383, 4387, 4451, 4453, 4494, 4516, 4560,
4573, 4576, 4582, 4608, 4657, 4673, 4676, 4687, 4690, 4704, 4708, 4771, 4779, 4789, 4804, 4857,
4859, 4862, 4882, 4894, 4909, 4910, 4922, 4927, 4932, 4936, 4943, 4951, 4952, 4980, 4984, 5016,
5032, 5041, 5056, 5063, 5098, 5127, 5130, 5133, 5171, 5190, 5197, 5209, 5224, 5232, 5263, 5279,
5280, 5282, 5311, 5314, 5329, 5341, 5347, 5371, 5405, 5406, 5409, 5454, 5456, 5466, 5475, 5483,
5488, 5493, 5495, 5498, 5499, 5504, 5525, 5536, 5538, 5554, 5582, 5584, 5592, 5640, 5653, 5655,
5656, 5659, 5667, 5678, 5714, 5736, 5741, 5743, 5754, 5770, 5773, 5792, 5826, 5839, 5863, 5882,
5897, 5904, 5908, 5930, 5954, 5961, 5964, 5966, 5979, 5982, 6006, 6017, 6025, 6030, 6036, 6038,
6040, 6108, 6120, 6124, 6127, 6129, 6136, 6137, 6139, 6149, 6158, 6172, 6192, 6197, 6204, 6229,
6236, 6247, 6268, 6269, 6310, 6317, 6323, 6327, 6339, 6346, 6360, 6363, 6407, 6427, 6429, 6443,
6448, 6455, 6468, 6476, 6490, 6493, 6496, 6511, 6557, 6560, 6562, 6578, 6590, 6610, 6654, 6657,
6664, 6666, 6667, 6675, 6676, 6711, 6738, 6752, 6754, 6762, 6771, 6796, 6807, 6824, 6831, 6832,
6841, 6845, 6848, 6852, 6853, 6864, 6905, 6917, 6919, 6935, 6942, 6945, 6948, 6963, 6972, 6987,
6990, 7000, 7003, 7035, 7044, 7049, 7067, 7080, 7088, 7089, 7093, 7094, 7097, 7099, 7104, 7105,
7111, 7112, 7113, 7137, 7141, 7154, 7160, 7172, 7185, 7192, 7196, 7198, 7199], 527: [2630],
535: [6886], 4634: [5537, 5727, 5901, 6360],
4186: [4218, 4576, 4608, 4980, 5488, 5754, 5756, 6675, 6942, 7093, 7137, 7172, 7185],
4638: [4969, 7142], 543: [1572, 1795, 2899, 2900, 4283, 7192], 4643: [6600], 549: [5754, 6905],
4649: [5179, 5536, 5569, 5770, 6037, 6470], 4653: [4952, 5078, 5190, 5468, 5525, 6172, 6360, 7003],
562: [1701, 2302],
4662: [4932, 5062, 5130, 5171, 5246, 5314, 5438, 5466, 5475, 5493, 5659, 5754, 5961, 6236, 6443, 6490,
6754, 6935, 6942, 7093], 567: [2500, 2799, 3640, 5754], 570: [5332, 7191],