-
Notifications
You must be signed in to change notification settings - Fork 7
/
abrame13-RunCollatz.in
1000 lines (1000 loc) · 10.1 KB
/
abrame13-RunCollatz.in
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
18 30
23 83
52 39
21 70
11 65
47 45
8 43
99 23
82 28
27 52
82 42
13 59
53 63
63 64
52 39
64 18
51 27
13 57
6 49
95 98
31 57
88 96
68 99
40 60
50 97
85 85
76 77
10 92
72 9
50 3
94 58
95 82
45 82
98 18
85 53
57 49
94 44
16 73
86 93
68 11
14 42
67 39
28 88
95 94
54 19
53 68
7 64
54 85
80 95
1 78
98 2
44 41
75 13
25 27
76 12
90 48
67 3
62 53
58 25
19 14
7 57
19 6
24 4
16 75
36 45
59 54
2 22
26 51
72 73
61 63
18 70
14 28
79 70
11 11
30 82
81 1
18 75
24 23
74 67
94 67
20 83
53 17
49 40
15 17
58 23
97 30
44 17
79 78
7 7
48 49
80 14
15 48
27 79
34 19
20 10
16 51
62 97
17 7
98 97
25 26
65 35
48 26
27 97
53 54
31 18
90 3
63 66
53 46
92 47
61 63
52 38
92 18
7 58
22 46
25 99
95 60
13 12
22 22
44 23
5 94
73 59
85 58
19 85
93 43
21 84
41 27
45 99
69 9
54 34
75 47
74 10
84 90
61 73
19 66
21 91
72 10
94 63
48 60
29 42
81 22
44 92
76 67
15 8
46 13
17 74
49 47
53 10
55 73
28 52
61 63
88 47
33 78
36 76
50 55
92 75
18 100
48 69
86 59
25 26
57 20
98 55
24 95
3 91
63 82
74 18
35 26
79 87
2 43
48 73
10 11
22 97
16 42
59 90
78 58
59 6
37 94
50 87
25 5
46 100
75 90
14 63
46 34
22 73
62 51
27 75
97 52
82 58
48 76
88 69
9 79
15 16
38 46
93 60
89 65
54 15
99 37
4 31
92 52
35 94
56 78
953 557
164 222
887 134
123 859
145 375
876 34
3 667
313 45
881 289
483 783
35 570
943 200
183 259
37 344
1000 126
627 303
656 622
696 881
146 35
693 172
385 318
236 531
896 243
314 75
11 924
947 53
737 592
592 816
223 129
464 659
209 990
824 679
909 569
58 612
597 946
734 848
72 320
642 481
741 90
203 198
343 792
792 786
677 841
213 865
51 221
580 603
73 99
14 50
560 969
407 164
966 152
277 912
289 196
646 600
503 378
443 490
125 482
217 723
479 525
442 405
9 51
449 148
467 35
439 999
43 600
834 570
45 188
780 888
702 511
957 439
527 108
748 527
558 801
133 211
879 386
62 213
10 888
654 106
137 367
982 839
58 186
914 183
868 671
313 826
982 342
770 138
260 287
733 967
712 203
307 335
255 690
737 13
185 805
340 452
551 843
408 947
180 155
91 255
633 174
173 984
895 847
679 167
828 118
379 663
811 263
811 586
589 827
273 212
433 884
854 324
472 259
480 841
820 819
639 957
987 806
980 760
608 151
698 565
46 868
517 672
95 266
293 829
65 863
857 300
465 326
799 850
640 527
852 484
358 562
39 45
453 445
849 345
312 564
834 396
68 981
739 819
892 803
433 196
436 223
996 271
151 574
41 910
332 265
123 775
641 817
693 409
575 651
705 172
662 24
488 973
442 307
305 273
53 579
146 916
1 63
205 91
826 317
911 763
887 778
133 821
316 842
681 451
37 91
871 997
39 376
297 958
444 218
509 253
679 519
191 862
497 265
981 400
606 45
828 320
320 792
8 990
872 644
692 143
684 149
842 387
475 323
871 434
958 338
27 315
503 520
914 550
15 857
270 833
902 125
151 673
149 262
927 516
131 673
730 835
953 373
173 600
615 826
460 40
540 425
520 402
815 857
914 301
355 631
976 166
605 918
103 424
484 121
171 614
374 945
549 723
807 708
160 277
920 398
25 951
15 631
487 917
879 508
547 316
862 379
605 859
207 140
26 241
183 222
697 13
876 54
871 311
828 48
180 393
783 310
535 784
986 640
613 25
131 903
487 89
293 944
271 284
998 490
491 768
712 451
883 741
215 326
619 413
135 623
267 559
394 709
380 807
760 632
159 899
719 73
590 553
2220 3442
5687 4092
3611 7668
6917 1959
5030 3342
415 5423
1446 4040
3033 1382
8346 7925
3175 7859
8126 29
1817 4230
7067 900
2364 6822
1772 108
7141 7167
5917 492
3505 7444
9739 7412
6884 2175
3863 6092
3498 49
1818 7238
3752 2090
4365 4734
4059 1327
6501 3394
3706 8969
5041 2082
4615 3020
5481 9155
9976 812
7390 4042
6059 7803
1705 1921
458 1311
4368 4464
272 1066
587 4104
369 4982
1741 3341
8104 51
4711 438
9618 9265
9840 6281
1427 4811
9906 5134
7592 6010
498 8090
4831 3538
1611 8995
7305 2122
644 3715
1314 8467
6888 7537
5066 9194
9466 653
6086 4318
4283 7831
1699 8308
953 1623
3665 289
3582 9872
5347 6719
542 6635
1248 3609
8993 918
9821 5879
1143 211
2512 3601
1113 4019
7466 4873
5706 9295
4306 7454
7015 4039
1583 5160
4848 6398
9767 5491
2728 9492
2153 6328
4791 6952
9663 9885
557 5189
9448 3553
3116 2472
6392 7334
4647 7923
9837 9900
8491 1217
9509 9376
7074 1533
7523 6117
8304 9691
5630 7216
6338 1861
9457 7828
1077 659
9459 9558
4367 7246
2239 2692
2893 9071
6661 1354
3319 8822
6615 8995
3821 2863
6162 5809
2654 8465
1255 6802
2718 9560
7796 7211
2839 5868
1231 416
2959 3438
4792 4028
1605 3420
7038 5332
108 2316
8065 855
5688 7072
3801 7765
7742 5250
3959 992
8381 8414
8792 5724
1732 4860
3166 1802
3251 5393
6224 3418
4626 4145
7805 2539
5510 2273
7953 5911
8940 1709
8459 7129
378 7544
813 5533
2118 4867
6868 3365
316 1439
1087 4992
2936 8570
8247 7332
2402 6828
1918 2636
4400 3849
2285 5884
8962 7390
3768 714
8157 7990
1368 8572
5210 2036
4464 6137
620 2443
3384 4824
7693 6617
7956 4041
6243 4600
8601 2633
7013 1328
114 9485
4104 8908
3342 5437
1568 909
457 7087
3714 7320
8079 8768
4848 5554
8020 4348
834 6845
5855 3498
9984 7011
8765 1118
3986 4752
3662 8185
2545 9478
8614 8661
9289 9418
3322 321
195 6488
8410 5529
9651 7126
2398 8003
5368 2128
239 702
1326 927
9858 6694
5923 5375
5625 1212
183 5313
6182 8266
9164 9923
8175 2840
5414 1584
3211 389
3237 3601
8285 1854
7103 594
4744 2393
6024 4413
2491 8072
7769 1883
665 5395
5450 4959
2375 8466
3484 3041
5063 85
8429 4605
2616 2222
6786 7434
1509 6841
1001 4388
3820 1364
4915 5891
2378 308
5479 7729
9248 2607
5981 7251
2610 7007
488 1074
757 9748
7479 6956
4757 6047
3308 7983
2453 1767
6878 2101
8777 9081
3961 9004
9893 6756
3775 2041
5620 4544
3749 9756
7029 502
7141 9127
6250 2884
5342 2974
9453 4947
8556 7867
3462 5550
956 8468
7700 2648
4889 5278
1320 7429
9367 835
5912 6473
7454 3437
4437 8826
1272 2215
9090 4305
3697 6112
5226 5295
95132 32221
61419 41343
16564 56321
65575 83331
58523 62714
13856 84986
31343 12275
24941 6158
77529 40098
99319 58817
13615 69099
79734 26780
91272 68549
94017 96371
56290 32593
9653 2440
58745 38870
55737 23136
33414 1131
21373 79182
61874 5216
14690 34562
52391 82834
34892 14898
48780 9304
98567 55422
75101 58103
20643 46376
33416 35494
86774 43413
97295 11023
10068 36200
96783 68413
44322 47337
33802 96975
8807 24756
31424 1133
78994 12752
7240 14860
57955 64400
7377 52617
29733 15212
46880 40059
42508 98806
77063 75741
16562 21677
59960 80437
36191 313
63246 91311
96688 48101
5950 71068
24960 43197
97432 4021
41493 63327
45705 97978
51763 40860
26357 70952
11588 16794
48884 64015
29694 7393
7820 43522
10690 28245
60024 90591
21362 95009
37059 90364
16251 54104
82679 49545
27575 88664
38686 25163
82676 78737
65191 42309
4426 56777
36295 82748
20197 4620
56822 58878
31002 42985
9526 39898
27771 27038
74967 14571
72213 32184
78877 88414
89659 48907
53770 83129
95669 99471
6785 88265
99821 3725
26000 50060
80725 38054
51757 47471
89527 90810
58591 68300
12198 27188
89156 2768
57124 41808
42818 82741
10488 61116
5190 96242
89400 62286
92071 88821
65819 11749
36042 53246
81035 78154
57900 64341
26922 24280
60496 77259
6124 22936
87903 82258
91309 8959
67183 95421
33844 28356
39155 24000
31137 31147
84078 25231
84892 84891
36382 14739
35485 83981
41969 26750
81269 27386
61008 74487
31706 8091
71543 10923
83565 30199
41912 73135
59855 15134
42660 17363
60087 72557
11437 77798
76750 40056
39310 15502
26290 30085
4471 20136
32647 47572
96551 82255
61282 15588
58976 1569
88919 22646
50596 80450
70580 74577
88818 60938
64791 53071
75601 72576
99149 10194
63480 74009
5210 55337
64334 44968
58949 905
15840 98501
124 81385
48405 54837
10044 53503
78935 53887
54800 42393
69917 42099
57975 83263
8668 90610
27692 98263
39833 88421
73950 10813
76701 70966
20801 84584
37478 20261
83969 28609
39787 11616
82108 88776
26570 18143
24414 25637
64058 17858
90568 56515
34248 71487
51712 13354
36496 34764
38944 43167
1866 86728
86037 78973
87900 35150
86609 48373
14998 6718
14561 27715
23179 85399
20359 9684
19416 94528
32652 72876
3327 20274
4478 42867
34274 39270
75008 94601
65597 28591
62811 3920
5541 58388
43136 42668
64578 65357
14802 63421
73942 64430
78868 88282
68452 73863
60180 82168
68815 70897
19660 21571
74208 55500
32132 75008
274630 254952
485250 722536
432646 444198
735918 949769
451772 13232
99513 795798
638733 591290
172095 391799
112480 831935
618392 208023
611285 614201
260843 90629
380262 508074
488576 785822
466121 643715
465682 518170
790821 649773
388679 853544
510005 240268
84359 126464
79145 15771
768302 35420
249094 460744
557163 254113
601322 321843
243042 429311
108627 648468
916692 425251
780801 227491
156949 487974
465289 504173
481916 8425
766307 855933
599733 352532
515012 694222
595352 285035
369688 894952
441756 531832
540633 959191
710501 666641
187840 601329
233645 30598
200831 981940
272373 681049
623905 891034
133725 233353
672236 10492
321185 716247
465945 69295
641675 619978
13274 494963
126523 866562
761576 380983
357478 792964
152386 789315
292726 648082
160962 657087
560595 416888
537510 768223
438241 739696
50824 922899
297554 445141
985348 75862
29281 14461
427053 291022
249089 765280
405408 709929
335138 268295
775895 960067
296384 334551
975900 801637
766445 238016
401993 12553
608241 631424
494477 446236
464111 744297
53686 970465
625572 596786
126797 147070
433510 270469
953990 556209
965147 734937
901759 341367
500166 186365
345473 164924
578964 262377
590513 777444
2052 394160
188909 809799
414863 732550
694155 52795
157335 340159
429011 907775
321789 631412
763110 197827
257895 231218
671513 696076
167612 749716
371736 38398
136545 508318