-
Notifications
You must be signed in to change notification settings - Fork 7
/
andrews-RunCollatz.out
1004 lines (1004 loc) · 17.4 KB
/
andrews-RunCollatz.out
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
1 10 20
100 200 125
201 210 89
900 1000 174
398676 219808 443
776743 336734 470
171694 40382 383
641707 663249 429
996706 548674 525
267809 691639 470
524570 690126 452
892768 756600 525
289571 606122 470
923551 551949 525
718499 513187 452
548446 203209 470
105084 921543 525
260366 947634 525
124035 593513 470
518954 997995 525
863307 887038 432
835629 178995 470
856676 214234 525
742429 756925 424
967593 214237 525
666038 780950 468
865107 390245 525
331992 465570 449
4543 592532 470
871112 277371 525
54207 656843 470
200992 710121 470
341043 569609 470
858943 954533 476
891393 907415 401
212478 838430 525
460390 290898 449
37166 417071 449
7907 183241 383
568220 130334 470
437866 823921 470
31138 867118 525
683510 161901 470
717697 650544 442
682604 953548 525
647196 428152 470
656545 550233 447
154260 132695 375
893669 738588 525
175210 625150 470
120592 902781 525
948027 532762 525
544033 561646 452
885745 581590 525
686059 991355 525
808451 557132 468
440302 320457 449
865733 46357 525
314792 477897 449
91956 396096 443
723600 173592 470
813832 220160 470
982870 525840 525
108801 261190 443
726265 769540 468
428078 78557 449
524377 138501 470
208360 149476 383
929178 699683 525
205930 627288 470
623262 276885 470
413805 878120 525
440348 977403 525
503905 343715 449
736938 945324 525
779059 267882 470
203078 83508 383
533 507236 449
601526 265911 470
401907 44155 443
739697 21426 470
303914 95339 443
377749 51885 443
75003 398746 443
148355 550714 470
503319 848956 525
268656 581733 470
54970 734576 470
770575 598049 468
184883 894428 525
569542 519246 452
183436 614444 470
504421 92500 449
317042 230616 443
649917 397517 470
820071 663618 468
501427 382745 449
244934 543392 470
817750 39097 470
147506 443516 449
969164 533052 525
615845 19758 470
577853 523711 452
951659 108504 525
771082 886674 525
323293 108412 443
466877 674094 470
782721 743799 468
384691 258861 441
138601 339539 443
137882 38931 354
661814 459967 470
315133 536364 470
928564 421444 525
38411 732305 470
684726 730235 442
590218 127579 470
586258 696169 447
100780 519507 470
12311 551928 470
875496 525045 525
791965 221845 470
754880 568249 447
253508 251363 319
275027 950219 525
936645 90847 525
953462 708323 525
482745 370894 449
766763 480876 470
371298 471306 449
615240 287013 470
280702 541393 470
134700 56063 354
629588 368838 470
38261 355456 443
827698 450207 470
687828 591426 447
530353 257062 470
966630 266251 525
333036 236634 407
601938 573361 434
32705 187335 383
66229 226315 386
156586 365051 443
378787 884792 525
134187 521402 470
129812 523431 470
607974 28366 470
664412 292900 470
791148 341570 470
782771 959651 525
253373 236883 368
263767 783080 470
553034 138335 470
471949 191090 449
569765 818070 468
747537 328048 470
256293 462738 449
494831 370352 449
369478 476502 449
609627 519494 452
408663 338454 441
694547 85811 470
129478 5442 354
325410 24578 443
501680 901727 525
619984 111089 470
758287 803241 468
267745 644899 470
944372 24257 525
73201 499855 449
715194 153651 470
121493 838636 525
141058 920795 525
645036 210174 470
973284 795599 525
29371 76796 340
91093 441417 449
696706 774075 468
421123 100804 449
51220 728947 470
316492 102313 443
497578 257008 449
838753 99086 525
513322 254559 470
950688 193084 525
107889 142418 349
500689 31181 449
460730 917461 525
795929 367130 470
769323 307611 470
501276 702528 470
578520 910965 525
156119 4533 375
5321 112838 354
209793 722445 470
255913 244865 363
804428 876569 525
939019 720388 525
891818 541268 525
641025 903293 525
477951 413269 444
832755 503824 470
586019 253277 470
384504 256775 441
530396 929252 525
56872 677800 470
539673 451961 470
147200 250735 443
584443 455900 470
738115 802342 468
792427 668237 468
397508 393014 405
617754 594293 447
397250 35560 443
788527 595444 468
324506 654180 470
695755 538880 452
974609 649410 525
977617 549965 525
987878 530017 525
768327 323236 470
952892 980215 458
325593 451891 449
417686 578167 470
788988 343884 470
254331 855374 525
269005 904979 525
900133 875222 432
154676 910634 525
723335 102380 470
7689 141553 354
431485 515312 470
471159 608374 470
785867 90255 470
22585 992979 525
887900 258825 525
719864 164548 470
991213 21529 525
36927 559882 470
942224 172220 525
229518 337162 443
160244 486445 449
908214 904462 383
98774 93433 328
475310 621064 470
611603 389681 470
924697 861301 476
402678 372854 436
675779 223707 470
351927 843963 525
447559 899032 525
906845 838740 432
907297 250255 525
552581 885224 525
395648 616448 470
671191 587930 447
724224 595802 447
337056 216400 443
394899 295063 441
676146 774257 468
847776 196235 525
165222 984915 525
579483 548699 421
508902 610170 470
682345 796994 468
214544 215092 249
456927 523353 470
604675 929400 525
510713 612335 470
926343 118074 525
254887 900329 525
932541 936297 414
201108 716268 470
483626 360094 449
39067 104606 351
866919 510434 525
461825 333015 449
572362 297202 470
382080 974378 525
837967 512508 525
675520 99501 470
327434 824213 470
763096 621921 442
696251 523149 452
891565 45263 525
305468 571735 470
138633 520313 470
75903 504443 449
932959 175695 525
641460 86174 470
700271 605523 447
355313 10626 443
554913 661572 447
787128 588392 468
712206 549439 447
55097 312958 443
570691 615057 447
405347 198813 443
63627 248231 443
962314 687244 525
540510 591149 452
401561 382168 436
145810 794029 470
235135 35342 443
139066 439665 449
644716 406290 470
917434 933813 476
679277 537136 452
962674 771972 525
634349 914563 525
906602 89263 525
271131 81432 443
902745 787982 525
523511 990897 525
999115 517233 525
482544 739631 470
602537 560451 434
970468 750352 525
782214 208649 470
217037 364750 443
541356 850399 525
363437 433345 449
364031 264639 441
684641 610339 447
797344 536649 468
306836 457369 449
47322 790775 470
13814 896405 525
860837 415794 525
262901 97436 443
124221 384119 443
808683 481621 470
351486 785297 470
874214 130369 525
369944 462596 449
130337 145609 375
397164 586634 470
103916 984447 525
38903 99062 351
408528 834272 470
482441 605459 470
326416 567630 470
843333 613752 525
822218 636345 468
933934 862911 476
568607 822348 468
988778 153923 525
113693 532358 470
342493 944191 525
136044 892726 525
631547 481580 470
150376 804815 470
134005 489422 449
280055 818927 470
939781 165619 525
726504 112632 470
841104 448816 525
808448 755607 468
330782 960521 525
354958 945449 525
951392 370710 525
161160 67332 383
963967 458379 525
481243 786520 470
605311 201544 470
563839 424724 470
746780 258659 470
414966 716314 470
636133 529168 452
787064 654749 468
356875 746405 470
558981 370245 470
428067 662753 470
913223 423896 525
241797 343654 407
209299 814810 470
557299 572763 421
926723 699656 525
323460 325927 384
261141 397445 441
984971 179575 525
258055 764067 470
861756 111866 525
739860 615430 442
313919 811463 470
407567 831005 470
753458 589594 447
929869 768187 525
821034 233241 470
206939 822536 470
923377 467097 525
559801 296549 470
213683 593712 470
779936 540608 468
99458 730309 470
62156 887421 525
327478 730384 470
163759 707359 470
948560 937847 445
874239 953853 476
968620 662114 525
218052 127520 386
679000 627917 429
480568 571958 470
713879 592652 447
284621 548118 470
897009 241710 525
235471 733651 470
188482 196988 360
442327 393174 449
97063 308753 443
793906 43491 470
165784 525474 470
986737 762428 525
630280 630159 279
600618 564651 434
906482 224432 525
455866 766473 470
863254 600206 525
154025 176989 383
810751 843877 525
149168 327261 443
177402 834657 470
654607 566638 447
393295 919748 525
602110 623980 447
120824 285792 443
227528 265409 443
108834 684606 470
115095 936708 525
103565 980890 525
436251 385440 449
524183 258590 470
451800 648945 470
132369 183240 383
158402 278431 443
113387 708516 470
395600 147888 443
397855 996992 525
671629 275314 470
397134 378825 436
368330 379873 423
632002 890886 525
576976 592052 434
839939 333494 525
990071 281915 525
699529 514509 452
505426 76542 449
975766 789185 525
948209 838712 476
865357 354637 525
310865 419630 449
271862 541505 470
510347 538875 470
182993 843304 525
246896 664406 470
594372 602978 403
570186 458497 470
754372 646629 442
381464 792622 470
408673 952965 525
792568 691851 468
785627 425639 470
125776 643350 470
371084 912955 525
336333 59380 443
83887 438851 449
210638 196128 373
951495 380353 525
572781 256253 470
406372 119297 443
6087 476269 449
158667 402822 443
21360 436489 449
65517 884998 525
561522 501654 470
774791 769707 393
505257 700497 470
923622 628542 525
724451 785937 468
810282 149520 470
418479 157080 449
293695 872267 525
543976 494943 470
792536 189772 470
54401 668418 470
893279 630458 525
371570 752476 470
720109 319968 470
243046 206280 443
55308 380749 443
613968 880446 525
768427 820287 468
454737 343203 449
921882 915045 432
49704 637267 470
809451 36383 470
599831 844054 525
465616 470141 413
724416 889875 525
442854 245324 449
254493 657118 470
336852 345027 366
501119 138098 449
48260 567970 470
168844 632452 470
554272 703900 447
591809 820609 468
676086 631540 429
149644 131573 375
633134 978175 525
771795 644246 468
754853 377037 470
134479 670304 470
677538 343793 470
580837 859282 525
294452 341522 384
271277 737002 470
480636 827908 470
467187 364331 449
499009 264652 449
619131 375616 470
868032 643759 525
167473 59152 383
267095 389779 441
9356 938046 525
807885 194335 470
769886 44709 470
689679 626765 429
892968 184387 525
502858 774145 470
657381 237593 470
909831 35211 525
92212 877457 525
1344 329876 443
788350 63247 470
445680 374791 449
275011 663923 470
975686 896191 476
518217 203128 470
448523 813587 470
744356 753945 424
242246 287362 407
141442 809278 470
45990 408934 443
453383 463096 444
341922 513304 470
623290 319992 470
507901 195643 449
353567 293405 441
353529 601932 470
469972 321689 449
868059 972598 476
815073 638310 468
239358 831285 470
335929 468663 449
528925 265776 470
480340 439247 444
956939 138950 525
704166 66376 470
440253 324948 449
252831 396085 441
444855 36405 449
226957 628996 470
864395 338398 525
251829 704118 470
609231 525113 452
124888 56401 354
864629 181986 525
980294 753949 525
948892 443113 525
533941 1636 470
266642 591455 470
475168 383676 449
318222 985477 525
999712 532908 525
671723 209758 470
760244 632072 442
377793 564477 470
765148 671859 442
725823 582699 447
288495 956119 525
588168 348205 470
393332 695097 470
526910 900821 525
291583 651323 470
822730 749392 468
256199 487072 449
652875 911400 525
839577 701068 525
475988 218472 449
964069 730175 525
968721 305637 525
716116 856084 525
933751 541685 525
450453 161237 449
504575 582944 470
71981 655694 470
387352 629719 470
223786 25332 386
96453 53291 351
80725 557613 470
554289 649922 447
93234 744922 470
438121 545229 470
120901 913063 525
885225 264615 525
221837 6847 386
323810 10624 443
111351 156653 383
143137 808224 470
443983 792838 470
998473 782857 525
29678 829683 470
972850 633470 525
659108 736399 442
420144 14313 449
508926 175210 449
248197 24354 443
331621 642889 470
143191 117419 375
224772 247249 443
398057 268756 441
525929 449031 470
422241 58036 449
138132 202188 383
243737 9554 443
646502 788552 468
419752 398410 449
649835 551102 447
531057 743254 452
593364 33349 470
424153 268403 449
104654 751791 470
831931 334551 470
46522 37810 314
397116 312071 441
247253 214201 443
586351 33216 470
970892 558751 525
113312 411571 449
387283 971748 525
638520 571482 447
931734 972670 458
987481 974603 427
646174 494634 470
608955 913433 525
991740 994924 365
866060 363214 525
327348 341380 366
952177 553706 525
521207 932202 525
491230 230290 449
743666 182706 470
581162 315698 470
715393 651856 442
987430 990145 352
904505 43906 525
371574 393070 436
380902 115550 443
811478 762587 468
524097 95732 470
868842 584853 525
475744 583172 470
406331 934238 525
654946 598471 447
104199 468282 449
51469 170791 383
723175 531740 452
397334 210666 443
53732 780567 470
355919 857211 525
820000 170632 470
456894 940284 525
843258 231170 525
504853 63671 449
289042 700165 470
316665 474802 449
588872 848273 525
529628 400217 470
360691 294728 441
536966 416737 470
886174 770326 525
619205 749074 442
377506 538329 470
287710 832178 470
991422 932987 458
751943 592479 447
257688 221031 443
981867 774900 525
30962 200620 383
423069 312179 449
44412 538327 470
177071 464665 449
312880 661656 470
647175 999648 525
483536 649519 470
31118 863124 525
450032 103233 449
138441 752290 470
770554 834566 468
699557 930104 525
158288 806847 470
917306 89644 525
211878 673183 470
6991 183589 383
292699 529450 470
958409 449074 525
847082 513726 525
677489 959656 525
720370 365471 470
683022 57094 470
610995 645941 447
200384 120960 383
850253 883993 432
586647 133314 470
823280 684617 468
70027 568685 470
685703 676066 380
391924 960638 525
401450 728726 470
240201 906319 525
23979 45953 324
119028 979545 525
298918 18486 443
355641 68828 443
177479 183023 365
881735 226711 525
199216 196794 329
280618 593537 470
888825 845781 432
444456 777379 470
474867 449116 444
180548 807303 470
112356 642591 470
279694 53486 443
293706 945798 525
344172 107571 443
854200 574815 525
945162 306850 525
346944 455781 449
650112 403865 470
326033 333514 353
90862 560705 470
196695 204459 342
482028 157447 449
260482 550052 470
867778 5294 525
390211 305050 441
344991 318311 384
416099 433302 418
968574 285553 525
375779 80422 443
223355 283224 443
814897 848704 525
980051 931905 458
496278 477791 426
510607 512692 470
25329 781330 470
811131 184355 470
550916 396941 470
43667 710215 470
17502 509035 449
371989 814434 470
98176 947290 525
25526 832696 470
519954 396399 470
970527 568607 525
14538 157401 383
357827 541401 470
785083 376808 470
16873 698237 470
996076 14536 525
831762 238341 470
2697 467185 449
200832 306962 443
23487 791187 470
485865 311116 449
792877 944246 525
12158 707598 470
931014 332983 525
391226 22094 443
773254 361121 470
243630 850416 525
836768 903106 525
444035 493109 444
897051 788084 525
201974 799770 470
141737 661135 470
883639 964314 476
217353 265298 443
299974 913500 525
517479 542447 439
988299 351632 525
49029 160827 383
215204 148261 383
665557 704591 442
913713 374009 525
249318 374381 441
943631 882125 476
327260 506220 449
72671 316872 443
147285 449446 449
236316 941607 525
279672 495170 449
64180 441654 449
630453 739219 442
708438 601424 447
331187 99199 443
933719 756478 525
850522 437182 525
733311 450198 470
758908 692596 424
892503 245185 525
402848 200170 443
260400 657939 470
988653 378562 525
473267 387281 449
395645 443438 449
51223 231447 443
754908 272034 470
482442 505902 426
103215 508090 449
401021 640405 470
37195 565269 470
431856 777194 470
407604 18981 443
460394 989388 525
485543 224078 449
231094 933009 525
46468 485425 449
242574 55809 443
580282 321457 470
131185 761958 470
433384 78930 449
2706 701263 470
596387 106395 470
67028 429801 449
834039 681448 468
910000 578317 525
839751 603623 525
781882 154099 470
658728 477368 470
716533 449073 470
953869 46477 525
198664 703098 470
550404 535202 452
772857 782867 437
657705 171854 470
934736 708137 525
334033 342188 366
346257 408871 436
804281 592215 468
794727 750046 468
554895 945778 525
264437 390915 441
212097 764136 470
861664 713816 525
105787 926409 525
35117 429576 449
464499 673991 470
810465 137235 470
309596 78333 443
163035 885365 525
957977 694545 525
740649 74778 470
463835 632490 470
789366 467739 470
628784 371216 470
269578 373370 441
75646 739021 470
797810 958343 525
233019 958404 525
443226 548591 470
31487 646088 470
480350 908312 525
14802 89919 351
605914 868128 525
122715 394782 443
33983 577446 470
934008 539892 525
302816 33391 443
466379 988177 525
16737 456621 449
127090 543433 470
515215 472554 470
891768 454801 525
152581 239858 443
599483 119893 470
938406 66003 525
770519 261623 470
44308 723779 470
793100 194241 470
562147 604556 434
665458 601710 447
243117 545407 470
917387 187887 525
480024 653417 470
941436 123487 525
431901 836273 470
971400 813750 525
707099 591594 447
648141 516478 452
23976 848936 525
754186 634950 442
639357 432125 470
101874 768177 470
343591 604613 470
430276 564308 470
771488 168979 470
643190 39016 470
162849 215825 373
689600 261454 470
156034 966397 525
16977 443596 449
471676 692071 470
191151 705863 470
869779 93057 525
787000 480091 470
538710 844243 525
558560 487659 470
324070 756073 470
91034 307022 443
396990 844321 525
143851 914391 525
18253 139774 354
927954 332418 525
935709 125569 525
967737 367011 525
465388 877428 525
476867 892651 525
7353 428317 449
243324 220014 443
691711 875243 525
951657 956869 414
115715 884151 525
440728 483473 444
423653 183493 449
43103 963459 525
992355 596053 525
367321 798505 470
103357 93394 341
62348 463467 449
547391 894442 525
164885 813171 470
759730 587211 447
66066 98210 351
445624 809095 470
779545 680715 468
57891 329700 443
466265 681906 470
338271 818786 470
666632 670572 367
813915 671047 468
484874 25452 449
730486 578138 447
311839 826542 470
210479 998985 525
323110 481812 449
975512 366660 525
128190 284968 443
384070 551170 470
932550 26274 525
945186 400676 525
614640 863540 525
124074 613685 470
703550 506097 470
697376 639187 442
316417 709011 470
205777 671191 470
783719 119383 470
546621 992259 525
870842 176559 525
149154 899371 525
949172 643278 525
473146 439182 444
891825 99980 525
330422 461326 449
922300 121298 525
56188 86278 351
93547 573216 470
927058 380499 525
706164 2897 470
291451 605167 470
464040 302792 449
42908 88969 351
631334 868944 525
56814 745634 470
20475 817347 470
891932 773273 525
372120 248012 441
715230 876970 525
935017 653497 525
459726 908258 525
85586 898023 525
886549 852699 432
174610 197601 365
111234 160757 383
570209 578823 390