-
Notifications
You must be signed in to change notification settings - Fork 1
/
indices_of_summands
9998 lines (9998 loc) · 183 KB
/
indices_of_summands
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
2 1 0 1
3 2 0 1
4 3 1 1
5 4 1 1
6 6 2 1
7 8 1 1
8 11 2 1
9 13 1 1
10 16 5 1
11 18 1 1
12 26 5 1
13 28 1 1
14 36 6 2
15 38 0 1
16 47 4 2
17 48 3 1
18 53 10 6
19 57 8 3
20 62 2 1
21 69 5 2
22 72 7 3
23 77 9 4
24 82 11 5
25 87 1 1
26 97 2 1
27 99 3 1
28 102 5 1
29 106 17 10
30 114 18 11
31 126 12 5
32 131 15 8
33 138 2 1
34 145 16 8
35 148 19 8
36 155 1 1
37 175 2 1
38 177 1 1
39 180 23 13
40 182 5 1
41 189 10 4
42 197 2 1
43 206 7 2
44 209 1 1
45 219 14 6
46 221 1 1
47 236 2 1
48 238 1 1
49 241 14 8
50 243 19 11
51 253 1 1
52 258 7 1
53 260 26 16
54 273 12 2
55 282 24 12
56 309 2 1
57 316 5 2
58 319 17 5
59 324 1 1
60 339 14 6
61 341 1 1
62 356 14 7
63 358 24 11
64 363 10 4
65 370 5 1
66 382 9 2
67 390 1 1
68 400 16 8
69 402 2 1
70 409 1 1
71 412 14 7
72 414 1 1
73 429 2 1
74 431 26 16
75 434 19 11
76 441 14 8
77 451 19 7
78 456 1 1
79 483 24 13
80 485 26 14
81 497 41 26
82 502 1 1
83 522 14 4
84 524 1 1
85 544 19 6
86 546 1 1
87 566 26 10
88 568 12 3
89 585 2 1
90 602 1 1
91 605 52 33
92 607 26 11
93 612 2 1
94 624 26 11
95 627 26 10
96 646 52 30
97 668 52 28
98 673 2 1
99 685 1 1
100 688 58 40
101 690 14 5
102 695 1 1
103 720 14 6
104 722 1 1
105 732 58 39
106 734 58 37
107 739 14 3
108 751 1 1
109 781 14 3
110 783 1 1
111 798 19 5
112 800 14 2
113 820 1 1
114 847 58 33
115 849 2 1
116 861 1 1
117 864 41 20
118 866 1 1
119 891 58 34
120 893 12 3
121 905 26 9
122 927 60 29
123 949 2 1
124 983 5 2
125 986 19 4
126 991 1 1
127 1018 2 1
128 1020 1 1
129 1023 14 7
130 1025 1 1
131 1030 2 1
132 1032 1 1
133 1035 19 11
134 1037 14 4
135 1052 1 1
136 1079 19 6
137 1081 1 1
138 1101 26 11
139 1103 41 18
140 1125 1 1
141 1155 52 24
142 1157 2 1
143 1164 1 1
144 1167 58 32
145 1169 12 6
146 1186 16 7
147 1191 58 30
148 1208 24 9
149 1230 26 10
150 1252 52 23
151 1257 52 20
152 1296 2 1
153 1308 1 1
154 1311 37 15
155 1313 2 1
156 1335 1 1
157 1338 14 6
158 1340 14 5
159 1355 19 8
160 1360 14 4
161 1377 1 1
162 1387 19 8
163 1389 1 1
164 1404 52 25
165 1406 2 1
166 1428 1 1
167 1431 26 9
168 1433 2 1
169 1462 5 2
170 1465 1 1
171 1470 26 11
172 1472 2 1
173 1489 14 6
174 1492 41 23
175 1509 1 1
176 1514 19 9
177 1516 14 6
178 1531 1 1
179 1536 12 5
180 1538 2 1
181 1550 26 9
182 1553 5 1
183 1594 1 1
184 1602 26 10
185 1604 14 4
186 1616 1 1
187 1641 2 1
188 1643 1 1
189 1646 52 29
190 1648 12 3
191 1660 14 2
192 1682 1 1
193 1707 85 54
194 1709 2 1
195 1721 26 8
196 1724 52 24
197 1748 58 32
198 1765 19 5
199 1770 1 1
200 1790 14 4
201 1792 1 1
202 1812 19 6
203 1814 1 1
204 1834 58 30
205 1836 2 1
206 1853 1 1
207 1856 14 3
208 1858 1 1
209 1900 52 22
210 1902 58 28
211 1919 2 1
212 1941 1 1
213 1944 14 4
214 1946 1 1
215 1966 58 28
216 1968 19 6
217 1985 1 1
218 2010 14 3
219 2012 1 1
220 2032 19 5
221 2034 1 1
222 2054 12 2
223 2056 2 1
224 2090 1 1
225 2093 26 9
226 2095 2 1
227 2112 1 1
228 2115 26 10
229 2117 26 9
230 2134 127 91
231 2156 19 1
232 2178 1 1
233 2247 2 1
234 2249 1 1
235 2252 12 2
236 2254 52 16
237 2288 2 1
238 2327 1 1
239 2330 26 6
240 2332 58 22
241 2354 58 21
242 2371 14 2
243 2393 1 1
244 2418 122 77
245 2420 1 1
246 2445 19 5
247 2447 1 1
248 2462 12 4
249 2464 2 1
250 2481 1 1
251 2484 14 4
252 2486 1 1
253 2511 52 20
254 2513 19 6
255 2525 1 1
256 2550 14 3
257 2552 1 1
258 2572 24 9
259 2574 2 1
260 2581 5 2
261 2584 26 10
262 2589 2 1
263 2613 1 1
264 2616 14 6
265 2618 1 1
266 2628 2 1
267 2630 1 1
268 2633 19 10
269 2635 14 8
270 2650 1 1
271 2660 26 15
272 2662 12 3
273 2674 14 2
274 2696 1 1
275 2721 122 79
276 2723 1 1
277 2748 26 8
278 2750 41 20
279 2762 1 1
280 2787 14 3
281 2789 1 1
282 2809 2 1
283 2811 1 1
284 2814 19 7
285 2816 1 1
286 2831 55 28
287 2833 1 1
288 2897 26 6
289 2899 2 1
290 2916 1 1
291 2919 19 3
292 2921 1 1
293 2985 151 100
294 2987 1 1
295 3029 16 4
296 3031 2 1
297 3038 1 1
298 3041 12 5
299 3043 2 1
300 3065 1 1
301 3068 14 6
302 3070 14 5
303 3085 1 1
304 3090 19 9
305 3092 1 1
306 3107 26 13
307 3109 58 25
308 3131 92 50
309 3153 1 1
310 3205 66 28
311 3207 2 1
312 3214 1 1
313 3217 58 27
314 3219 2 1
315 3236 14 5
316 3239 1 1
317 3261 19 5
318 3263 1 1
319 3288 19 6
320 3290 58 27
321 3305 2 1
322 3368 1 1
323 3371 26 6
324 3373 2 1
325 3390 1 1
326 3393 14 6
327 3395 1 1
328 3415 12 2
329 3417 2 1
330 3451 1 1
331 3454 26 10
332 3456 2 1
333 3473 5 2
334 3476 1 1
335 3481 26 11
336 3483 19 6
337 3495 1 1
338 3525 58 30
339 3527 2 1
340 3544 1 1
341 3547 14 3
342 3549 1 1
343 3591 66 35
344 3593 2 1
345 3605 1 1
346 3608 24 10
347 3610 2 1
348 3622 5 2
349 3625 1 1
350 3630 26 11
351 3632 14 5
352 3649 1 1
353 3669 19 7
354 3671 14 4
355 3691 1 1
356 3696 97 61
357 3698 1 1
358 3723 19 6
359 3725 1 1
360 3740 12 4
361 3742 2 1
362 3759 1 1
363 3762 14 3
364 3764 1 1
365 3806 26 9
366 3808 14 1
367 3825 1 1
368 3872 58 29
369 3874 154 111
370 3886 1 1
371 3916 58 30
372 3918 12 3
373 3930 5 1
374 3952 1 1
375 3960 26 9
376 3962 66 35
377 3974 2 1
378 3991 26 9
379 3994 14 3
380 4018 1 1
381 4038 24 8
382 4040 58 21
383 4057 60 22
384 4101 2 1
385 4118 14 3
386 4121 1 1
387 4148 2 1
388 4150 1 1
389 4153 14 6
390 4155 1 1
391 4165 19 8
392 4167 58 26
393 4187 52 20
394 4211 14 2
395 4233 1 1
396 4258 12 2
397 4260 2 1
398 4294 41 15
399 4297 1 1
400 4324 14 4
401 4326 1 1
402 4341 19 6
403 4343 1 1
404 4363 2 1
405 4365 1 1
406 4368 14 5
407 4370 1 1
408 4390 12 4
409 4392 2 1
410 4404 1 1
411 4407 14 3
412 4409 1 1
413 4451 26 9
414 4453 14 1
415 4470 1 1
416 4517 52 22
417 4519 2 1
418 4531 1 1
419 4534 14 3
420 4536 1 1
421 4578 19 5
422 4580 1 1
423 4600 26 9
424 4602 2 1
425 4619 1 1
426 4622 52 22
427 4624 2 1
428 4641 1 1
429 4644 14 6
430 4646 1 1
431 4666 58 27
432 4668 58 26
433 4707 2 1
434 4729 1 1
435 4732 14 4
436 4734 1 1
437 4754 19 5
438 4756 1 1
439 4798 139 83
440 4800 2 1
441 4878 1 1
442 4881 26 5
443 4883 2 1
444 4900 1 1
445 4903 14 6
446 4905 1 1
447 4925 19 5
448 4927 1 1
449 4969 19 3
450 4971 1 1
451 4996 14 3
452 4998 1 1
453 5018 12 4
454 5020 2 1
455 5032 1 1
456 5035 16 7
457 5037 2 1
458 5049 5 2
459 5052 1 1
460 5057 14 7
461 5059 1 1
462 5079 14 6
463 5081 19 7
464 5096 26 6
465 5118 2 1
466 5159 1 1
467 5162 26 7
468 5164 2 1
469 5181 1 1
470 5184 14 6
471 5186 1 1
472 5206 19 5
473 5208 1 1
474 5250 52 25
475 5252 2 1
476 5269 1 1
477 5272 52 26
478 5274 2 1
479 5291 1 1
480 5294 14 6
481 5296 1 1
482 5316 58 33
483 5318 58 32
484 5335 14 2
485 5357 1 1
486 5382 26 2
487 5384 2 1
488 5484 1 1
489 5487 122 73
490 5489 1 1
491 5514 14 5
492 5516 1 1
493 5531 12 4
494 5533 14 1
495 5550 1 1
496 5597 26 7
497 5599 14 1
498 5616 1 1
499 5663 19 3
500 5665 1 1
501 5685 26 4
502 5687 2 1
503 5765 1 1
504 5768 258 194
505 5770 1 1
506 5795 14 5
507 5797 1 1
508 5812 58 21
509 5814 2 1
510 5826 58 21
511 5829 2 1
512 5853 1 1
513 5856 14 5
514 5858 1 1
515 5873 2 1
516 5875 1 1
517 5878 19 9
518 5880 14 8
519 5895 1 1
520 5900 19 6
521 5902 1 1
522 5944 58 23
523 5946 2 1
524 6024 1 1
525 6027 26 5
526 6029 2 1
527 6046 1 1
528 6049 52 24
529 6051 58 27
530 6068 2 1
531 6107 1 1
532 6110 58 28
533 6112 14 4
534 6134 1 1
535 6154 19 6
536 6156 1 1
537 6176 58 19
538 6178 2 1
539 6239 1 1
540 6242 58 20
541 6244 19 4
542 6283 1 1
543 6308 52 17
544 6310 2 1
545 6322 1 1
546 6325 19 6
547 6327 1 1
548 6352 58 25
549 6354 19 6
550 6366 1 1
551 6391 26 10
552 6393 5 1
553 6410 1 1
554 6418 19 6
555 6420 1 1
556 6435 14 5
557 6437 1 1
558 6457 19 7
559 6459 1 1
560 6479 26 8
561 6481 2 1
562 6520 1 1
563 6523 19 4
564 6525 1 1
565 6550 14 5
566 6552 1 1
567 6567 12 4
568 6569 14 1
569 6586 1 1
570 6633 26 7
571 6635 19 1
572 6652 1 1
573 6721 26 5
574 6723 2 1
575 6735 1 1
576 6738 14 3
577 6740 1 1
578 6782 19 5
579 6784 1 1
580 6804 14 3
581 6806 1 1
582 6831 58 21
583 6833 2 1
584 6862 5 2
585 6865 1 1
586 6870 58 23
587 6872 2 1
588 6889 1 1
589 6892 14 7
590 6894 1 1
591 6909 2 1
592 6911 1 1
593 6914 19 11
594 6916 14 8
595 6931 1 1
596 6936 19 6
597 6938 1 1
598 6980 26 4
599 6982 2 1
600 7038 1 1
601 7041 58 30
602 7043 2 1
603 7060 1 1
604 7063 26 8
605 7065 52 25
606 7082 295 223
607 7104 1 1
608 7156 58 28
609 7158 12 3
610 7170 2 1
611 7192 1 1
612 7195 14 4
613 7197 1 1
614 7217 26 8
615 7219 58 21
616 7258 2 1
617 7275 1 1
618 7278 26 8
619 7280 2 1
620 7297 1 1
621 7300 14 6
622 7302 1 1
623 7322 19 5
624 7324 1 1
625 7366 26 4
626 7368 2 1
627 7424 5 2
628 7427 1 1
629 7432 258 190
630 7434 1 1
631 7459 14 6
632 7461 1 1
633 7471 2 1
634 7473 1 1
635 7476 52 23
636 7478 5 1
637 7490 1 1
638 7498 14 6
639 7500 1 1
640 7520 14 5
641 7522 1 1
642 7537 19 7
643 7539 26 10
644 7559 2 1
645 7578 1 1
646 7581 26 10
647 7583 2 1
648 7600 1 1
649 7603 26 11
650 7605 19 1
651 7622 1 1
652 7691 12 2
653 7693 2 1
654 7727 5 2
655 7730 1 1
656 7735 52 23
657 7737 2 1
658 7749 1 1
659 7752 14 7
660 7754 1 1
661 7774 2 1
662 7776 1 1
663 7779 58 34
664 7781 19 8
665 7798 1 1
666 7818 26 5
667 7820 2 1
668 7881 1 1
669 7884 14 3
670 7886 1 1
671 7928 19 5
672 7930 1 1
673 7950 14 3
674 7952 1 1
675 7977 52 21
676 7979 2 1
677 8008 5 2
678 8011 1 1
679 8016 14 4
680 8018 1 1
681 8055 2 1
682 8057 1 1
683 8060 19 8
684 8062 12 3
685 8077 2 1
686 8096 1 1
687 8099 19 7
688 8101 1 1
689 8126 14 5
690 8128 1 1
691 8143 19 7
692 8145 1 1
693 8165 14 3
694 8167 1 1
695 8192 19 3
696 8194 1 1
697 8236 52 24
698 8238 2 1
699 8250 1 1
700 8253 12 5
701 8255 2 1
702 8272 1 1
703 8275 26 10
704 8277 58 31
705 8294 26 10
706 8316 151 105
707 8338 1 1
708 8368 12 2
709 8370 16 3
710 8404 2 1
711 8421 1 1
712 8424 14 4
713 8426 1 1
714 8451 14 5
715 8453 12 3
716 8468 52 21
717 8487 2 1
718 8509 1 1
719 8512 58 26
720 8514 5 1
721 8531 1 1
722 8539 26 10
723 8541 26 9
724 8553 2 1
725 8570 14 2
726 8573 1 1
727 8617 19 4
728 8619 14 2
729 8639 1 1
730 8666 12 2
731 8668 2 1
732 8702 14 2
733 8705 1 1
734 8749 2 1
735 8751 1 1
736 8754 19 6
737 8756 1 1
738 8771 52 18
739 8773 2 1
740 8812 1 1
741 8815 19 4
742 8817 1 1
743 8842 26 9
744 8844 26 8
745 8856 2 1
746 8873 26 7
747 8876 19 3
748 8917 258 200
749 8942 1 1
750 8947 14 4
751 8949 1 1
752 8964 2 1
753 8966 1 1
754 8969 12 6
755 8971 14 4
756 8983 1 1
757 9013 52 23
758 9015 19 4
759 9027 1 1
760 9052 26 8
761 9054 58 27
762 9071 14 2
763 9093 1 1
764 9118 139 91
765 9120 2 1
766 9132 1 1
767 9135 19 6
768 9137 1 1
769 9162 14 5
770 9164 14 4
771 9179 1 1
772 9184 37 17
773 9186 2 1
774 9193 14 2
775 9196 17 3
776 9240 1 1
777 9250 19 5
778 9252 58 26
779 9262 2 1
780 9308 1 1
781 9311 14 3
782 9313 1 1
783 9355 19 5
784 9357 1 1
785 9377 41 13
786 9379 1 1
787 9399 258 205
788 9401 1 1
789 9443 55 17
790 9445 1 1
791 9509 122 68
792 9511 1 1
793 9553 64 21
794 9555 1 1
795 9575 258 197
796 9577 1 1
797 9619 258 196
798 9621 1 1
799 9641 258 195
800 9643 1 1
801 9663 12 2
802 9665 2 1
803 9699 1 1
804 9702 26 9
805 9704 2 1
806 9721 1 1
807 9724 26 10
808 9726 26 9
809 9743 26 7
810 9765 2 1
811 9804 1 1
812 9807 19 4
813 9809 1 1
814 9834 14 5
815 9836 1 1
816 9851 12 4
817 9853 14 1
818 9870 1 1
819 9917 19 3
820 9919 1 1
821 9939 58 26
822 9941 2 1
823 9958 1 1
824 9961 58 27
825 9963 2 1
826 9980 1 1
827 9983 58 28
828 9985 26 3
829 10002 2 1
830 10085 1 1
831 10088 52 19
832 10090 2 1
833 10107 1 1
834 10110 14 6
835 10112 1 1
836 10132 58 24
837 10134 14 1
838 10173 1 1
839 10220 19 3
840 10222 1 1
841 10242 2 1
842 10244 1 1
843 10247 14 5
844 10249 1 1
845 10269 12 4
846 10271 2 1
847 10283 1 1
848 10286 12 5
849 10288 26 8
850 10305 24 7
851 10349 2 1
852 10366 26 6
853 10369 2 1
854 10388 1 1
855 10391 14 5
856 10393 1 1
857 10413 19 5
858 10415 1 1
859 10457 151 87
860 10459 1 1
861 10501 52 20
862 10503 2 1
863 10520 1 1
864 10523 12 5
865 10525 2 1
866 10537 5 2
867 10540 1 1
868 10545 14 7
869 10547 1 1
870 10567 14 6
871 10569 19 7
872 10584 167 100
873 10606 1 1
874 10655 258 190
875 10657 1 1
876 10677 12 4
877 10679 2 1
878 10691 1 1
879 10694 12 5
880 10696 2 1
881 10713 1 1
882 10716 14 6
883 10718 1 1
884 10738 26 12
885 10740 26 11
886 10757 14 2
887 10779 1 1
888 10804 258 191
889 10806 1 1
890 10831 19 5
891 10833 1 1
892 10848 58 30
893 10850 2 1
894 10862 5 2
895 10865 1 1
896 10870 14 4
897 10872 1 1
898 10909 19 6
899 10911 26 5
900 10931 2 1
901 10972 1 1
902 10975 58 30
903 10977 2 1
904 10994 1 1
905 10997 58 31
906 10999 19 1
907 11016 1 1
908 11085 26 5
909 11087 2 1
910 11099 5 2
911 11102 1 1
912 11107 14 4
913 11109 1 1
914 11146 19 6
915 11148 14 2
916 11168 1 1
917 11195 19 4
918 11197 1 1
919 11217 60 25
920 11219 2 1
921 11226 5 2
922 11229 1 1
923 11234 12 6
924 11236 2 1
925 11253 1 1
926 11256 14 7
927 11258 1 1
928 11273 2 1
929 11275 1 1
930 11278 19 11
931 11280 14 8
932 11295 1 1
933 11300 26 16
934 11302 19 7
935 11319 1 1
936 11344 14 3
937 11346 1 1
938 11366 19 5
939 11368 1 1
940 11388 41 21
941 11390 1 1
942 11432 258 198
943 11434 1 1
944 11454 258 198
945 11456 1 1
946 11498 241 174
947 11500 1 1
948 11586 26 4
949 11588 2 1
950 11600 1 1
951 11603 12 5
952 11605 2 1
953 11622 1 1
954 11625 14 6
955 11627 1 1
956 11647 26 10
957 11649 258 193
958 11688 1 1
959 11713 14 3
960 11715 1 1
961 11735 19 5
962 11737 1 1
963 11757 258 191
964 11759 1 1
965 11774 2 1
966 11776 1 1
967 11779 26 2
968 11781 2 1
969 11881 1 1
970 11884 58 24
971 11886 19 4
972 11925 1 1
973 11950 58 21
974 11952 2 1
975 11964 1 1
976 11967 19 6
977 11969 1 1
978 11994 52 19
979 11996 19 6
980 12008 1 1
981 12033 14 3
982 12035 1 1
983 12055 2 1
984 12057 1 1
985 12060 58 26
986 12062 58 21
987 12074 19 2
988 12118 1 1
989 12143 26 6
990 12145 19 4
991 12162 1 1
992 12187 26 5
993 12189 2 1
994 12245 1 1
995 12248 52 19
996 12250 2 1
997 12267 1 1
998 12270 14 6
999 12272 1 1
1000 12292 19 5
1001 12294 1 1