-
Notifications
You must be signed in to change notification settings - Fork 5
/
mattj-RunCollatz.in
1000 lines (1000 loc) · 13.5 KB
/
mattj-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
291188 290691
901681 901341
138904 138912
768036 768293
479346 479366
220645 221076
116034 115611
318 73
714286 714553
758929 758985
356310 355933
907026 907304
322634 322890
179842 179851
393659 393488
346899 347336
864846 864549
355791 355963
724118 724096
59650 59336
192907 192787
541453 541232
354488 354529
877605 877870
978910 979108
338158 338065
18983 19300
885188 885248
962958 962849
267979 267549
816625 816809
731609 731201
484349 484252
380456 380352
962879 962764
479440 479070
193783 194242
808817 808507
700394 700091
331804 331851
653376 653767
510951 510855
769999 769536
152506 152222
724265 723783
568582 568537
604497 604433
88631 88809
719535 719413
378509 378662
408050 408214
5641 6038
233488 233773
612995 613294
564098 564114
3562 3704
315333 315426
242567 242234
971078 970699
978055 978306
203123 203080
550306 550247
464066 464237
350575 350488
110198 110538
767404 766989
182829 182758
939258 939751
800615 800296
182234 182541
970512 970210
531015 530728
291453 291062
257758 257516
515284 515532
58406 58510
169415 169383
634273 634059
54446 54159
586581 586490
256791 256499
239835 239967
247559 247479
691749 691618
998848 998780
464533 464359
789974 789760
341272 341573
365342 365700
976718 976855
890325 889969
124354 124575
672922 672860
615062 615129
633555 633947
159275 158986
84455 84905
639700 640103
717960 718055
933114 932823
526587 527080
381004 381130
970870 970601
974993 974625
923834 924075
42005 41926
51265 51127
808717 808662
594512 594207
561005 561134
428124 427667
26686 26977
920969 921087
785191 785257
253509 253421
870002 870399
307775 308177
817048 817485
348662 349096
880735 880473
16390 16519
746608 746977
255219 254778
711818 712124
494299 494215
969062 968698
696044 696374
77863 77406
595777 595659
452598 453062
109589 109795
776347 776804
613757 614160
463654 463674
228902 229105
792516 792868
693961 694049
52601 53019
805871 805901
579822 579451
169760 169807
369983 370098
551968 551633
594760 594830
315502 315352
831752 832001
912824 912488
699060 699087
407082 406940
320678 320757
285846 285475
903056 902884
464989 464731
306534 306676
666746 667229
851718 851926
500261 499825
723466 723775
806180 806146
923905 924042
897772 898254
622220 622023
920437 920186
408723 408863
579661 579991
660307 660505
430148 429810
946211 946680
982524 982135
44735 44558
868437 868419
748565 748937
185225 184840
235451 235436
916563 916729
714492 714540
978484 978620
493557 493790
717644 717975
775516 775515
563309 563256
100856 101202
106029 106078
357294 357109
388787 388303
515189 515310
340386 340739
814856 814679
142971 142595
436660 437082
555805 556047
970780 970332
363528 363980
767810 768010
346130 346423
778140 777971
643099 643222
241258 241528
238776 238532
213869 213754
454195 453893
802034 802040
639998 639958
922915 922733
400926 401252
437148 437074
986490 986068
888666 888196
698028 698306
423122 423324
104457 104635
123085 122726
805755 806215
851092 851303
547688 547548
800805 800969
805395 805597
167341 167660
768702 768573
67123 67444
873963 873752
506719 506318
432490 432771
464177 464368
503498 503942
479649 479360
793078 793019
794428 794343
596917 596474
72355 72059
922876 922392
616590 616510
911085 911356
310379 310449
693201 693224
592007 591706
633190 632929
621724 621564
584943 585110
63004 63336
221366 221076
676593 676966
19151 19273
444767 444760
287414 287657
448431 448042
498341 498287
411422 411514
575531 575158
371438 371611
322534 322660
855835 856305
40157 40123
845951 845921
302051 302230
833856 834035
973811 973975
88736 88634
516307 515842
180036 179848
582353 582590
312825 312455
197897 197707
740020 740439
883641 883327
201054 200997
806500 806994
365353 365677
150542 150538
595436 595018
341909 341480
405321 405336
256119 256084
697355 697320
846563 846827
273672 274079
41242 41304
161502 161224
964928 965066
192829 192891
285309 285039
156191 156322
165062 165397
232696 232504
387696 387535
666871 667286
157524 157447
194398 193941
681569 681206
196958 197305
372798 373025
507942 508347
504402 504059
313056 312626
420349 420097
543670 543664
22944 23106
713182 713278
624634 624478
248279 248204
556996 556664
808670 808410
929789 930198
32669 32927
512516 512365
282684 282796
957521 957695
607873 607497
161352 161418
847479 847295
714256 714419
283236 282761
100424 100486
52173 51684
726335 726565
142961 143039
812331 811981
509268 508952
606620 606387
304788 305097
619544 619317
136525 136570
232571 232360
989768 989958
82046 81780
828450 828375
683534 683273
633426 633730
638873 638924
279514 279951
271173 271564
898717 899169
943534 943100
513174 512843
828129 827982
481915 481549
286354 286689
386871 386944
332554 333001
95806 96031
471587 471497
73325 73654
360729 360773
59955 59624
993991 994487
222665 222872
741512 741998
492061 492218
191145 190976
575476 575506
220132 219680
45835 46310
423148 422961
335886 335521
177739 177634
877866 878097
90741 90435
381411 381453
898334 898035
828363 828268
88649 89092
27506 27188
630808 630371
155987 156358
673852 673578
673378 672988
612674 612510
493070 493214
950367 950127
617552 617834
708877 709041
915189 915180
395493 395749
573985 573537
540319 540357
935540 935152
516241 515901
205678 205427
915940 915937
970971 970484
854699 855106
786796 786792
879872 879799
552083 551791
632437 632768
24158 24054
720084 719700
815691 815489
682255 682672
159354 159654
730609 730586
630812 630557
278345 277857
703201 702904
94944 95410
453305 452882
777774 777768
578189 577841
402723 402688
146381 146268
197595 197695
791074 790640
347937 347606
28039 28311
411727 411985
977892 978234
598628 599090
685936 685458
399734 399762
922713 922324
330459 330717
879579 880061
292742 292794
585278 585639
967628 967599
532824 532626
441729 441741
876562 876790
798784 798296
159442 159847
566890 566689
394002 393643
612481 612830
497773 497599
23404 23057
981136 981215
226399 226152
916000 916196
185685 185201
118852 118561
400041 400072
146547 146895
534222 534228
993040 993212
276220 276439
236573 236185
402251 402507
118583 118889
16607 16848
66923 66478
670476 670251
284751 284902
896705 897066
970404 970030
494744 494983
228872 229065
58499 58494
954295 954355
431837 431872
927898 927591
519959 519770
178957 178882
586656 586202
571064 570666
707329 707200
513806 513792
516718 516359
450066 449990
471951 472172
904774 905222
313243 313606
929617 929795
986163 985746
296435 296762
99942 99632
764919 765162
563741 564218
689180 689112
195938 195544
951895 952285
812295 812428
373379 373210
740282 739925
625496 625181
354631 354451
615549 615083
206765 206336
220669 220804
859164 859483
590013 590057
941488 941287
635040 635087
123324 123041
963324 963242
29942 30350
640756 640420
996757 997111
68185 68017
801953 802229
990005 989850
622300 622745
709011 708930
337646 337473
255578 255959
488407 488608
498527 498865
276413 276016
720377 720569
674180 674100
615291 615746
234357 233861
955641 955772
26511 26505
800899 800473
510397 509984
455895 456204
376816 376375
270625 270924
761407 761382
555568 555213
47647 47463
296398 296785
552728 552786
720926 721197
90785 91237
72049 72175
637115 636887
291345 291244
272364 272471
979903 980132
708440 708008
356810 357298
577879 577546
733571 733364
79008 79454
289436 289545
97147 97561
108191 108477
213936 214059
276687 276415
913871 914002
686513 686388
274252 274049
606464 606780
326927 327165
777704 778080
561774 562000
373601 373684
45687 45232
987921 987588
900747 900272
15603 15517
605434 604998
692076 692501
43327 43080
173386 173724
739557 739130
464666 464587
613619 613511
920483 920687
709938 709988
428880 429063
355445 355268
821818 821742
240943 240553
174560 174447
950938 951277
295125 294976
167388 167559
767829 767382
542359 542506
887238 886876
344208 344453
826727 826342
460113 459772
131279 131241
858923 858904
161882 161930
485225 484828
625586 625448
256006 256223
287167 287418
371408 371357
728217 727982
493641 494041
48344 48434
903115 903163
738336 737845
71088 70696
833300 833004
241736 241415
893037 893531
27265 27758
563519 563097
346790 347015
9280 9233
851925 852206
511773 511963
99957 99615
520552 520766
220653 220178
448566 448963
328717 328487
839685 839601
219873 219614
732845 732867
43299 43188
82413 82586
429049 428586
920556 920581
413571 413690
976180 975956
976495 976464
900175 899781
316229 316674
608883 608857
751796 751927
349188 349631
901640 901702
900159 900566
503487 503448
89321 89132
364964 364997
52594 52666
834554 834063
250048 249980
780267 779917
413898 414244
627330 627426
317361 317051
266297 266621
749221 749258
744424 744271
550015 550227
799446 798991
617478 617072
894605 894683
164778 164850
4873 4613
275871 276139
660343 659891
998809 998361
528517 528171
209453 209180
800373 800155
149979 149648
107523 107458
150318 150669
758755 758579
179192 179128
73206 72790
423047 422919
614364 614236
746083 746553
646278 646458
557935 557601
511504 511172
40905 40472
496730 496867
124825 124997
580398 580584
660903 661024
373882 373943
205858 206210
101787 101386
703091 703341
943809 943664
242986 243389
162443 161954
947909 947784
148837 149248
264532 264124
141344 141233
18242 18468
614859 614419
370269 370062
364398 364822
239138 239476
659651 659786
883024 882624
237163 237245
581523 581843
198241 198534
172324 172316
522207 522650
134116 133784
137062 136727
258590 258359
253796 253897
698132 697650
549204 549637
502845 503094
532412 532467
471671 471800
826628 826187
128948 128776
85425 85483
313872 313797
429989 429666
104580 104490
902741 902445
62416 62277
20653 20376
175824 175428
603500 603651
46085 45653
589415 588952
72081 72299
848185 848431
290530 290031
951552 951387
214837 214916
686100 686513
420780 421074
936146 935989
908643 909082
815704 815382
997588 997172
535390 535266
889023 888700
875651 875927
975857 975512
449399 449571
706224 706391
410682 410947
903546 903802
862534 862662
680842 680513
658768 658639
682911 682739
853865 853879
474460 474091
663962 664345
391277 390807
524565 524883
539835 539812
720966 721008
40532 40894
823605 823606
908784 909215
981388 981349
441172 440851
658351 658709
172111 171946
704980 704629
438300 438211
64540 64971
928682 928295
269728 269533
374723 375036
845885 845485
778103 778309
730335 729842
396914 397346
834394 834030
705146 705109
154175 154292
17931 17453
690516 690919
277532 277780
874637 874399
633603 633539
719654 719644
554060 553701
121343 121234
508572 509033
518257 517822
715401 715072
35110 34629
420352 419958
468279 468330
79029 78793
407793 407964
722384 722011
161493 161877
625621 625368
691692 691795
166528 166405
388607 389048
402518 402584
176408 176744
582044 582540
48953 49060
453921 454035
31055 31077
467114 467329
441240 440915
526959 527156
806284 806501
257079 257103
495109 494622
112589 112798
944994 944643
218212 218212
295409 295192
1077 738
40533 40547
70145 70392
985815 985904
343929 343590
269450 269271
90460 90480
998979 998752
835643 835807
753805 753686
743761 743973
627020 627395
29113 29027
642868 642428
514921 514708
731114 731383
745114 745125
223083 223583
621483 621846
997562 997868
405135 405610
635059 635549
715853 715552
180531 180369
105821 105383
479769 479318
345946 345967
374438 373939
145482 145366
230594 230470
269219 268773
107377 107809
923462 923091
769401 769184
476616 476251
58330 58106
528728 529118
600145 600483
909009 909187
87173 87622
486700 486249
30652 30887
436581 436387
446003 445817
257063 256707
411218 411641
779475 779861
915710 916162
805899 805746
946593 946530
394837 395109
766858 766605
412949 413157
117033 117278
896532 896204
540367 540251
574936 574459
896387 896238
503041 502916
424690 424759
8422 8830
813855 814080
517852 517992
318288 318470
835674 835254
195305 195048
728354 727965
339206 339241
831693 831334
233604 233179
794904 794862
824062 824206
295900 296222
228819 228423
752777 752856
214516 214848
730930 731275
101217 100984
126822 126680
233345 233106
61812 61688
181261 180877
696290 696433
823097 823185
416067 416372
556947 556938
337100 336677
481699 481982
422068 422482
985378 985704
95324 94956
531982 531946
783875 783683
509086 509184
686880 686881
473701 474118
889889 889625
311976 311931
726092 726507
259792 259713
724214 724580
570879 571279
24447 24927
689141 689493
191151 190709
866019 865915
247895 248005
786188 786414
516606 516659
242364 242122
231298 231258
885870 885793
476941 477412
270209 270234
731713 731256
729454 729719
626123 626438
456673 456746
373128 373595
443944 444145
48712 48764
687679 687786
474813 475005
447247 446816
921841 921894
147829 147347
28432 28018
6647 6735
798405 798177
724387 724659
126688 127015
733870 733992
710467 710024
377323 377059
995384 995772
843134 843316
347937 347775
426554 426096
559185 558926
233885 234313
498539 498859
215065 215064
343327 343482
566333 566193
71746 71349
723289 723654
837555 837794
777301 776856
370071 370471
920522 920932
453057 452774
507338 507175
355473 355359
858269 858136
728763 728775
867326 866923
272756 272752
925115 925061
323303 322899
700276 700453
174394 174367
286100 286268
258694 258370
247407 247127
676901 676563
467200 467408
134854 134524
139878 140224
879764 879549
309944 310219
868178 868469
923857 924188
169122 169347
93172 93066
839379 839129
410399 410248
800873 800561
838173 837802
483449 483211
644195 643960
842898 842864
373093 373555
801108 800608
266913 267228
444741 444757
353087 353534
860877 861047
634037 633871
104166 103967
497134 497198
455894 455929
444851 444864
392493 392201
767835 768074
468515 468639
198353 198719
763961 764325
679773 680214
388948 389185
226529 226705
665057 665395
54439 54107
415892 415694
193713 193410
771696 771730
492407 492515
568121 568543
329781 329297
95943 96181
390925 390703
386228 386581
208013 208192
826668 826893
498473 498854
568185 568163