-
Notifications
You must be signed in to change notification settings - Fork 7
/
alexk-RunCollatz.in
999 lines (999 loc) · 7.7 KB
/
alexk-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
454 558
301 354
164 368
735 831
76 91
287 759
258 805
844 863
264 350
252 629
828 859
492 506
512 760
707 951
861 905
176 449
382 418
668 787
411 705
626 879
599 728
451 945
495 967
750 780
699 965
615 794
329 793
151 772
583 973
813 961
580 761
96 147
851 885
36 544
361 413
553 873
812 935
731 837
949 964
124 222
813 996
847 979
504 575
423 922
753 811
858 934
943 978
276 647
446 537
941 964
67 271
959 998
75 461
39 743
216 746
92 187
41 175
757 796
549 771
763 891
849 934
220 322
18 615
7 911
275 973
850 999
602 978
232 266
801 816
233 336
863 967
277 779
908 994
630 903
745 834
520 776
91 799
341 668
546 857
186 486
849 852
904 916
284 718
535 571
152 195
908 998
627 830
916 960
961 980
308 933
489 899
607 740
603 699
649 667
391 920
976 999
582 825
617 755
492 771
569 573
80 898
408 589
501 596
901 999
294 812
831 934
284 900
118 929
440 843
37 322
832 956
807 945
190 788
209 815
826 982
625 678
530 897
965 997
675 705
792 886
867 900
291 449
543 877
212 532
831 972
469 986
483 650
373 847
842 849
327 814
649 937
676 982
401 507
388 649
654 923
738 877
302 996
558 834
11 386
109 347
483 500
648 820
110 919
316 861
584 703
294 475
682 772
390 540
790 914
829 877
841 956
828 914
184 730
837 931
208 612
997 999
214 425
88 545
147 695
224 488
306 573
147 788
288 951
773 851
938 983
108 597
604 909
314 861
567 643
107 876
853 989
2 799
48 903
375 796
36 973
153 750
472 741
499 917
611 981
600 851
74 773
310 805
956 997
204 598
534 763
262 862
544 908
219 320
174 598
656 960
636 932
639 823
88 683
749 816
929 965
964 988
190 824
172 747
867 944
296 512
242 570
211 389
439 444
117 659
172 193
710 712
38 941
163 703
588 960
832 923
760 863
128 415
444 475
199 655
181 529
977 987
781 851
93 206
405 765
520 590
719 865
301 428
158 982
125 597
630 766
52 456
286 878
829 973
648 877
143 178
290 727
241 903
585 838
216 508
862 996
511 551
579 902
890 918
369 916
359 991
614 836
44 910
659 692
335 982
211 261
316 604
229 373
960 967
400 897
722 757
621 901
715 837
712 899
189 825
603 924
972 984
734 871
6 163
937 946
703 724
273 735
103 468
85 196
358 975
870 988
875 925
236 528
732 781
387 641
157 790
417 549
255 601
278 894
113 324
605 879
554 896
446 823
316 589
153 227
633 744
280 984
169 289
480 611
974 981
187 853
849 865
890 912
746 862
394 946
914 922
470 809
361 565
4 999
26 520
134 258
92 173
700 955
554 662
95 185
299 471
840 949
747 832
211 805
386 701
591 654
601 991
544 822
536 660
277 319
579 584
278 944
941 946
847 866
385 771
483 733
750 991
224 650
869 953
527 588
870 884
272 474
718 757
164 956
129 965
341 876
564 741
204 583
680 994
228 703
242 967
558 559
941 962
397 782
438 512
772 959
858 942
873 989
52 151
1 359
103 282
534 679
325 980
370 651
86 985
672 985
100 510
522 662
145 939
210 744
907 962
681 859
492 755
548 725
566 729
966 993
234 469
250 375
956 965
699 870
250 452
284 816
822 926
217 331
652 687
800 843
37 547
729 936
741 897
845 888
546 564
415 611
607 894
236 883
219 847
835 914
29 807
947 964
736 854
498 866
796 844
23 615
580 783
875 980
686 954
936 953
472 532
441 564
607 963
403 951
437 721
330 892
989 991
339 695
691 753
248 573
678 854
91 345
823 999
310 703
878 965
576 582
384 478
115 707
576 840
874 888
924 994
33 418
330 687
385 888
150 266
626 636
25 656
702 820
153 765
316 604
224 983
357 993
311 719
499 544
570 944
418 449
217 616
690 828
846 880
871 902
771 772
171 523
74 730
864 976
230 753
13 616
231 698
533 808
66 639
976 987
901 977
560 779
221 965
656 1000
855 881
161 544
561 648
206 472
331 732
962 969
865 895
97 759
419 701
17 151
405 654
379 856
184 544
883 912
678 801
672 999
432 824
864 888
599 963
165 553
943 947
497 504
225 692
992 998
885 902
796 984
957 981
686 879
195 407
830 984
752 917
599 878
106 638
660 910
59 340
251 372
496 764
702 772
276 872
585 946
613 884
421 711
640 732
705 905
937 954
157 840
678 772
456 912
406 750
920 954
846 977
537 593
442 473
412 993
990 1000
691 821
87 891
60 385
219 715
234 242
217 393
853 971
792 874
679 761
239 903
973 996
823 830
935 969
858 876
988 997
212 244
3 465
262 509
346 571
200 907
218 939
611 967
720 956
338 475
362 548
95 668
321 656
468 977
40 767
497 811
311 401
998 999
176 913
477 632
25 513
354 918
530 574
894 992
538 831
72 909
224 330
701 943
701 840
206 738
864 913
561 732
699 710
623 629
573 888
185 397
355 488
546 588
670 838
980 994
206 451
445 848
434 795
46 903
557 681
777 888
946 973
588 682
473 480
293 619
867 874
646 893
451 905
803 950
395 416
663 687
521 533
498 651
326 856
326 370
856 951
373 458
412 737
260 926
859 957
824 935
317 661
560 791
678 751
918 945
283 856
841 916
651 773
378 590
956 982
131 511
845 872
516 683
599 961
835 908
718 773
76 523
554 645
788 854
39 836
384 564
229 295
941 946
491 899
74 918
621 827
714 760
594 849
123 522
103 492
362 948
390 401
222 767
279 702
112 461
625 793
609 888
811 983
479 491
955 959
923 947
583 630
338 763
589 797
322 866
655 895
315 432
425 963
343 622
5 537
344 867
535 846
793 914
198 968
102 1000
531 929
647 847
810 907
685 853
226 859
711 967
577 638
464 569
243 977
953 960
79 656
95 838
402 676
270 807
148 370
201 751
149 185
228 443
598 769
791 956
237 336
687 755
990 991
338 791
986 986
553 951
184 322
315 338
340 616
316 333
477 602
603 821
614 861
403 607
805 988
183 530
941 948
493 936
67 803
328 422
643 968
803 986
883 945
685 995
808 808
67 717
439 468
676 788
557 804
689 818
550 691
23 565
740 981
742 780
402 601
910 924
762 910
916 960
728 781
40 729
827 985
711 724
411 955
214 741
597 807
11 639
400 847
353 377
283 403
657 699
9 58
551 579
951 994
611 926
479 925
48 170
683 694
637 694
66 225
354 509
70 226
283 505
395 484
148 548
109 214
639 812
342 639
17 402
622 842
711 851
557 754
409 459
190 460
273 351
540 917
582 977
679 714
829 848
493 708
196 881
376 599
861 929
911 982
495 997
102 290
912 966
385 579
666 768
751 761
193 739
282 591
945 958
921 995
164 465
805 914
707 835
624 745
626 825
957 957
769 814
457 782
263 745
316 913
595 872
732 733
86 567
209 744
905 969
483 554
996 997
951 958
871 967
719 906
866 999
651 770
763 889
892 931
908 917
189 499
695 906
789 950
329 934
737 996
251 904
726 826
37 861
243 399
616 881
922 997
607 806
813 957
977 997
487 867
252 603
566 872
476 972
535 712
70 389
459 668
98 832
456 845
148 423
736 736
266 883
462 787
2 350
287 371
125 361
847 867
7 889
590 965
866 867
761 774
344 529
495 982
936 989
178 197
368 562
261 422
245 462
497 874
698 806
8 280
746 983
987 991
3 248
872 914
198 941
477 981
240 805
675 921
413 856
189 416
986 994
989 990
81 605
691 932
95 193
952 978
348 741
31 630
532 794
306 599
218 511
714 800
74 834
308 706
135 163
958 993
987 993
519 565
906 918
490 783
282 905
321 931
503 780
793 889
162 999
579 976
854 989
125 205
150 861
818 924
421 571
786 957
165 640
880 920
953 989
835 998
4 156
783 889
459 459
415 634
985 996
457 635
272 889
246 368
253 381
164 523
847 891
626 759
173 201
175 204
618 901
100 542
183 697
912 994
125 459
645 909
154 630
966 986
78 697
686 840
984 997
739 901
722 725
227 996
59 178
302 967
399 750
739 796
5 656
916 991
626 911
408 408
421 782
528 595
942 945
777 975
992 995
430 463
821 923
304 725
913 959
652 717
526 789
772 974
578 1000
924 952
570 606
241 748
528 821
595 642
964 990
545 626
676 731
870 988
154 763
301 327
249 264
360 666
339 442
723 988
889 932
125 528
160 456
110 368
185 541
956 975
476 730
243 836
976 993
574 978
448 953
564 740
380 959
665 867
667 667
323 454
498 563
130 323
1 639
502 794
121 883
834 845
745 972
710 744
279 533
268 483
512 961
444 633
360 544
527 822
153 164
857 893
673 893
204 822
872 942
66 495
423 763
790 883
417 829
633 966
499 865
535 710
171 765
374 801
232 387
159 244
988 998
310 999
3 442
167 606
692 834
446 639
209 809
695 895
352 532
373 701
331 764
204 855
207 509
390 651
881 886
199 814
129 654
914 961
274 812
97 947
83 149
239 858
373 544
761 983
46 971
333 464
348 679
689 802
789 814
286 333
444 869
804 871