Sharedwww / tables / weierstrass_point_bound.mOpen in CoCalc
Author: William A. Stein
1
weierstrass_point_bound :=
2
[<1, 0>,
3
<2, 0>,
4
<3, 0>,
5
<4, 0>,
6
<5, 0>,
7
<6, 0>,
8
<7, 0>,
9
<8, 0>,
10
<9, 0>,
11
<10, 0>,
12
<11, 0>,
13
<12, 0>,
14
<13, 0>,
15
<14, 0>,
16
<15, 0>,
17
<16, 0>,
18
<17, 0>,
19
<18, 0>,
20
<19, 0>,
21
<20, 0>,
22
<21, 0>,
23
<22, 0>,
24
<23, 0>,
25
<24, 0>,
26
<25, 0>,
27
<26, 0>,
28
<27, 0>,
29
<28, 0>,
30
<29, 0>,
31
<30, 0>,
32
<31, 0>,
33
<32, 0>,
34
<33, 0>,
35
<34, 0>,
36
<35, 0>,
37
<36, 0>,
38
<37, 0>,
39
<38, 0>,
40
<39, 0>,
41
<40, 0>,
42
<41, 0>,
43
<42, 0>,
44
<43, 0>,
45
<44, 0>,
46
<45, 0>,
47
<46, 0>,
48
<47, 0>,
49
<48, 0>,
50
<49, 0>,
51
<50, 0>,
52
<51, 0>,
53
<52, 0>,
54
<53, 0>,
55
<54, 1>,
56
<55, 0>,
57
<56, 0>,
58
<57, 0>,
59
<58, 0>,
60
<59, 0>,
61
<60, 0>,
62
<61, 0>,
63
<62, 0>,
64
<63, 0>,
65
<64, 1>,
66
<65, 0>,
67
<66, 0>,
68
<67, 0>,
69
<68, 0>,
70
<69, 0>,
71
<70, 0>,
72
<71, 0>,
73
<72, 1>,
74
<73, 0>,
75
<74, 0>,
76
<75, 0>,
77
<76, 0>,
78
<77, 0>,
79
<78, 0>,
80
<79, 0>,
81
<80, 0>,
82
<81, 0>,
83
<82, 0>,
84
<83, 0>,
85
<84, 0>,
86
<85, 0>,
87
<86, 0>,
88
<87, 0>,
89
<88, 0>,
90
<89, 0>,
91
<90, 0>,
92
<91, 0>,
93
<92, 0>,
94
<93, 0>,
95
<94, 0>,
96
<95, 0>,
97
<96, 1>,
98
<97, 0>,
99
<98, 1>,
100
<99, 0>,
101
<100, 1>,
102
<101, 0>,
103
<102, 0>,
104
<103, 0>,
105
<104, 0>,
106
<105, 0>,
107
<106, 0>,
108
<107, 0>,
109
<108, 2>,
110
<109, 0>,
111
<110, 0>,
112
<111, 0>,
113
<112, 0>,
114
<113, 0>,
115
<114, 0>,
116
<115, 0>,
117
<116, 0>,
118
<117, 0>,
119
<118, 0>,
120
<119, 0>,
121
<120, 1>,
122
<121, 1>,
123
<122, 0>,
124
<123, 0>,
125
<124, 0>,
126
<125, 1>,
127
<126, 0>,
128
<127, 0>,
129
<128, 2>,
130
<129, 0>,
131
<130, 0>,
132
<131, 0>,
133
<132, 0>,
134
<133, 0>,
135
<134, 0>,
136
<135, 1>,
137
<136, 0>,
138
<137, 0>,
139
<138, 0>,
140
<139, 0>,
141
<140, 0>,
142
<141, 0>,
143
<142, 0>,
144
<143, 0>,
145
<144, 2>,
146
<145, 0>,
147
<146, 0>,
148
<147, 1>,
149
<148, 0>,
150
<149, 0>,
151
<150, 1>,
152
<151, 0>,
153
<152, 0>,
154
<153, 0>,
155
<154, 0>,
156
<155, 0>,
157
<156, 0>,
158
<157, 0>,
159
<158, 0>,
160
<159, 0>,
161
<160, 1>,
162
<161, 0>,
163
<162, 1>,
164
<163, 0>,
165
<164, 0>,
166
<165, 0>,
167
<166, 0>,
168
<167, 0>,
169
<168, 1>,
170
<169, 1>,
171
<170, 0>,
172
<171, 0>,
173
<172, 0>,
174
<173, 0>,
175
<174, 0>,
176
<175, 0>,
177
<176, 0>,
178
<177, 0>,
179
<178, 0>,
180
<179, 0>,
181
<180, 1>,
182
<181, 0>,
183
<182, 0>,
184
<183, 0>,
185
<184, 0>,
186
<185, 0>,
187
<186, 0>,
188
<187, 0>,
189
<188, 0>,
190
<189, 1>,
191
<190, 0>,
192
<191, 0>,
193
<192, 3>,
194
<193, 0>,
195
<194, 0>,
196
<195, 0>,
197
<196, 1>,
198
<197, 0>,
199
<198, 0>,
200
<199, 0>,
201
<200, 2>,
202
<201, 0>,
203
<202, 0>,
204
<203, 0>,
205
<204, 0>,
206
<205, 0>,
207
<206, 0>,
208
<207, 0>,
209
<208, 0>,
210
<209, 0>,
211
<210, 0>,
212
<211, 0>,
213
<212, 0>,
214
<213, 0>,
215
<214, 0>,
216
<215, 0>,
217
<216, 4>,
218
<217, 0>,
219
<218, 0>,
220
<219, 0>,
221
<220, 0>,
222
<221, 0>,
223
<222, 0>,
224
<223, 0>,
225
<224, 1>,
226
<225, 1>,
227
<226, 0>,
228
<227, 0>,
229
<228, 0>,
230
<229, 0>,
231
<230, 0>,
232
<231, 0>,
233
<232, 0>,
234
<233, 0>,
235
<234, 0>,
236
<235, 0>,
237
<236, 0>,
238
<237, 0>,
239
<238, 0>,
240
<239, 0>,
241
<240, 3>,
242
<241, 0>,
243
<242, 1>,
244
<243, 2>,
245
<244, 0>,
246
<245, 0>,
247
<246, 0>,
248
<247, 0>,
249
<248, 0>,
250
<249, 0>,
251
<250, 4>,
252
<251, 0>,
253
<252, 1>,
254
<253, 0>,
255
<254, 0>,
256
<255, 0>,
257
<256, 3>,
258
<257, 0>,
259
<258, 0>,
260
<259, 0>,
261
<260, 1>,
262
<261, 0>,
263
<262, 0>,
264
<263, 0>,
265
<264, 1>,
266
<265, 0>,
267
<266, 0>,
268
<267, 0>,
269
<268, 0>,
270
<269, 0>,
271
<270, 4>,
272
<271, 0>,
273
<272, 0>,
274
<273, 0>,
275
<274, 0>,
276
<275, 0>,
277
<276, 0>,
278
<277, 0>,
279
<278, 0>,
280
<279, 0>,
281
<280, 1>,
282
<281, 0>,
283
<282, 0>,
284
<283, 0>,
285
<284, 0>,
286
<285, 0>,
287
<286, 0>,
288
<287, 0>,
289
<288, 4>,
290
<289, 1>,
291
<290, 0>,
292
<291, 0>,
293
<292, 0>,
294
<293, 0>,
295
<294, 1>,
296
<295, 0>,
297
<296, 0>,
298
<297, 1>,
299
<298, 0>,
300
<299, 0>,
301
<300, 3>,
302
<301, 0>,
303
<302, 0>,
304
<303, 0>,
305
<304, 0>,
306
<305, 0>,
307
<306, 0>,
308
<307, 0>,
309
<308, 0>,
310
<309, 0>,
311
<310, 0>,
312
<311, 0>,
313
<312, 1>,
314
<313, 0>,
315
<314, 0>,
316
<315, 0>,
317
<316, 0>,
318
<317, 0>,
319
<318, 0>,
320
<319, 0>,
321
<320, 3>,
322
<321, 0>,
323
<322, 0>,
324
<323, 0>,
325
<324, 5>,
326
<325, 0>,
327
<326, 0>,
328
<327, 0>,
329
<328, 0>,
330
<329, 0>,
331
<330, 0>,
332
<331, 0>,
333
<332, 0>,
334
<333, 0>,
335
<334, 0>,
336
<335, 0>,
337
<336, 3>,
338
<337, 0>,
339
<338, 1>,
340
<339, 0>,
341
<340, 1>,
342
<341, 0>,
343
<342, 0>,
344
<343, 4>,
345
<344, 0>,
346
<345, 0>,
347
<346, 0>,
348
<347, 0>,
349
<348, 0>,
350
<349, 0>,
351
<350, 0>,
352
<351, 1>,
353
<352, 1>,
354
<353, 0>,
355
<354, 0>,
356
<355, 0>,
357
<356, 0>,
358
<357, 0>,
359
<358, 0>,
360
<359, 0>,
361
<360, 5>,
362
<361, 2>,
363
<362, 0>,
364
<363, 1>,
365
<364, 0>,
366
<365, 0>,
367
<366, 0>,
368
<367, 0>,
369
<368, 0>,
370
<369, 0>,
371
<370, 0>,
372
<371, 0>,
373
<372, 0>,
374
<373, 0>,
375
<374, 0>,
376
<375, 3>,
377
<376, 0>,
378
<377, 0>,
379
<378, 4>,
380
<379, 0>,
381
<380, 0>,
382
<381, 0>,
383
<382, 0>,
384
<383, 0>,
385
<384, 4>,
386
<385, 0>,
387
<386, 0>,
388
<387, 0>,
389
<388, 0>,
390
<389, 0>,
391
<390, 0>,
392
<391, 0>,
393
<392, 4>,
394
<393, 0>,
395
<394, 0>,
396
<395, 0>,
397
<396, 1>,
398
<397, 0>,
399
<398, 0>,
400
<399, 0>,
401
<400, 4>,
402
<401, 0>,
403
<402, 0>,
404
<403, 0>,
405
<404, 0>,
406
<405, 4>,
407
<406, 0>,
408
<407, 0>,
409
<408, 1>,
410
<409, 0>,
411
<410, 0>,
412
<411, 0>,
413
<412, 0>,
414
<413, 0>,
415
<414, 0>,
416
<415, 0>,
417
<416, 1>,
418
<417, 0>,
419
<418, 0>,
420
<419, 0>,
421
<420, 1>,
422
<421, 0>,
423
<422, 0>,
424
<423, 0>,
425
<424, 0>,
426
<425, 0>,
427
<426, 0>,
428
<427, 0>,
429
<428, 0>,
430
<429, 0>,
431
<430, 0>,
432
<431, 0>,
433
<432, 8>,
434
<433, 0>,
435
<434, 0>,
436
<435, 0>,
437
<436, 0>,
438
<437, 0>,
439
<438, 0>,
440
<439, 0>,
441
<440, 1>,
442
<441, 4>,
443
<442, 0>,
444
<443, 0>,
445
<444, 0>,
446
<445, 0>,
447
<446, 0>,
448
<447, 0>,
449
<448, 3>,
450
<449, 0>,
451
<450, 5>,
452
<451, 0>,
453
<452, 0>,
454
<453, 0>,
455
<454, 0>,
456
<455, 0>,
457
<456, 1>,
458
<457, 0>,
459
<458, 0>,
460
<459, 1>,
461
<460, 0>,
462
<461, 0>,
463
<462, 0>,
464
<463, 0>,
465
<464, 0>,
466
<465, 0>,
467
<466, 0>,
468
<467, 0>,
469
<468, 1>,
470
<469, 0>,
471
<470, 0>,
472
<471, 0>,
473
<472, 0>,
474
<473, 0>,
475
<474, 0>,
476
<475, 0>,
477
<476, 0>,
478
<477, 0>,
479
<478, 0>,
480
<479, 0>,
481
<480, 6>,
482
<481, 0>,
483
<482, 0>,
484
<483, 0>,
485
<484, 4>,
486
<485, 0>,
487
<486, 5>,
488
<487, 0>,
489
<488, 0>,
490
<489, 0>,
491
<490, 1>,
492
<491, 0>,
493
<492, 0>,
494
<493, 0>,
495
<494, 0>,
496
<495, 0>,
497
<496, 0>,
498
<497, 0>,
499
<498, 0>,
500
<499, 0>,
501
<500, 7>,
502
<501, 0>,
503
<502, 0>,
504
<503, 0>,
505
<504, 5>,
506
<505, 0>,
507
<506, 0>,
508
<507, 2>,
509
<508, 0>,
510
<509, 0>,
511
<510, 0>,
512
<511, 0>,
513
<512, 8>,
514
<513, 1>,
515
<514, 0>,
516
<515, 0>,
517
<516, 0>,
518
<517, 0>,
519
<518, 0>,
520
<519, 0>,
521
<520, 2>,
522
<521, 0>,
523
<522, 0>,
524
<523, 0>,
525
<524, 0>,
526
<525, 1>,
527
<526, 0>,
528
<527, 0>,
529
<528, 3>,
530
<529, 3>,
531
<530, 0>,
532
<531, 0>,
533
<532, 0>,
534
<533, 0>,
535
<534, 0>,
536
<535, 0>,
537
<536, 0>,
538
<537, 0>,
539
<538, 0>,
540
<539, 1>,
541
<540, 7>,
542
<541, 0>,
543
<542, 0>,
544
<543, 0>,
545
<544, 1>,
546
<545, 0>,
547
<546, 0>,
548
<547, 0>,
549
<548, 0>,
550
<549, 0>,
551
<550, 0>,
552
<551, 0>,
553
<552, 1>,
554
<553, 0>,
555
<554, 0>,
556
<555, 0>,
557
<556, 0>,
558
<557, 0>,
559
<558, 0>,
560
<559, 0>,
561
<560, 2>,
562
<561, 0>,
563
<562, 0>,
564
<563, 0>,
565
<564, 0>,
566
<565, 0>,
567
<566, 0>,
568
<567, 4>,
569
<568, 0>,
570
<569, 0>,
571
<570, 0>,
572
<571, 0>,
573
<572, 0>,
574
<573, 0>,
575
<574, 0>,
576
<575, 0>,
577
<576, 10>,
578
<577, 0>,
579
<578, 1>,
580
<579, 0>,
581
<580, 1>,
582
<581, 0>,
583
<582, 0>,
584
<583, 0>,
585
<584, 0>,
586
<585, 0>,
587
<586, 0>,
588
<587, 0>,
589
<588, 5>,
590
<589, 0>,
591
<590, 0>,
592
<591, 0>,
593
<592, 0>,
594
<593, 0>,
595
<594, 4>,
596
<595, 0>,
597
<596, 0>,
598
<597, 0>,
599
<598, 0>,
600
<599, 0>,
601
<600, 8>,
602
<601, 0>,
603
<602, 0>,
604
<603, 0>,
605
<604, 0>,
606
<605, 1>,
607
<606, 0>,
608
<607, 0>,
609
<608, 1>,
610
<609, 0>,
611
<610, 0>,
612
<611, 0>,
613
<612, 1>,
614
<613, 0>,
615
<614, 0>,
616
<615, 0>,
617
<616, 1>,
618
<617, 0>,
619
<618, 0>,
620
<619, 0>,
621
<620, 0>,
622
<621, 1>,
623
<622, 0>,
624
<623, 0>,
625
<624, 3>,
626
<625, 1>,
627
<626, 0>,
628
<627, 0>,
629
<628, 0>,
630
<629, 0>,
631
<630, 2>,
632
<631, 0>,
633
<632, 0>,
634
<633, 0>,
635
<634, 0>,
636
<635, 0>,
637
<636, 0>,
638
<637, 1>,
639
<638, 0>,
640
<639, 0>,
641
<640, 7>,
642
<641, 0>,
643
<642, 0>,
644
<643, 0>,
645
<644, 0>,
646
<645, 0>,
647
<646, 0>,
648
<647, 0>,
649
<648, 9>,
650
<649, 0>,
651
<650, 1>,
652
<651, 0>,
653
<652, 0>,
654
<653, 0>,
655
<654, 0>,
656
<655, 0>,
657
<656, 0>,
658
<657, 0>,
659
<658, 0>,
660
<659, 0>,
661
<660, 1>,
662
<661, 0>,
663
<662, 0>,
664
<663, 0>,
665
<664, 0>,
666
<665, 0>,
667
<666, 0>,
668
<667, 0>,
669
<668, 0>,
670
<669, 0>,
671
<670, 0>,
672
<671, 0>,
673
<672, 6>,
674
<673, 0>,
675
<674, 0>,
676
<675, 8>,
677
<676, 4>,
678
<677, 0>,
679
<678, 0>,
680
<679, 0>,
681
<680, 2>,
682
<681, 0>,
683
<682, 0>,
684
<683, 0>,
685
<684, 1>,
686
<685, 0>,
687
<686, 9>,
688
<687, 0>,
689
<688, 0>,
690
<689, 0>,
691
<690, 0>,
692
<691, 0>,
693
<692, 0>,
694
<693, 0>,
695
<694, 0>,
696
<695, 0>,
697
<696, 1>,
698
<697, 0>,
699
<698, 0>,
700
<699, 0>,
701
<700, 2>,
702
<701, 0>,
703
<702, 4>,
704
<703, 0>,
705
<704, 3>,
706
<705, 0>,
707
<706, 0>,
708
<707, 0>,
709
<708, 0>,
710
<709, 0>,
711
<710, 0>,
712
<711, 0>,
713
<712, 0>,
714
<713, 0>,
715
<714, 0>,
716
<715, 0>,
717
<716, 0>,
718
<717, 0>,
719
<718, 0>,
720
<719, 0>,
721
<720, 8>,
722
<721, 0>,
723
<722, 2>,
724
<723, 0>,
725
<724, 0>,
726
<725, 0>,
727
<726, 2>,
728
<727, 0>,
729
<728, 1>,
730
<729, 5>,
731
<730, 0>,
732
<731, 0>,
733
<732, 0>,
734
<733, 0>,
735
<734, 0>,
736
<735, 3>,
737
<736, 1>,
738
<737, 0>,
739
<738, 0>,
740
<739, 0>,
741
<740, 1>,
742
<741, 0>,
743
<742, 0>,
744
<743, 0>,
745
<744, 1>,
746
<745, 0>,
747
<746, 0>,
748
<747, 0>,
749
<748, 0>,
750
<749, 0>,
751
<750, 8>,
752
<751, 0>,
753
<752, 0>,
754
<753, 0>,
755
<754, 0>,
756
<755, 0>,
757
<756, 8>,
758
<757, 0>,
759
<758, 0>,
760
<759, 0>,
761
<760, 1>,
762
<761, 0>,
763
<762, 0>,
764
<763, 0>,
765
<764, 0>,
766
<765, 0>,
767
<766, 0>,
768
<767, 0>,
769
<768, 10>,
770
<769, 0>,
771
<770, 0>,
772
<771, 0>,
773
<772, 0>,
774
<773, 0>,
775
<774, 0>,
776
<775, 0>,
777
<776, 0>,
778
<777, 0>,
779
<778, 0>,
780
<779, 0>,
781
<780, 1>,
782
<781, 0>,
783
<782, 0>,
784
<783, 1>,
785
<784, 7>,
786
<785, 0>,
787
<786, 0>,
788
<787, 0>,
789
<788, 0>,
790
<789, 0>,
791
<790, 0>,
792
<791, 0>,
793
<792, 5>,
794
<793, 0>,
795
<794, 0>,
796
<795, 0>,
797
<796, 0>,
798
<797, 0>,
799
<798, 0>,
800
<799, 0>,
801
<800, 10>,
802
<801, 0>,
803
<802, 0>,
804
<803, 0>,
805
<804, 0>,
806
<805, 0>,
807
<806, 0>,
808
<807, 0>,
809
<808, 0>,
810
<809, 0>,
811
<810, 7>,
812
<811, 0>,
813
<812, 0>,
814
<813, 0>,
815
<814, 0>,
816
<815, 0>,
817
<816, 3>,
818
<817, 0>,
819
<818, 0>,
820
<819, 2>,
821
<820, 1>,
822
<821, 0>,
823
<822, 0>,
824
<823, 0>,
825
<824, 0>,
826
<825, 0>,
827
<826, 0>,
828
<827, 0>,
829
<828, 1>,
830
<829, 0>,
831
<830, 0>,
832
<831, 0>,
833
<832, 3>,
834
<833, 0>,
835
<834, 0>,
836
<835, 0>,
837
<836, 0>,
838
<837, 1>,
839
<838, 0>,
840
<839, 0>,
841
<840, 3>,
842
<841, 3>,
843
<842, 0>,
844
<843, 0>,
845
<844, 0>,
846
<845, 1>,
847
<846, 0>,
848
<847, 0>,
849
<848, 0>,
850
<849, 0>,
851
<850, 1>,
852
<851, 0>,
853
<852, 0>,
854
<853, 0>,
855
<854, 0>,
856
<855, 0>,
857
<856, 0>,
858
<857, 0>,
859
<858, 0>,
860
<859, 0>,
861
<860, 0>,
862
<861, 0>,
863
<862, 0>,
864
<863, 0>,
865
<864, 16>,
866
<865, 0>,
867
<866, 0>,
868
<867, 3>,
869
<868, 0>,
870
<869, 0>,
871
<870, 0>,
872
<871, 0>,
873
<872, 0>,
874
<873, 0>,
875
<874, 0>,
876
<875, 3>,
877
<876, 0>,
878
<877, 0>,
879
<878, 0>,
880
<879, 0>,
881
<880, 2>,
882
<881, 0>,
883
<882, 8>,
884
<883, 0>,
885
<884, 1>,
886
<885, 0>,
887
<886, 0>,
888
<887, 0>,
889
<888, 1>,
890
<889, 0>,
891
<890, 0>,
892
<891, 4>,
893
<892, 0>,
894
<893, 0>,
895
<894, 0>,
896
<895, 0>,
897
<896, 6>,
898
<897, 0>,
899
<898, 0>,
900
<899, 0>,
901
<900, 11>,
902
<901, 0>,
903
<902, 0>,
904
<903, 0>,
905
<904, 0>,
906
<905, 0>,
907
<906, 0>,
908
<907, 0>,
909
<908, 0>,
910
<909, 0>,
911
<910, 0>,
912
<911, 0>,
913
<912, 3>,
914
<913, 0>,
915
<914, 0>,
916
<915, 0>,
917
<916, 0>,
918
<917, 0>,
919
<918, 4>,
920
<919, 0>,
921
<920, 1>,
922
<921, 0>,
923
<922, 0>,
924
<923, 0>,
925
<924, 1>,
926
<925, 0>,
927
<926, 0>,
928
<927, 0>,
929
<928, 1>,
930
<929, 0>,
931
<930, 0>,
932
<931, 1>,
933
<932, 0>,
934
<933, 0>,
935
<934, 0>,
936
<935, 0>,
937
<936, 5>,
938
<937, 0>,
939
<938, 0>,
940
<939, 0>,
941
<940, 0>,
942
<941, 0>,
943
<942, 0>,
944
<943, 0>,
945
<944, 0>,
946
<945, 3>,
947
<946, 0>,
948
<947, 0>,
949
<948, 0>,
950
<949, 0>,
951
<950, 0>,
952
<951, 0>,
953
<952, 1>,
954
<953, 0>,
955
<954, 0>,
956
<955, 0>,
957
<956, 0>,
958
<957, 0>,
959
<958, 0>,
960
<959, 0>,
961
<960, 8>,
962
<961, 3>,
963
<962, 0>,
964
<963, 0>,
965
<964, 0>,
966
<965, 0>,
967
<966, 0>,
968
<967, 0>,
969
<968, 7>,
970
<969, 0>,
971
<970, 0>,
972
<971, 0>,
973
<972, 14>,
974
<973, 0>,
975
<974, 0>,
976
<975, 0>,
977
<976, 0>,
978
<977, 0>,
979
<978, 0>,
980
<979, 0>,
981
<980, 4>,
982
<981, 0>,
983
<982, 0>,
984
<983, 0>,
985
<984, 1>,
986
<985, 0>,
987
<986, 0>,
988
<987, 0>,
989
<988, 0>,
990
<989, 0>,
991
<990, 2>,
992
<991, 0>,
993
<992, 1>,
994
<993, 0>,
995
<994, 0>,
996
<995, 0>,
997
<996, 0>,
998
<997, 0>,
999
<998, 0>,
1000
<999, 1>,
1001
<1000, 9>,
1002
<1001, 0>,
1003
<1002, 0>,
1004
<1003, 0>,
1005
<1004, 0>,
1006
<1005, 0>,
1007
<1006, 0>,
1008
<1007, 0>,
1009
<1008, 9>,
1010
<1009, 0>,
1011
<1010, 0>,
1012
<1011, 0>,
1013
<1012, 0>,
1014
<1013, 0>,
1015
<1014, 2>,
1016
<1015, 0>,
1017
<1016, 0>,
1018
<1017, 0>,
1019
<1018, 0>,
1020
<1019, 0>,
1021
<1020, 1>,
1022
<1021, 0>,
1023
<1022, 0>,
1024
<1023, 0>,
1025
<1024, 11>,
1026
<1025, 0>,
1027
<1026, 4>,
1028
<1027, 0>,
1029
<1028, 0>,
1030
<1029, 9>,
1031
<1030, 0>,
1032
<1031, 0>,
1033
<1032, 1>,
1034
<1033, 0>,
1035
<1034, 0>,
1036
<1035, 0>,
1037
<1036, 0>,
1038
<1037, 0>,
1039
<1038, 0>,
1040
<1039, 0>,
1041
<1040, 2>,
1042
<1041, 0>,
1043
<1042, 0>,
1044
<1043, 0>,
1045
<1044, 1>,
1046
<1045, 0>,
1047
<1046, 0>,
1048
<1047, 0>,
1049
<1048, 0>,
1050
<1049, 0>,
1051
<1050, 2>,
1052
<1051, 0>,
1053
<1052, 0>,
1054
<1053, 4>,
1055
<1054, 0>,
1056
<1055, 0>,
1057
<1056, 7>,
1058
<1057, 0>,
1059
<1058, 3>,
1060
<1059, 0>,
1061
<1060, 1>,
1062
<1061, 0>,
1063
<1062, 0>,
1064
<1063, 0>,
1065
<1064, 1>,
1066
<1065, 0>,
1067
<1066, 0>,
1068
<1067, 0>,
1069
<1068, 0>,
1070
<1069, 0>,
1071
<1070, 0>,
1072
<1071, 0>,
1073
<1072, 0>,
1074
<1073, 0>,
1075
<1074, 0>,
1076
<1075, 0>,
1077
<1076, 0>,
1078
<1077, 0>,
1079
<1078, 2>,
1080
<1079, 0>,
1081
<1080, 11>,
1082
<1081, 0>,
1083
<1082, 0>,
1084
<1083, 2>,
1085
<1084, 0>,
1086
<1085, 0>,
1087
<1086, 0>,
1088
<1087, 0>,
1089
<1088, 3>,
1090
<1089, 4>,
1091
<1090, 0>,
1092
<1091, 0>,
1093
<1092, 1>,
1094
<1093, 0>,
1095
<1094, 0>,
1096
<1095, 0>,
1097
<1096, 0>,
1098
<1097, 0>,
1099
<1098, 0>,
1100
<1099, 0>,
1101
<1100, 2>,
1102
<1101, 0>,
1103
<1102, 0>,
1104
<1103, 0>,
1105
<1104, 3>,
1106
<1105, 0>,
1107
<1106, 0>,
1108
<1107, 1>,
1109
<1108, 0>,
1110
<1109, 0>,
1111
<1110, 0>,
1112
<1111, 0>,
1113
<1112, 0>,
1114
<1113, 0>,
1115
<1114, 0>,
1116
<1115, 0>,
1117
<1116, 1>,
1118
<1117, 0>,
1119
<1118, 0>,
1120
<1119, 0>,
1121
<1120, 3>,
1122
<1121, 0>,
1123
<1122, 0>,
1124
<1123, 0>,
1125
<1124, 0>,
1126
<1125, 10>,
1127
<1126, 0>,
1128
<1127, 1>,
1129
<1128, 1>,
1130
<1129, 0>,
1131
<1130, 0>,
1132
<1131, 0>,
1133
<1132, 0>,
1134
<1133, 0>,
1135
<1134, 9>,
1136
<1135, 0>,
1137
<1136, 0>,
1138
<1137, 0>,
1139
<1138, 0>,
1140
<1139, 0>,
1141
<1140, 1>,
1142
<1141, 0>,
1143
<1142, 0>,
1144
<1143, 0>,
1145
<1144, 1>,
1146
<1145, 0>,
1147
<1146, 0>,
1148
<1147, 0>,
1149
<1148, 0>,
1150
<1149, 0>,
1151
<1150, 0>,
1152
<1151, 0>,
1153
<1152, 17>,
1154
<1153, 0>,
1155
<1154, 0>,
1156
<1155, 0>,
1157
<1156, 6>,
1158
<1157, 0>,
1159
<1158, 0>,
1160
<1159, 0>,
1161
<1160, 2>,
1162
<1161, 1>,
1163
<1162, 0>,
1164
<1163, 0>,
1165
<1164, 0>,
1166
<1165, 0>,
1167
<1166, 0>,
1168
<1167, 0>,
1169
<1168, 0>,
1170
<1169, 0>,
1171
<1170, 2>,
1172
<1171, 0>,
1173
<1172, 0>,
1174
<1173, 0>,
1175
<1174, 0>,
1176
<1175, 0>,
1177
<1176, 15>,
1178
<1177, 0>,
1179
<1178, 0>,
1180
<1179, 0>,
1181
<1180, 0>,
1182
<1181, 0>,
1183
<1182, 0>,
1184
<1183, 1>,
1185
<1184, 1>,
1186
<1185, 0>,
1187
<1186, 0>,
1188
<1187, 0>,
1189
<1188, 9>,
1190
<1189, 0>,
1191
<1190, 0>,
1192
<1191, 0>,
1193
<1192, 0>,
1194
<1193, 0>,
1195
<1194, 0>,
1196
<1195, 0>,
1197
<1196, 0>,
1198
<1197, 2>,
1199
<1198, 0>,
1200
<1199, 0>,
1201
<1200, 13>,
1202
<1201, 0>,
1203
<1202, 0>,
1204
<1203, 0>,
1205
<1204, 0>,
1206
<1205, 0>,
1207
<1206, 0>,
1208
<1207, 0>,
1209
<1208, 0>,
1210
<1209, 0>,
1211
<1210, 0>,
1212
<1211, 0>,
1213
<1212, 0>,
1214
<1213, 0>,
1215
<1214, 0>,
1216
<1215, 7>,
1217
<1216, 3>,
1218
<1217, 0>,
1219
<1218, 0>,
1220
<1219, 0>,
1221
<1220, 1>,
1222
<1221, 0>,
1223
<1222, 0>,
1224
<1223, 0>,
1225
<1224, 5>,
1226
<1225, 3>,
1227
<1226, 0>,
1228
<1227, 0>,
1229
<1228, 0>,
1230
<1229, 0>,
1231
<1230, 0>,
1232
<1231, 0>,
1233
<1232, 2>,
1234
<1233, 0>,
1235
<1234, 0>,
1236
<1235, 0>,
1237
<1236, 0>,
1238
<1237, 0>,
1239
<1238, 0>,
1240
<1239, 0>,
1241
<1240, 1>,
1242
<1241, 0>,
1243
<1242, 4>,
1244
<1243, 0>,
1245
<1244, 0>,
1246
<1245, 0>,
1247
<1246, 0>,
1248
<1247, 0>,
1249
<1248, 7>,
1250
<1249, 0>,
1251
<1250, 9>,
1252
<1251, 0>,
1253
<1252, 0>,
1254
<1253, 0>,
1255
<1254, 0>,
1256
<1255, 0>,
1257
<1256, 0>,
1258
<1257, 0>,
1259
<1258, 0>,
1260
<1259, 0>,
1261
<1260, 3>,
1262
<1261, 0>,
1263
<1262, 0>,
1264
<1263, 0>,
1265
<1264, 0>,
1266
<1265, 0>,
1267
<1266, 0>,
1268
<1267, 0>,
1269
<1268, 0>,
1270
<1269, 1>,
1271
<1270, 0>,
1272
<1271, 0>,
1273
<1272, 1>,
1274
<1273, 0>,
1275
<1274, 0>,
1276
<1275, 0>,
1277
<1276, 0>,
1278
<1277, 0>,
1279
<1278, 0>,
1280
<1279, 0>,
1281
<1280, 11>,
1282
<1281, 0>,
1283
<1282, 0>,
1284
<1283, 0>,
1285
<1284, 0>,
1286
<1285, 0>,
1287
<1286, 0>,
1288
<1287, 0>,
1289
<1288, 1>,
1290
<1289, 0>,
1291
<1290, 0>,
1292
<1291, 0>,
1293
<1292, 0>,
1294
<1293, 0>,
1295
<1294, 0>,
1296
<1295, 0>,
1297
<1296, 17>,
1298
<1297, 0>,
1299
<1298, 0>,
1300
<1299, 0>,
1301
<1300, 3>,
1302
<1301, 0>,
1303
<1302, 0>,
1304
<1303, 0>,
1305
<1304, 0>,
1306
<1305, 0>,
1307
<1306, 0>,
1308
<1307, 0>,
1309
<1308, 0>,
1310
<1309, 0>,
1311
<1310, 0>,
1312
<1311, 0>,
1313
<1312, 1>,
1314
<1313, 0>,
1315
<1314, 0>,
1316
<1315, 0>,
1317
<1316, 0>,
1318
<1317, 0>,
1319
<1318, 0>,
1320
<1319, 0>,
1321
<1320, 3>,
1322
<1321, 0>,
1323
<1322, 0>,
1324
<1323, 12>,
1325
<1324, 0>,
1326
<1325, 0>,
1327
<1326, 0>,
1328
<1327, 0>,
1329
<1328, 0>,
1330
<1329, 0>,
1331
<1330, 0>,
1332
<1331, 10>,
1333
<1332, 1>,
1334
<1333, 0>,
1335
<1334, 0>,
1336
<1335, 0>,
1337
<1336, 0>,
1338
<1337, 0>,
1339
<1338, 0>,
1340
<1339, 0>,
1341
<1340, 0>,
1342
<1341, 0>,
1343
<1342, 0>,
1344
<1343, 0>,
1345
<1344, 9>,
1346
<1345, 0>,
1347
<1346, 0>,
1348
<1347, 0>,
1349
<1348, 0>,
1350
<1349, 0>,
1351
<1350, 18>,
1352
<1351, 0>,
1353
<1352, 8>,
1354
<1353, 0>,
1355
<1354, 0>,
1356
<1355, 0>,
1357
<1356, 0>,
1358
<1357, 0>,
1359
<1358, 0>,
1360
<1359, 0>,
1361
<1360, 2>,
1362
<1361, 0>,
1363
<1362, 0>,
1364
<1363, 0>,
1365
<1364, 0>,
1366
<1365, 0>,
1367
<1366, 0>,
1368
<1367, 0>,
1369
<1368, 5>,
1370
<1369, 3>,
1371
<1370, 0>,
1372
<1371, 0>,
1373
<1372, 16>,
1374
<1373, 0>,
1375
<1374, 0>,
1376
<1375, 3>,
1377
<1376, 1>,
1378
<1377, 4>,
1379
<1378, 0>,
1380
<1379, 0>,
1381
<1380, 1>,
1382
<1381, 0>,
1383
<1382, 0>,
1384
<1383, 0>,
1385
<1384, 0>,
1386
<1385, 0>,
1387
<1386, 2>,
1388
<1387, 0>,
1389
<1388, 0>,
1390
<1389, 0>,
1391
<1390, 0>,
1392
<1391, 0>,
1393
<1392, 3>,
1394
<1393, 0>,
1395
<1394, 0>,
1396
<1395, 0>,
1397
<1396, 0>,
1398
<1397, 0>,
1399
<1398, 0>,
1400
<1399, 0>,
1401
<1400, 6>,
1402
<1401, 0>,
1403
<1402, 0>,
1404
<1403, 0>,
1405
<1404, 9>,
1406
<1405, 0>,
1407
<1406, 0>,
1408
<1407, 0>,
1409
<1408, 7>,
1410
<1409, 0>,
1411
<1410, 0>,
1412
<1411, 0>,
1413
<1412, 0>,
1414
<1413, 0>,
1415
<1414, 0>,
1416
<1415, 0>,
1417
<1416, 1>,
1418
<1417, 0>,
1419
<1418, 0>,
1420
<1419, 0>,
1421
<1420, 0>,
1422
<1421, 1>,
1423
<1422, 0>,
1424
<1423, 0>,
1425
<1424, 0>,
1426
<1425, 0>,
1427
<1426, 0>,
1428
<1427, 0>,
1429
<1428, 1>,
1430
<1429, 0>,
1431
<1430, 0>,
1432
<1431, 1>,
1433
<1432, 0>,
1434
<1433, 0>,
1435
<1434, 0>,
1436
<1435, 0>,
1437
<1436, 0>,
1438
<1437, 0>,
1439
<1438, 0>,
1440
<1439, 0>,
1441
<1440, 13>,
1442
<1441, 0>,
1443
<1442, 0>,
1444
<1443, 0>,
1445
<1444, 7>,
1446
<1445, 0>,
1447
<1446, 0>,
1448
<1447, 0>,
1449
<1448, 0>,
1450
<1449, 0>,
1451
<1450, 1>,
1452
<1451, 0>,
1453
<1452, 10>,
1454
<1453, 0>,
1455
<1454, 0>,
1456
<1455, 0>,
1457
<1456, 2>,
1458
<1457, 0>,
1459
<1458, 11>,
1460
<1459, 0>,
1461
<1460, 1>,
1462
<1461, 0>,
1463
<1462, 0>,
1464
<1463, 0>,
1465
<1464, 1>,
1466
<1465, 0>,
1467
<1466, 0>,
1468
<1467, 0>,
1469
<1468, 0>,
1470
<1469, 0>,
1471
<1470, 2>,
1472
<1471, 0>,
1473
<1472, 3>,
1474
<1473, 0>,
1475
<1474, 0>,
1476
<1475, 0>,
1477
<1476, 1>,
1478
<1477, 0>,
1479
<1478, 0>,
1480
<1479, 0>,
1481
<1480, 2>,
1482
<1481, 0>,
1483
<1482, 0>,
1484
<1483, 0>,
1485
<1484, 0>,
1486
<1485, 3>,
1487
<1486, 0>,
1488
<1487, 0>,
1489
<1488, 3>,
1490
<1489, 0>,
1491
<1490, 0>,
1492
<1491, 0>,
1493
<1492, 0>,
1494
<1493, 0>,
1495
<1494, 0>,
1496
<1495, 0>,
1497
<1496, 1>,
1498
<1497, 0>,
1499
<1498, 0>,
1500
<1499, 0>,
1501
<1500, 14>,
1502
<1501, 0>,
1503
<1502, 0>,
1504
<1503, 0>,
1505
<1504, 1>,
1506
<1505, 0>,
1507
<1506, 0>,
1508
<1507, 0>,
1509
<1508, 1>,
1510
<1509, 0>,
1511
<1510, 0>,
1512
<1511, 0>,
1513
<1512, 12>,
1514
<1513, 0>,
1515
<1514, 0>,
1516
<1515, 0>,
1517
<1516, 0>,
1518
<1517, 0>,
1519
<1518, 0>,
1520
<1519, 1>,
1521
<1520, 2>,
1522
<1521, 6>,
1523
<1522, 0>,
1524
<1523, 0>,
1525
<1524, 0>,
1526
<1525, 0>,
1527
<1526, 0>,
1528
<1527, 0>,
1529
<1528, 0>,
1530
<1529, 0>,
1531
<1530, 2>,
1532
<1531, 0>,
1533
<1532, 0>,
1534
<1533, 0>,
1535
<1534, 0>,
1536
<1535, 0>,
1537
<1536, 19>,
1538
<1537, 0>,
1539
<1538, 0>,
1540
<1539, 4>,
1541
<1540, 1>,
1542
<1541, 0>,
1543
<1542, 0>,
1544
<1543, 0>,
1545
<1544, 0>,
1546
<1545, 0>,
1547
<1546, 0>,
1548
<1547, 0>,
1549
<1548, 1>,
1550
<1549, 0>,
1551
<1550, 0>,
1552
<1551, 0>,
1553
<1552, 0>,
1554
<1553, 0>,
1555
<1554, 0>,
1556
<1555, 0>,
1557
<1556, 0>,
1558
<1557, 0>,
1559
<1558, 0>,
1560
<1559, 0>,
1561
<1560, 3>,
1562
<1561, 0>,
1563
<1562, 0>,
1564
<1563, 0>,
1565
<1564, 0>,
1566
<1565, 0>,
1567
<1566, 4>,
1568
<1567, 0>,
1569
<1568, 17>,
1570
<1569, 0>,
1571
<1570, 0>,
1572
<1571, 0>,
1573
<1572, 0>,
1574
<1573, 0>,
1575
<1574, 0>,
1576
<1575, 4>,
1577
<1576, 0>,
1578
<1577, 0>,
1579
<1578, 0>,
1580
<1579, 0>,
1581
<1580, 0>,
1582
<1581, 0>,
1583
<1582, 0>,
1584
<1583, 0>,
1585
<1584, 10>,
1586
<1585, 0>,
1587
<1586, 0>,
1588
<1587, 3>,
1589
<1588, 0>,
1590
<1589, 0>,
1591
<1590, 0>,
1592
<1591, 0>,
1593
<1592, 0>,
1594
<1593, 1>,
1595
<1594, 0>,
1596
<1595, 0>,
1597
<1596, 1>,
1598
<1597, 0>,
1599
<1598, 0>,
1600
<1599, 0>,
1601
<1600, 16>,
1602
<1601, 0>,
1603
<1602, 0>,
1604
<1603, 0>,
1605
<1604, 0>,
1606
<1605, 0>,
1607
<1606, 0>,
1608
<1607, 0>,
1609
<1608, 1>,
1610
<1609, 0>,
1611
<1610, 0>,
1612
<1611, 0>,
1613
<1612, 0>,
1614
<1613, 0>,
1615
<1614, 0>,
1616
<1615, 0>,
1617
<1616, 0>,
1618
<1617, 0>,
1619
<1618, 0>,
1620
<1619, 0>,
1621
<1620, 12>,
1622
<1621, 0>,
1623
<1622, 0>,
1624
<1623, 0>,
1625
<1624, 1>,
1626
<1625, 4>,
1627
<1626, 0>,
1628
<1627, 0>,
1629
<1628, 0>,
1630
<1629, 0>,
1631
<1630, 0>,
1632
<1631, 0>,
1633
<1632, 8>,
1634
<1633, 0>,
1635
<1634, 0>,
1636
<1635, 0>,
1637
<1636, 0>,
1638
<1637, 0>,
1639
<1638, 2>,
1640
<1639, 0>,
1641
<1640, 2>,
1642
<1641, 0>,
1643
<1642, 0>,
1644
<1643, 0>,
1645
<1644, 0>,
1646
<1645, 0>,
1647
<1646, 0>,
1648
<1647, 1>,
1649
<1648, 0>,
1650
<1649, 0>,
1651
<1650, 2>,
1652
<1651, 0>,
1653
<1652, 0>,
1654
<1653, 0>,
1655
<1654, 0>,
1656
<1655, 0>,
1657
<1656, 5>,
1658
<1657, 0>,
1659
<1658, 0>,
1660
<1659, 0>,
1661
<1660, 0>,
1662
<1661, 0>,
1663
<1662, 0>,
1664
<1663, 0>,
1665
<1664, 7>,
1666
<1665, 0>,
1667
<1666, 0>,
1668
<1667, 0>,
1669
<1668, 0>,
1670
<1669, 0>,
1671
<1670, 0>,
1672
<1671, 0>,
1673
<1672, 1>,
1674
<1673, 0>,
1675
<1674, 4>,
1676
<1675, 0>,
1677
<1676, 0>,
1678
<1677, 0>,
1679
<1678, 0>,
1680
<1679, 0>,
1681
<1680, 5>,
1682
<1681, 3>,
1683
<1682, 2>,
1684
<1683, 0>,
1685
<1684, 0>,
1686
<1685, 0>,
1687
<1686, 0>,
1688
<1687, 0>,
1689
<1688, 0>,
1690
<1689, 0>,
1691
<1690, 1>,
1692
<1691, 0>,
1693
<1692, 1>,
1694
<1693, 0>,
1695
<1694, 0>,
1696
<1695, 0>,
1697
<1696, 1>,
1698
<1697, 0>,
1699
<1698, 0>,
1700
<1699, 0>,
1701
<1700, 3>,
1702
<1701, 8>,
1703
<1702, 0>,
1704
<1703, 0>,
1705
<1704, 1>,
1706
<1705, 0>,
1707
<1706, 0>,
1708
<1707, 0>,
1709
<1708, 0>,
1710
<1709, 0>,
1711
<1710, 2>,
1712
<1711, 0>,
1713
<1712, 0>,
1714
<1713, 0>,
1715
<1714, 0>,
1716
<1715, 5>,
1717
<1716, 1>,
1718
<1717, 0>,
1719
<1718, 0>,
1720
<1719, 0>,
1721
<1720, 1>,
1722
<1721, 0>,
1723
<1722, 0>,
1724
<1723, 0>,
1725
<1724, 0>,
1726
<1725, 0>,
1727
<1726, 0>,
1728
<1727, 0>,
1729
<1728, 29>,
1730
<1729, 0>,
1731
<1730, 0>,
1732
<1731, 0>,
1733
<1732, 0>,
1734
<1733, 0>,
1735
<1734, 4>,
1736
<1735, 0>,
1737
<1736, 1>,
1738
<1737, 0>,
1739
<1738, 0>,
1740
<1739, 0>,
1741
<1740, 1>,
1742
<1741, 0>,
1743
<1742, 0>,
1744
<1743, 0>,
1745
<1744, 0>,
1746
<1745, 0>,
1747
<1746, 0>,
1748
<1747, 0>,
1749
<1748, 0>,
1750
<1749, 0>,
1751
<1750, 7>,
1752
<1751, 0>,
1753
<1752, 1>,
1754
<1753, 0>,
1755
<1754, 0>,
1756
<1755, 3>,
1757
<1756, 0>,
1758
<1757, 0>,
1759
<1758, 0>,
1760
<1759, 0>,
1761
<1760, 3>,
1762
<1761, 0>,
1763
<1762, 0>,
1764
<1763, 0>,
1765
<1764, 24>,
1766
<1765, 0>,
1767
<1766, 0>,
1768
<1767, 0>,
1769
<1768, 2>,
1770
<1769, 0>,
1771
<1770, 0>,
1772
<1771, 0>,
1773
<1772, 0>,
1774
<1773, 0>,
1775
<1774, 0>,
1776
<1775, 0>,
1777
<1776, 3>,
1778
<1777, 0>,
1779
<1778, 0>,
1780
<1779, 0>,
1781
<1780, 1>,
1782
<1781, 0>,
1783
<1782, 10>,
1784
<1783, 0>,
1785
<1784, 0>,
1786
<1785, 0>,
1787
<1786, 0>,
1788
<1787, 0>,
1789
<1788, 0>,
1790
<1789, 0>,
1791
<1790, 0>,
1792
<1791, 0>,
1793
<1792, 11>,
1794
<1793, 0>,
1795
<1794, 0>,
1796
<1795, 0>,
1797
<1796, 0>,
1798
<1797, 0>,
1799
<1798, 0>,
1800
<1799, 0>,
1801
<1800, 22>,
1802
<1801, 0>,
1803
<1802, 0>,
1804
<1803, 0>,
1805
<1804, 0>,
1806
<1805, 1>,
1807
<1806, 0>,
1808
<1807, 0>,
1809
<1808, 0>,
1810
<1809, 1>,
1811
<1810, 0>,
1812
<1811, 0>,
1813
<1812, 0>,
1814
<1813, 1>,
1815
<1814, 0>,
1816
<1815, 2>,
1817
<1816, 0>,
1818
<1817, 0>,
1819
<1818, 0>,
1820
<1819, 0>,
1821
<1820, 1>,
1822
<1821, 0>,
1823
<1822, 0>,
1824
<1823, 0>,
1825
<1824, 8>,
1826
<1825, 0>,
1827
<1826, 0>,
1828
<1827, 0>,
1829
<1828, 0>,
1830
<1829, 0>,
1831
<1830, 0>,
1832
<1831, 0>,
1833
<1832, 0>,
1834
<1833, 0>,
1835
<1834, 0>,
1836
<1835, 0>,
1837
<1836, 9>,
1838
<1837, 0>,
1839
<1838, 0>,
1840
<1839, 0>,
1841
<1840, 2>,
1842
<1841, 0>,
1843
<1842, 0>,
1844
<1843, 0>,
1845
<1844, 0>,
1846
<1845, 0>,
1847
<1846, 0>,
1848
<1847, 0>,
1849
<1848, 3>,
1850
<1849, 4>,
1851
<1850, 1>,
1852
<1851, 0>,
1853
<1852, 0>,
1854
<1853, 0>,
1855
<1854, 0>,
1856
<1855, 0>,
1857
<1856, 3>,
1858
<1857, 0>,
1859
<1858, 0>,
1860
<1859, 0>,
1861
<1860, 1>,
1862
<1861, 0>,
1863
<1862, 0>,
1864
<1863, 4>,
1865
<1864, 0>,
1866
<1865, 0>,
1867
<1866, 0>,
1868
<1867, 0>,
1869
<1868, 0>,
1870
<1869, 0>,
1871
<1870, 0>,
1872
<1871, 0>,
1873
<1872, 11>,
1874
<1873, 0>,
1875
<1874, 0>,
1876
<1875, 3>,
1877
<1876, 0>,
1878
<1877, 0>,
1879
<1878, 0>,
1880
<1879, 0>,
1881
<1880, 1>,
1882
<1881, 0>,
1883
<1882, 0>,
1884
<1883, 0>,
1885
<1884, 0>,
1886
<1885, 0>,
1887
<1886, 0>,
1888
<1887, 0>,
1889
<1888, 1>,
1890
<1889, 0>,
1891
<1890, 7>,
1892
<1891, 0>,
1893
<1892, 0>,
1894
<1893, 0>,
1895
<1894, 0>,
1896
<1895, 0>,
1897
<1896, 1>,
1898
<1897, 0>,
1899
<1898, 0>,
1900
<1899, 0>,
1901
<1900, 2>,
1902
<1901, 0>,
1903
<1902, 0>,
1904
<1903, 0>,
1905
<1904, 2>,
1906
<1905, 0>,
1907
<1906, 0>,
1908
<1907, 0>,
1909
<1908, 1>,
1910
<1909, 0>,
1911
<1910, 0>,
1912
<1911, 2>,
1913
<1912, 0>,
1914
<1913, 0>,
1915
<1914, 0>,
1916
<1915, 0>,
1917
<1916, 0>,
1918
<1917, 1>,
1919
<1918, 0>,
1920
<1919, 0>,
1921
<1920, 11>,
1922
<1921, 0>,
1923
<1922, 4>,
1924
<1923, 0>,
1925
<1924, 1>,
1926
<1925, 0>,
1927
<1926, 0>,
1928
<1927, 0>,
1929
<1928, 0>,
1930
<1929, 0>,
1931
<1930, 0>,
1932
<1931, 0>,
1933
<1932, 1>,
1934
<1933, 0>,
1935
<1934, 0>,
1936
<1935, 0>,
1937
<1936, 13>,
1938
<1937, 0>,
1939
<1938, 0>,
1940
<1939, 0>,
1941
<1940, 1>,
1942
<1941, 0>,
1943
<1942, 0>,
1944
<1943, 0>,
1945
<1944, 22>,
1946
<1945, 0>,
1947
<1946, 0>,
1948
<1947, 0>,
1949
<1948, 0>,
1950
<1949, 0>,
1951
<1950, 2>,
1952
<1951, 0>,
1953
<1952, 1>,
1954
<1953, 2>,
1955
<1954, 0>,
1956
<1955, 0>,
1957
<1956, 0>,
1958
<1957, 0>,
1959
<1958, 0>,
1960
<1959, 0>,
1961
<1960, 8>,
1962
<1961, 0>,
1963
<1962, 0>,
1964
<1963, 0>,
1965
<1964, 0>,
1966
<1965, 0>,
1967
<1966, 0>,
1968
<1967, 0>,
1969
<1968, 3>,
1970
<1969, 0>,
1971
<1970, 0>,
1972
<1971, 1>,
1973
<1972, 1>,
1974
<1973, 0>,
1975
<1974, 0>,
1976
<1975, 0>,
1977
<1976, 1>,
1978
<1977, 0>,
1979
<1978, 0>,
1980
<1979, 0>,
1981
<1980, 3>,
1982
<1981, 0>,
1983
<1982, 0>,
1984
<1983, 0>,
1985
<1984, 3>,
1986
<1985, 0>,
1987
<1986, 0>,
1988
<1987, 0>,
1989
<1988, 0>,
1990
<1989, 0>,
1991
<1990, 0>,
1992
<1991, 0>,
1993
<1992, 1>,
1994
<1993, 0>,
1995
<1994, 0>,
1996
<1995, 0>,
1997
<1996, 0>,
1998
<1997, 0>,
1999
<1998, 4>,
2000
<1999, 0>,
2001
<2000, 15>,
2002
<2001, 0>,
2003
<2002, 0>,
2004
<2003, 0>,
2005
<2004, 0>,
2006
<2005, 0>,
2007
<2006, 0>,
2008
<2007, 0>,
2009
<2008, 0>,
2010
<2009, 0>,
2011
<2010, 0>,
2012
<2011, 0>,
2013
<2012, 0>,
2014
<2013, 0>,
2015
<2014, 0>,
2016
<2015, 0>,
2017
<2016, 13>,
2018
<2017, 0>,
2019
<2018, 0>,
2020
<2019, 0>,
2021
<2020, 1>,
2022
<2021, 0>,
2023
<2022, 0>,
2024
<2023, 0>,
2025
<2024, 1>,
2026
<2025, 14>,
2027
<2026, 0>,
2028
<2027, 0>,
2029
<2028, 13>,
2030
<2029, 0>,
2031
<2030, 0>,
2032
<2031, 0>,
2033
<2032, 0>,
2034
<2033, 0>,
2035
<2034, 0>,
2036
<2035, 0>,
2037
<2036, 0>,
2038
<2037, 0>,
2039
<2038, 0>,
2040
<2039, 0>,
2041
<2040, 3>,
2042
<2041, 0>,
2043
<2042, 0>,
2044
<2043, 0>,
2045
<2044, 0>,
2046
<2045, 0>,
2047
<2046, 0>,
2048
<2047, 0>,
2049
<2048, 24>,
2050
<2049, 0>,
2051
<2050, 1>,
2052
<2051, 0>,
2053
<2052, 10>,
2054
<2053, 0>,
2055
<2054, 0>,
2056
<2055, 0>,
2057
<2056, 0>,
2058
<2057, 0>,
2059
<2058, 12>,
2060
<2059, 0>,
2061
<2060, 0>,
2062
<2061, 0>,
2063
<2062, 0>,
2064
<2063, 0>,
2065
<2064, 3>,
2066
<2065, 0>,
2067
<2066, 0>,
2068
<2067, 0>,
2069
<2068, 0>,
2070
<2069, 0>,
2071
<2070, 2>,
2072
<2071, 0>,
2073
<2072, 1>,
2074
<2073, 0>,
2075
<2074, 0>,
2076
<2075, 0>,
2077
<2076, 0>,
2078
<2077, 0>,
2079
<2078, 0>,
2080
<2079, 3>,
2081
<2080, 3>,
2082
<2081, 0>,
2083
<2082, 0>,
2084
<2083, 0>,
2085
<2084, 0>,
2086
<2085, 0>,
2087
<2086, 0>,
2088
<2087, 0>,
2089
<2088, 5>,
2090
<2089, 0>,
2091
<2090, 0>,
2092
<2091, 0>,
2093
<2092, 0>,
2094
<2093, 0>,
2095
<2094, 0>,
2096
<2095, 0>,
2097
<2096, 0>,
2098
<2097, 0>,
2099
<2098, 0>,
2100
<2099, 0>,
2101
<2100, 6>,
2102
<2101, 0>,
2103
<2102, 0>,
2104
<2103, 0>,
2105
<2104, 0>,
2106
<2105, 0>,
2107
<2106, 10>,
2108
<2107, 1>,
2109
<2108, 0>,
2110
<2109, 0>,
2111
<2110, 0>,
2112
<2111, 0>,
2113
<2112, 11>,
2114
<2113, 0>,
2115
<2114, 0>,
2116
<2115, 0>,
2117
<2116, 8>,
2118
<2117, 0>,
2119
<2118, 0>,
2120
<2119, 0>,
2121
<2120, 2>,
2122
<2121, 0>,
2123
<2122, 0>,
2124
<2123, 0>,
2125
<2124, 1>,
2126
<2125, 4>,
2127
<2126, 0>,
2128
<2127, 0>,
2129
<2128, 2>,
2130
<2129, 0>,
2131
<2130, 0>,
2132
<2131, 0>,
2133
<2132, 1>,
2134
<2133, 1>,
2135
<2134, 0>,
2136
<2135, 0>,
2137
<2136, 1>,
2138
<2137, 0>,
2139
<2138, 0>,
2140
<2139, 0>,
2141
<2140, 0>,
2142
<2141, 0>,
2143
<2142, 2>,
2144
<2143, 0>,
2145
<2144, 1>,
2146
<2145, 0>,
2147
<2146, 0>,
2148
<2147, 0>,
2149
<2148, 0>,
2150
<2149, 0>,
2151
<2150, 0>,
2152
<2151, 0>,
2153
<2152, 0>,
2154
<2153, 0>,
2155
<2154, 0>,
2156
<2155, 0>,
2157
<2156, 3>,
2158
<2157, 0>,
2159
<2158, 0>,
2160
<2159, 0>,
2161
<2160, 16>,
2162
<2161, 0>,
2163
<2162, 0>,
2164
<2163, 0>,
2165
<2164, 0>,
2166
<2165, 0>,
2167
<2166, 5>,
2168
<2167, 0>,
2169
<2168, 0>,
2170
<2169, 0>,
2171
<2170, 0>,
2172
<2171, 0>,
2173
<2172, 0>,
2174
<2173, 0>,
2175
<2174, 0>,
2176
<2175, 0>,
2177
<2176, 8>,
2178
<2177, 0>,
2179
<2178, 14>,
2180
<2179, 0>,
2181
<2180, 1>,
2182
<2181, 0>,
2183
<2182, 0>,
2184
<2183, 0>,
2185
<2184, 3>,
2186
<2185, 0>,
2187
<2186, 0>,
2188
<2187, 11>,
2189
<2188, 0>,
2190
<2189, 0>,
2191
<2190, 0>,
2192
<2191, 0>,
2193
<2192, 0>,
2194
<2193, 0>,
2195
<2194, 0>,
2196
<2195, 0>,
2197
<2196, 1>,
2198
<2197, 10>,
2199
<2198, 0>,
2200
<2199, 0>,
2201
<2200, 6>,
2202
<2201, 0>,
2203
<2202, 0>,
2204
<2203, 0>,
2205
<2204, 0>,
2206
<2205, 7>,
2207
<2206, 0>,
2208
<2207, 0>,
2209
<2208, 8>,
2210
<2209, 5>,
2211
<2210, 0>,
2212
<2211, 0>,
2213
<2212, 0>,
2214
<2213, 0>,
2215
<2214, 4>,
2216
<2215, 0>,
2217
<2216, 0>,
2218
<2217, 0>,
2219
<2218, 0>,
2220
<2219, 0>,
2221
<2220, 1>,
2222
<2221, 0>,
2223
<2222, 0>,
2224
<2223, 2>,
2225
<2224, 0>,
2226
<2225, 0>,
2227
<2226, 0>,
2228
<2227, 0>,
2229
<2228, 0>,
2230
<2229, 0>,
2231
<2230, 0>,
2232
<2231, 0>,
2233
<2232, 5>,
2234
<2233, 0>,
2235
<2234, 0>,
2236
<2235, 0>,
2237
<2236, 0>,
2238
<2237, 0>,
2239
<2238, 0>,
2240
<2239, 0>,
2241
<2240, 5>,
2242
<2241, 1>,
2243
<2242, 0>,
2244
<2243, 0>,
2245
<2244, 1>,
2246
<2245, 0>,
2247
<2246, 0>,
2248
<2247, 0>,
2249
<2248, 0>,
2250
<2249, 0>,
2251
<2250, 20>,
2252
<2251, 0>,
2253
<2252, 0>,
2254
<2253, 0>,
2255
<2254, 2>,
2256
<2255, 0>,
2257
<2256, 3>,
2258
<2257, 0>,
2259
<2258, 0>,
2260
<2259, 0>,
2261
<2260, 1>,
2262
<2261, 0>,
2263
<2262, 0>,
2264
<2263, 0>,
2265
<2264, 0>,
2266
<2265, 0>,
2267
<2266, 0>,
2268
<2267, 0>,
2269
<2268, 15>,
2270
<2269, 0>,
2271
<2270, 0>,
2272
<2271, 0>,
2273
<2272, 1>,
2274
<2273, 0>,
2275
<2274, 0>,
2276
<2275, 0>,
2277
<2276, 0>,
2278
<2277, 0>,
2279
<2278, 0>,
2280
<2279, 0>,
2281
<2280, 3>,
2282
<2281, 0>,
2283
<2282, 0>,
2284
<2283, 0>,
2285
<2284, 0>,
2286
<2285, 0>,
2287
<2286, 0>,
2288
<2287, 0>,
2289
<2288, 2>,
2290
<2289, 0>,
2291
<2290, 0>,
2292
<2291, 0>,
2293
<2292, 0>,
2294
<2293, 0>,
2295
<2294, 0>,
2296
<2295, 3>,
2297
<2296, 1>,
2298
<2297, 0>,
2299
<2298, 0>,
2300
<2299, 0>,
2301
<2300, 2>,
2302
<2301, 0>,
2303
<2302, 0>,
2304
<2303, 0>,
2305
<2304, 33>,
2306
<2305, 0>,
2307
<2306, 0>,
2308
<2307, 0>,
2309
<2308, 0>,
2310
<2309, 0>,
2311
<2310, 0>,
2312
<2311, 0>,
2313
<2312, 11>,
2314
<2313, 0>,
2315
<2314, 0>,
2316
<2315, 0>,
2317
<2316, 0>,
2318
<2317, 0>,
2319
<2318, 0>,
2320
<2319, 0>,
2321
<2320, 2>,
2322
<2321, 0>,
2323
<2322, 4>,
2324
<2323, 0>,
2325
<2324, 0>,
2326
<2325, 0>,
2327
<2326, 0>,
2328
<2327, 0>,
2329
<2328, 1>,
2330
<2329, 0>,
2331
<2330, 0>,
2332
<2331, 2>,
2333
<2332, 0>,
2334
<2333, 0>,
2335
<2334, 0>,
2336
<2335, 0>,
2337
<2336, 1>,
2338
<2337, 0>,
2339
<2338, 0>,
2340
<2339, 0>,
2341
<2340, 3>,
2342
<2341, 0>,
2343
<2342, 0>,
2344
<2343, 0>,
2345
<2344, 0>,
2346
<2345, 0>,
2347
<2346, 0>,
2348
<2347, 0>,
2349
<2348, 0>,
2350
<2349, 4>,
2351
<2350, 0>,
2352
<2351, 0>,
2353
<2352, 20>,
2354
<2353, 0>,
2355
<2354, 0>,
2356
<2355, 0>,
2357
<2356, 0>,
2358
<2357, 0>,
2359
<2358, 0>,
2360
<2359, 0>,
2361
<2360, 1>,
2362
<2361, 0>,
2363
<2362, 0>,
2364
<2363, 0>,
2365
<2364, 0>,
2366
<2365, 0>,
2367
<2366, 0>,
2368
<2367, 0>,
2369
<2368, 3>,
2370
<2369, 0>,
2371
<2370, 0>,
2372
<2371, 0>,
2373
<2372, 0>,
2374
<2373, 0>,
2375
<2374, 0>,
2376
<2375, 3>,
2377
<2376, 13>,
2378
<2377, 0>,
2379
<2378, 0>,
2380
<2379, 0>,
2381
<2380, 1>,
2382
<2381, 0>,
2383
<2382, 0>,
2384
<2383, 0>,
2385
<2384, 0>,
2386
<2385, 0>,
2387
<2386, 0>,
2388
<2387, 0>,
2389
<2388, 0>,
2390
<2389, 0>,
2391
<2390, 0>,
2392
<2391, 0>,
2393
<2392, 1>,
2394
<2393, 0>,
2395
<2394, 2>,
2396
<2395, 0>,
2397
<2396, 0>,
2398
<2397, 0>,
2399
<2398, 0>,
2400
<2399, 0>,
2401
<2400, 19>,
2402
<2401, 12>,
2403
<2402, 0>,
2404
<2403, 1>,
2405
<2404, 0>,
2406
<2405, 0>,
2407
<2406, 0>,
2408
<2407, 0>,
2409
<2408, 1>,
2410
<2409, 0>,
2411
<2410, 0>,
2412
<2411, 0>,
2413
<2412, 1>,
2414
<2413, 0>,
2415
<2414, 0>,
2416
<2415, 0>,
2417
<2416, 0>,
2418
<2417, 0>,
2419
<2418, 0>,
2420
<2419, 0>,
2421
<2420, 5>,
2422
<2421, 0>,
2423
<2422, 0>,
2424
<2423, 0>,
2425
<2424, 1>,
2426
<2425, 0>,
2427
<2426, 0>,
2428
<2427, 0>,
2429
<2428, 0>,
2430
<2429, 0>,
2431
<2430, 11>,
2432
<2431, 0>,
2433
<2432, 8>,
2434
<2433, 0>,
2435
<2434, 0>,
2436
<2435, 0>,
2437
<2436, 1>,
2438
<2437, 0>,
2439
<2438, 0>,
2440
<2439, 0>,
2441
<2440, 2>,
2442
<2441, 0>,
2443
<2442, 0>,
2444
<2443, 0>,
2445
<2444, 0>,
2446
<2445, 0>,
2447
<2446, 0>,
2448
<2447, 0>,
2449
<2448, 11>,
2450
<2449, 0>,
2451
<2450, 9>,
2452
<2451, 0>,
2453
<2452, 0>,
2454
<2453, 0>,
2455
<2454, 0>,
2456
<2455, 0>,
2457
<2456, 0>,
2458
<2457, 3>,
2459
<2458, 0>,
2460
<2459, 0>,
2461
<2460, 1>,
2462
<2461, 0>,
2463
<2462, 0>,
2464
<2463, 0>,
2465
<2464, 3>,
2466
<2465, 0>,
2467
<2466, 0>,
2468
<2467, 0>,
2469
<2468, 0>,
2470
<2469, 0>,
2471
<2470, 0>,
2472
<2471, 0>,
2473
<2472, 1>,
2474
<2473, 0>,
2475
<2474, 0>,
2476
<2475, 4>,
2477
<2476, 0>,
2478
<2477, 0>,
2479
<2478, 0>,
2480
<2479, 0>,
2481
<2480, 2>,
2482
<2481, 0>,
2483
<2482, 0>,
2484
<2483, 0>,
2485
<2484, 10>,
2486
<2485, 0>,
2487
<2486, 0>,
2488
<2487, 0>,
2489
<2488, 0>,
2490
<2489, 0>,
2491
<2490, 0>,
2492
<2491, 0>,
2493
<2492, 0>,
2494
<2493, 0>,
2495
<2494, 0>,
2496
<2495, 0>,
2497
<2496, 10>,
2498
<2497, 0>,
2499
<2498, 0>,
2500
<2499, 0>,
2501
<2500, 12>,
2502
<2501, 0>,
2503
<2502, 0>,
2504
<2503, 0>,
2505
<2504, 0>,
2506
<2505, 0>,
2507
<2506, 0>,
2508
<2507, 0>,
2509
<2508, 1>,
2510
<2509, 0>,
2511
<2510, 0>,
2512
<2511, 4>,
2513
<2512, 0>,
2514
<2513, 0>,
2515
<2514, 0>,
2516
<2515, 0>,
2517
<2516, 1>,
2518
<2517, 0>,
2519
<2518, 0>,
2520
<2519, 0>,
2521
<2520, 8>,
2522
<2521, 0>,
2523
<2522, 0>,
2524
<2523, 3>,
2525
<2524, 0>,
2526
<2525, 0>,
2527
<2526, 0>,
2528
<2527, 1>,
2529
<2528, 1>,
2530
<2529, 0>,
2531
<2530, 0>,
2532
<2531, 0>,
2533
<2532, 0>,
2534
<2533, 0>,
2535
<2534, 0>,
2536
<2535, 0>,
2537
<2536, 0>,
2538
<2537, 0>,
2539
<2538, 4>,
2540
<2539, 0>,
2541
<2540, 0>,
2542
<2541, 0>,
2543
<2542, 0>,
2544
<2543, 0>,
2545
<2544, 3>,
2546
<2545, 0>,
2547
<2546, 0>,
2548
<2547, 0>,
2549
<2548, 3>,
2550
<2549, 0>,
2551
<2550, 2>,
2552
<2551, 0>,
2553
<2552, 1>,
2554
<2553, 0>,
2555
<2554, 0>,
2556
<2555, 0>,
2557
<2556, 1>,
2558
<2557, 0>,
2559
<2558, 0>,
2560
<2559, 0>,
2561
<2560, 18>,
2562
<2561, 0>,
2563
<2562, 0>,
2564
<2563, 0>,
2565
<2564, 0>,
2566
<2565, 3>,
2567
<2566, 0>,
2568
<2567, 0>,
2569
<2568, 1>,
2570
<2569, 0>,
2571
<2570, 0>,
2572
<2571, 0>,
2573
<2572, 0>,
2574
<2573, 0>,
2575
<2574, 2>,
2576
<2575, 0>,
2577
<2576, 2>,
2578
<2577, 0>,
2579
<2578, 0>,
2580
<2579, 0>,
2581
<2580, 1>,
2582
<2581, 0>,
2583
<2582, 0>,
2584
<2583, 0>,
2585
<2584, 1>,
2586
<2585, 0>,
2587
<2586, 0>,
2588
<2587, 0>,
2589
<2588, 0>,
2590
<2589, 0>,
2591
<2590, 0>,
2592
<2591, 0>,
2593
<2592, 30>,
2594
<2593, 0>,
2595
<2594, 0>,
2596
<2595, 0>,
2597
<2596, 0>,
2598
<2597, 1>,
2599
<2598, 0>,
2600
<2599, 0>,
2601
<2600, 6>,
2602
<2601, 11>,
2603
<2602, 0>,
2604
<2603, 0>,
2605
<2604, 1>,
2606
<2605, 0>,
2607
<2606, 0>,
2608
<2607, 0>,
2609
<2608, 0>,
2610
<2609, 0>,
2611
<2610, 2>,
2612
<2611, 0>,
2613
<2612, 0>,
2614
<2613, 0>,
2615
<2614, 0>,
2616
<2615, 0>,
2617
<2616, 1>,
2618
<2617, 0>,
2619
<2618, 0>,
2620
<2619, 1>,
2621
<2620, 0>,
2622
<2621, 0>,
2623
<2622, 0>,
2624
<2623, 0>,
2625
<2624, 3>,
2626
<2625, 7>,
2627
<2626, 0>,
2628
<2627, 0>,
2629
<2628, 1>,
2630
<2629, 0>,
2631
<2630, 0>,
2632
<2631, 0>,
2633
<2632, 1>,
2634
<2633, 0>,
2635
<2634, 0>,
2636
<2635, 0>,
2637
<2636, 0>,
2638
<2637, 0>,
2639
<2638, 0>,
2640
<2639, 0>,
2641
<2640, 5>,
2642
<2641, 0>,
2643
<2642, 0>,
2644
<2643, 0>,
2645
<2644, 0>,
2646
<2645, 0>,
2647
<2646, 21>,
2648
<2647, 0>,
2649
<2648, 0>,
2650
<2649, 0>,
2651
<2650, 1>,
2652
<2651, 0>,
2653
<2652, 1>,
2654
<2653, 0>,
2655
<2654, 0>,
2656
<2655, 0>,
2657
<2656, 1>,
2658
<2657, 0>,
2659
<2658, 0>,
2660
<2659, 0>,
2661
<2660, 1>,
2662
<2661, 0>,
2663
<2662, 11>,
2664
<2663, 0>,
2665
<2664, 5>,
2666
<2665, 0>,
2667
<2666, 0>,
2668
<2667, 0>,
2669
<2668, 0>,
2670
<2669, 0>,
2671
<2670, 0>,
2672
<2671, 0>,
2673
<2672, 0>,
2674
<2673, 9>,
2675
<2674, 0>,
2676
<2675, 0>,
2677
<2676, 0>,
2678
<2677, 0>,
2679
<2678, 0>,
2680
<2679, 0>,
2681
<2680, 1>,
2682
<2681, 0>,
2683
<2682, 0>,
2684
<2683, 0>,
2685
<2684, 0>,
2686
<2685, 0>,
2687
<2686, 0>,
2688
<2687, 0>,
2689
<2688, 12>,
2690
<2689, 0>,
2691
<2690, 0>,
2692
<2691, 0>,
2693
<2692, 0>,
2694
<2693, 0>,
2695
<2694, 0>,
2696
<2695, 0>,
2697
<2696, 0>,
2698
<2697, 0>,
2699
<2698, 0>,
2700
<2699, 0>,
2701
<2700, 30>,
2702
<2701, 0>,
2703
<2702, 0>,
2704
<2703, 0>,
2705
<2704, 16>,
2706
<2705, 0>,
2707
<2706, 0>,
2708
<2707, 0>,
2709
<2708, 0>,
2710
<2709, 2>,
2711
<2710, 0>,
2712
<2711, 0>,
2713
<2712, 1>,
2714
<2713, 0>,
2715
<2714, 0>,
2716
<2715, 0>,
2717
<2716, 0>,
2718
<2717, 0>,
2719
<2718, 0>,
2720
<2719, 0>,
2721
<2720, 3>,
2722
<2721, 0>,
2723
<2722, 0>,
2724
<2723, 0>,
2725
<2724, 0>,
2726
<2725, 0>,
2727
<2726, 0>,
2728
<2727, 1>,
2729
<2728, 1>,
2730
<2729, 0>,
2731
<2730, 0>,
2732
<2731, 0>,
2733
<2732, 0>,
2734
<2733, 0>,
2735
<2734, 0>,
2736
<2735, 0>,
2737
<2736, 11>,
2738
<2737, 0>,
2739
<2738, 3>,
2740
<2739, 0>,
2741
<2740, 1>,
2742
<2741, 0>,
2743
<2742, 0>,
2744
<2743, 0>,
2745
<2744, 21>,
2746
<2745, 0>,
2747
<2746, 0>,
2748
<2747, 0>,
2749
<2748, 0>,
2750
<2749, 0>,
2751
<2750, 7>,
2752
<2751, 0>,
2753
<2752, 3>,
2754
<2753, 0>,
2755
<2754, 11>,
2756
<2755, 0>,
2757
<2756, 1>,
2758
<2757, 0>,
2759
<2758, 0>,
2760
<2759, 0>,
2761
<2760, 3>,
2762
<2761, 0>,
2763
<2762, 0>,
2764
<2763, 0>,
2765
<2764, 0>,
2766
<2765, 0>,
2767
<2766, 0>,
2768
<2767, 0>,
2769
<2768, 0>,
2770
<2769, 0>,
2771
<2770, 0>,
2772
<2771, 0>,
2773
<2772, 3>,
2774
<2773, 0>,
2775
<2774, 0>,
2776
<2775, 0>,
2777
<2776, 0>,
2778
<2777, 0>,
2779
<2778, 0>,
2780
<2779, 0>,
2781
<2780, 0>,
2782
<2781, 1>,
2783
<2782, 0>,
2784
<2783, 1>,
2785
<2784, 8>,
2786
<2785, 0>,
2787
<2786, 0>,
2788
<2787, 0>,
2789
<2788, 1>,
2790
<2789, 0>,
2791
<2790, 2>,
2792
<2791, 0>,
2793
<2792, 0>,
2794
<2793, 2>,
2795
<2794, 0>,
2796
<2795, 0>,
2797
<2796, 0>,
2798
<2797, 0>,
2799
<2798, 0>,
2800
<2799, 0>,
2801
<2800, 9>,
2802
<2801, 0>,
2803
<2802, 0>,
2804
<2803, 0>,
2805
<2804, 0>,
2806
<2805, 0>,
2807
<2806, 0>,
2808
<2807, 0>,
2809
<2808, 14>,
2810
<2809, 5>,
2811
<2810, 0>,
2812
<2811, 0>,
2813
<2812, 0>,
2814
<2813, 0>,
2815
<2814, 0>,
2816
<2815, 0>,
2817
<2816, 13>,
2818
<2817, 0>,
2819
<2818, 0>,
2820
<2819, 0>,
2821
<2820, 1>,
2822
<2821, 0>,
2823
<2822, 0>,
2824
<2823, 0>,
2825
<2824, 0>,
2826
<2825, 0>,
2827
<2826, 0>,
2828
<2827, 0>,
2829
<2828, 0>,
2830
<2829, 0>,
2831
<2830, 0>,
2832
<2831, 0>,
2833
<2832, 3>,
2834
<2833, 0>,
2835
<2834, 0>,
2836
<2835, 4>,
2837
<2836, 0>,
2838
<2837, 0>,
2839
<2838, 0>,
2840
<2839, 0>,
2841
<2840, 1>,
2842
<2841, 0>,
2843
<2842, 2>,
2844
<2843, 0>,
2845
<2844, 1>,
2846
<2845, 0>,
2847
<2846, 0>,
2848
<2847, 0>,
2849
<2848, 1>,
2850
<2849, 0>,
2851
<2850, 2>,
2852
<2851, 0>,
2853
<2852, 0>,
2854
<2853, 0>,
2855
<2854, 0>,
2856
<2855, 0>,
2857
<2856, 3>,
2858
<2857, 0>,
2859
<2858, 0>,
2860
<2859, 0>,
2861
<2860, 1>,
2862
<2861, 0>,
2863
<2862, 4>,
2864
<2863, 0>,
2865
<2864, 0>,
2866
<2865, 0>,
2867
<2866, 0>,
2868
<2867, 0>,
2869
<2868, 0>,
2870
<2869, 0>,
2871
<2870, 0>,
2872
<2871, 0>,
2873
<2872, 0>,
2874
<2873, 0>,
2875
<2874, 0>,
2876
<2875, 3>,
2877
<2876, 0>,
2878
<2877, 0>,
2879
<2878, 0>,
2880
<2879, 0>,
2881
<2880, 22>,
2882
<2881, 0>,
2883
<2882, 0>,
2884
<2883, 5>,
2885
<2884, 0>,
2886
<2885, 0>,
2887
<2886, 0>,
2888
<2887, 0>,
2889
<2888, 15>,
2890
<2889, 1>,
2891
<2890, 1>,
2892
<2891, 0>,
2893
<2892, 0>,
2894
<2893, 0>,
2895
<2894, 0>,
2896
<2895, 0>,
2897
<2896, 0>,
2898
<2897, 0>,
2899
<2898, 2>,
2900
<2899, 0>,
2901
<2900, 3>,
2902
<2901, 0>,
2903
<2902, 0>,
2904
<2903, 0>,
2905
<2904, 22>,
2906
<2905, 0>,
2907
<2906, 0>,
2908
<2907, 0>,
2909
<2908, 0>,
2910
<2909, 0>,
2911
<2910, 0>,
2912
<2911, 0>,
2913
<2912, 3>,
2914
<2913, 0>,
2915
<2914, 0>,
2916
<2915, 0>,
2917
<2916, 23>,
2918
<2917, 0>,
2919
<2918, 0>,
2920
<2919, 0>,
2921
<2920, 2>,
2922
<2921, 0>,
2923
<2922, 0>,
2924
<2923, 0>,
2925
<2924, 0>,
2926
<2925, 4>,
2927
<2926, 0>,
2928
<2927, 0>,
2929
<2928, 3>,
2930
<2929, 0>,
2931
<2930, 0>,
2932
<2931, 0>,
2933
<2932, 0>,
2934
<2933, 0>,
2935
<2934, 0>,
2936
<2935, 0>,
2937
<2936, 0>,
2938
<2937, 0>,
2939
<2938, 0>,
2940
<2939, 0>,
2941
<2940, 8>,
2942
<2941, 0>,
2943
<2942, 0>,
2944
<2943, 1>,
2945
<2944, 8>,
2946
<2945, 0>,
2947
<2946, 0>,
2948
<2947, 0>,
2949
<2948, 0>,
2950
<2949, 0>,
2951
<2950, 0>,
2952
<2951, 0>,
2953
<2952, 5>,
2954
<2953, 0>,
2955
<2954, 0>,
2956
<2955, 0>,
2957
<2956, 0>,
2958
<2957, 0>,
2959
<2958, 0>,
2960
<2959, 0>,
2961
<2960, 2>,
2962
<2961, 0>,
2963
<2962, 0>,
2964
<2963, 0>,
2965
<2964, 1>,
2966
<2965, 0>,
2967
<2966, 0>,
2968
<2967, 0>,
2969
<2968, 1>,
2970
<2969, 0>,
2971
<2970, 7>,
2972
<2971, 0>,
2973
<2972, 0>,
2974
<2973, 0>,
2975
<2974, 0>,
2976
<2975, 0>,
2977
<2976, 8>,
2978
<2977, 0>,
2979
<2978, 0>,
2980
<2979, 0>,
2981
<2980, 1>,
2982
<2981, 0>,
2983
<2982, 0>,
2984
<2983, 0>,
2985
<2984, 0>,
2986
<2985, 0>,
2987
<2986, 0>,
2988
<2987, 0>,
2989
<2988, 1>,
2990
<2989, 1>,
2991
<2990, 0>,
2992
<2991, 0>,
2993
<2992, 2>,
2994
<2993, 0>,
2995
<2994, 0>,
2996
<2995, 0>,
2997
<2996, 0>,
2998
<2997, 4>,
2999
<2998, 0>,
3000
<2999, 0>,
3001
<3000, 19>,
3002
<3001, 0>,
3003
<3002, 0>,
3004
<3003, 0>,
3005
<3004, 0>,
3006
<3005, 0>,
3007
<3006, 0>,
3008
<3007, 0>,
3009
<3008, 3>,
3010
<3009, 0>,
3011
<3010, 0>,
3012
<3011, 0>,
3013
<3012, 0>,
3014
<3013, 0>,
3015
<3014, 0>,
3016
<3015, 0>,
3017
<3016, 2>,
3018
<3017, 0>,
3019
<3018, 0>,
3020
<3019, 0>,
3021
<3020, 0>,
3022
<3021, 0>,
3023
<3022, 0>,
3024
<3023, 0>,
3025
<3024, 20>,
3026
<3025, 6>,
3027
<3026, 0>,
3028
<3027, 0>,
3029
<3028, 0>,
3030
<3029, 0>,
3031
<3030, 0>,
3032
<3031, 0>,
3033
<3032, 0>,
3034
<3033, 0>,
3035
<3034, 0>,
3036
<3035, 0>,
3037
<3036, 1>,
3038
<3037, 0>,
3039
<3038, 0>,
3040
<3039, 0>,
3041
<3040, 3>,
3042
<3041, 0>,
3043
<3042, 18>,
3044
<3043, 0>,
3045
<3044, 0>,
3046
<3045, 0>,
3047
<3046, 0>,
3048
<3047, 0>,
3049
<3048, 1>,
3050
<3049, 0>,
3051
<3050, 1>,
3052
<3051, 1>,
3053
<3052, 0>,
3054
<3053, 0>,
3055
<3054, 0>,
3056
<3055, 0>,
3057
<3056, 0>,
3058
<3057, 0>,
3059
<3058, 0>,
3060
<3059, 0>,
3061
<3060, 3>,
3062
<3061, 0>,
3063
<3062, 0>,
3064
<3063, 0>,
3065
<3064, 0>,
3066
<3065, 0>,
3067
<3066, 0>,
3068
<3067, 0>,
3069
<3068, 0>,
3070
<3069, 0>,
3071
<3070, 0>,
3072
<3071, 0>,
3073
<3072, 34>,
3074
<3073, 0>,
3075
<3074, 0>,
3076
<3075, 0>,
3077
<3076, 0>,
3078
<3077, 0>,
3079
<3078, 11>,
3080
<3079, 0>,
3081
<3080, 3>,
3082
<3081, 0>,
3083
<3082, 0>,
3084
<3083, 0>,
3085
<3084, 0>,
3086
<3085, 0>,
3087
<3086, 0>,
3088
<3087, 24>,
3089
<3088, 0>,
3090
<3089, 0>,
3091