forked from hychyc071/cs373-collatz-tests
-
Notifications
You must be signed in to change notification settings - Fork 0
/
chrisv-RunCollatz.out
executable file
·1000 lines (1000 loc) · 17.4 KB
/
chrisv-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
571843 691242 509
490761 970665 525
16624 412472 449
188459 795150 509
653424 747014 504
19200 742471 509
614887 736416 509
372955 676957 509
198821 811747 509
172787 793458 509
207246 786116 509
803375 956930 525
191070 633652 509
602605 776229 509
91041 411801 449
275569 535792 470
202936 309428 443
465724 581220 470
76372 445518 449
147982 840639 525
375293 386466 423
427604 992021 525
485237 831970 509
759843 883302 525
198415 660813 509
378440 920531 525
685503 978703 525
15294 201592 383
222041 789160 509
106451 572822 470
684715 767811 504
411833 649669 509
11534 978252 525
562640 672899 509
364008 776607 509
19524 151189 375
459950 923182 525
447041 598503 470
671647 950646 525
637015 848307 525
836992 851114 525
927481 963657 507
538344 793625 509
58443 478614 449
13863 900971 525
334960 991062 525
27961 677797 509
85814 802882 509
455292 630931 509
133858 722435 509
233858 589803 470
71093 948226 525
322776 725551 509
307887 492333 449
323881 833523 509
560756 910878 525
592529 780731 509
619370 912779 525
164380 826724 509
69374 198538 383
30988 647632 509
15689 875323 525
271697 849424 525
805679 865461 525
663650 943744 525
173151 707470 509
82254 602400 470
247392 707741 509
652046 759207 504
67737 430146 449
168754 274320 443
334623 340122 366
472068 572819 470
322526 495915 449
134385 195765 383
685525 978671 525
650 382444 443
45077 184742 383
278747 546612 470
203235 686264 509
752973 900512 525
139068 613767 470
7301 332250 443
565818 968396 525
183844 964637 525
12448 381150 443
99183 731632 509
218663 342576 443
117131 754458 509
165465 758077 509
100602 210704 383
117824 834542 509
864295 931090 476
191718 954011 525
48496 874066 525
370738 626372 509
496487 522399 470
761794 999677 525
109430 707428 509
53307 978604 525
335983 516178 470
457654 813672 509
452416 978637 525
134976 804036 509
378771 564283 470
378769 870055 525
149881 553994 470
57212 437089 449
212710 584022 470
730114 817134 468
95330 256367 443
766837 970327 525
507777 662788 509
299379 962695 525
491776 769847 509
496262 943092 525
497666 976396 525
865924 966734 507
225720 476586 449
413279 745595 509
133729 568394 470
730954 773048 468
530999 844339 525
96669 583564 470
287053 586956 470
7468 58868 340
524110 975940 525
319834 874460 525
300600 929611 525
599741 948558 525
354892 751298 509
388505 934909 525
245170 461070 449
231573 409373 441
33868 413034 449
364598 780599 509
113242 263927 443
130636 825155 509
368067 717267 509
103385 716050 509
197595 222922 386
414441 624829 470
395189 988076 525
70743 542515 470
318040 700607 509
503494 620036 470
469049 885822 525
346125 785798 509
799068 950226 525
626391 739712 504
158072 662700 509
430109 668923 509
459867 602111 470
216037 406609 443
118125 886452 525
286199 800962 509
460258 738649 509
146458 932612 525
588070 803884 509
162191 822546 509
764772 953720 525
134607 427711 449
132039 530369 470
152451 177222 383
305019 679542 509
121192 561711 470
449232 849584 525
777042 900384 525
457809 789069 509
820860 947603 525
350444 837173 509
58000 855389 525
444456 907273 525
119351 407526 443
149414 259290 443
663980 701544 442
233915 267051 407
560863 622803 447
642857 654579 385
748378 780342 468
128622 487027 449
383026 603290 470
304747 931384 525
219227 331640 443
642905 805403 504
751282 976641 525
97488 254814 443
113648 804717 509
567216 686769 509
407351 473094 449
139336 417720 449
195061 385221 443
315978 389573 441
191784 416676 449
490197 827765 509
399123 468589 449
635001 644316 416
391179 721985 509
270098 434838 449
815775 948213 525
126527 228535 386
119382 911394 525
137972 926061 525
587735 956941 525
167057 229904 386
479927 654366 509
70497 152267 375
128865 947082 525
409946 802772 509
752095 991125 525
68201 308928 443
57122 328400 443
551430 812640 509
111674 383608 443
5324 536471 470
553889 822379 509
223802 914560 525
279757 708843 509
368487 923628 525
285687 368672 441
318576 828185 509
289260 938513 525
421926 899575 525
272420 787163 509
120605 954559 525
614455 739210 509
810760 832137 450
521179 835298 509
294120 331012 384
373843 977856 525
847519 986575 507
170195 474176 449
275811 355638 441
400570 500048 449
847437 876300 432
221958 960329 525
871521 982737 507
475779 732810 509
453024 869448 525
724147 744604 424
620202 983560 525
261989 998824 525
633303 681989 442
543166 749691 509
357418 953492 525
481848 732368 509
82893 657811 509
491542 901738 525
537024 685034 509
252676 534722 470
284455 394534 441
858286 954807 507
495673 507579 426
154884 931098 525
25754 910990 525
527232 665393 509
151688 396797 443
7965 53523 340
789702 918810 525
433169 639342 509
83853 985640 525
375813 599844 470
612715 819047 509
571291 645203 509
439659 756507 509
83912 274172 443
539636 949523 525
158322 850366 525
122235 136875 344
957327 991095 458
766712 892859 525
114303 429569 449
284124 998995 525
230802 789614 509
211733 300641 443
447183 450070 369
144041 935168 525
47884 870787 525
181744 958893 525
68377 731225 509
669323 961785 525
904940 920689 476
308797 945251 525
721401 756175 424
436470 955627 525
186560 584415 470
34704 393682 443
201768 714089 509
222718 927627 525
6046 480697 449
70890 129484 354
486208 530436 470
204376 427802 449
95329 590128 470
414204 430235 418
399438 804312 509
461129 540469 470
535815 968801 525
386627 610538 470
505887 521574 470
270461 412480 449
584167 804889 509
240920 377525 441
70252 365649 443
31565 66460 340
380550 938054 525
529845 858306 525
2370 541811 470
694696 927103 525
138993 474582 449
11834 339230 443
628364 644117 416
289980 783502 509
11778 892475 525
413834 524477 470
411743 833440 509
357995 361446 410
699749 945756 525
23418 228817 386
39006 568638 470
201701 633921 509
186699 907052 525
687932 814166 504
288895 717264 509
216028 979780 525
276904 997410 525
679979 818446 504
168873 280529 443
103884 922869 525
647377 825763 504
292568 329329 384
667464 990599 525
286441 290765 389
190729 291314 443
914100 919872 432
225748 789107 509
541954 896474 525
536400 661024 509
653280 843198 525
308895 641356 509
664193 707574 504
36791 529657 470
211448 967002 525
18344 53732 340
111603 499975 449
79998 144743 375
783535 953944 525
501890 769738 509
21002 599354 470
343848 984092 525
479032 664107 509
440564 541088 470
14514 555501 470
610389 987770 525
60108 460841 449
330913 406782 441
686864 876530 525
15385 709753 509
7767 79971 351
200765 235696 443
191748 629259 509
505776 803193 509
241748 299591 407
89588 302938 443
624142 833285 509
276647 836303 509
304088 767252 509
173528 604294 470
254820 544870 470
547628 600385 434
138729 824900 509
466041 896460 525
795500 921006 525
478076 924494 525
37485 520221 470
66240 460660 449
319951 793094 509
767644 918843 525
709451 711762 380
775148 830657 468
273154 662328 509
733311 974953 525
508777 745920 509
190603 269807 443
88514 769777 509
202891 335126 443
305947 720388 509
8097 224146 386
620116 826882 509
283030 733527 509
203708 751070 509
23306 107825 354
668502 997265 525
606624 789670 509
565912 947085 525
299189 960205 525
859014 888268 445
36115 177631 383
214079 313459 443
605273 877160 525
142475 977320 525
264826 996872 525
260708 407742 441
304361 344474 384
785671 976969 525
170330 549626 470
673044 774446 504
14999 605825 470
437930 841969 525
662772 812317 504
18046 507980 449
455996 843175 525
120740 949007 525
429156 923913 525
518192 940846 525
122058 979330 525
31044 310366 443
89740 660446 509
388872 733703 509
19400 878660 525
98900 262858 443
24509 227995 386
88696 738593 509
12954 38796 324
820499 912183 525
173863 616165 470
213315 308898 443
246840 266290 407
597489 963267 525
215342 467074 449
327754 481532 449
730422 791739 468
640240 701799 442
716635 766038 424
634609 915277 525
637592 885135 525
80759 212962 383
173298 560285 470
382957 895051 525
441031 651955 509
196370 484729 449
247717 857326 525
193449 841125 525
446099 745435 509
62702 840896 525
260966 646124 509
714406 804828 468
925778 979385 507
401171 439960 449
178836 507866 449
394705 774453 509
313367 342163 384
289745 873863 525
20389 996910 525
11071 187959 383
67134 496048 449
703659 959885 525
76050 82601 351
701863 855988 525
193988 936771 525
194789 351444 443
517014 527383 439
706897 978584 525
727390 766993 424
335044 384498 441
389451 402349 405
65734 721403 509
278391 387960 441
203165 299287 443
870181 954774 507
200858 743571 509
112807 781169 509
396230 803680 509
168845 708369 509
425662 952874 525
155878 929959 525
322165 411319 449
501494 545762 470
304051 634082 509
38416 121318 354
147087 777343 509
261835 949470 525
481730 575555 470
85346 653098 509
341755 601546 470
57301 447946 449
43481 506906 449
120918 243068 443
467575 809977 509
264647 302348 407
384269 392700 436
721784 877600 525
508675 996445 525
70079 334829 443
686154 829905 504
303303 821425 509
200222 694065 509
69906 807622 509
269628 484717 449
17766 323061 443
661210 770824 504
804933 897746 525
634938 939879 525
275744 657171 509
593337 989492 525
60696 828123 509
176610 941302 525
276245 806763 509
647972 986057 525
866523 984995 507
400690 664676 509
62695 882216 525
62233 467637 449
410149 956601 525
320892 423693 449
437406 577685 470
85905 576339 470
145227 214129 383
321807 407231 441
424067 552976 470
102745 466715 449
678189 904422 525
206829 524608 470
276469 907433 525
3563 428608 449
744465 882265 525
22813 79744 351
563323 820884 509
280854 920780 525
569384 848425 525
637910 948388 525
486 188742 383
337643 403448 441
79307 840026 525
5421 648934 509
132503 753972 509
549938 853356 525
284216 370200 441
202286 643506 509
270657 289865 389
619820 876804 525
815539 904659 525
463366 482816 413
525109 820702 509
87695 829848 509
624001 710858 509
200439 847581 525
407501 832979 509
60813 371241 443
75394 660135 509
445256 692608 509
6885 99021 351
645744 869202 525
167277 178704 347
12884 552436 470
633947 760447 504
705724 781211 468
332772 335302 335
456851 627417 509
354280 993867 525
220070 561996 470
433937 735313 509
86311 497738 449
474295 659948 509
296983 848032 525
239110 891037 525
136595 140337 344
31436 947220 525
111209 983056 525
397507 554866 470
746630 768185 468
264328 857375 525
240200 438831 449
56422 851913 525
272781 737432 509
199381 757872 509
99987 260872 443
296370 874751 525
214177 382662 443
782376 980584 525
754403 846937 525
611594 627806 509
747021 950355 525
10321 115100 354
240319 246684 368
109539 698156 509
213336 995459 525
6345 731137 509
743056 840087 525
28677 797094 509
268726 905620 525
271767 525195 470
627872 676060 442
811104 954284 525
406031 538111 470
45926 782425 509
524631 623558 452
156055 872058 525
854348 865960 388
940489 947432 383
696396 830004 504
34013 411847 449
78359 714526 509
222604 966157 525
236726 552522 470
362747 437117 449
126823 179019 383
200493 413110 449
471620 690278 509
284624 832959 509
171497 453974 449
79816 925566 525
503189 728286 509
445413 545106 470
977558 990658 427
536893 901191 525
273858 852861 525
438081 844233 525
15800 592427 470
84896 451662 449
174428 316542 443
739604 915288 525
565494 670337 509
23967 665601 509
777584 879375 525
72502 216986 386
289199 711523 509
344971 722868 509
433368 601022 470
21714 580959 470
728618 936377 525
164597 813322 509
96445 715251 509
162229 563301 470
114005 693868 509
239285 516588 470
78176 609772 470
234994 623215 470
201334 536697 470
503530 971396 525
258834 920834 525
179937 771973 509
38321 51694 314
485004 974132 525
492219 494947 426
178422 282657 443
307764 322170 384
330866 666503 509
501683 774330 509
637513 982629 525
686574 815285 504
343880 600896 470
201770 446661 449
287741 826098 509
506809 912826 525
751975 848642 525
245023 397279 441
404601 799027 509
319767 733095 509
301806 810357 509
573818 992488 525
287037 820485 509
934232 998712 507
770544 819609 468
157132 371712 443
482044 703198 509
55627 62168 335
622517 941448 525
842383 946316 507
519276 544703 408
552855 847939 525
510524 599146 470
526573 933356 525
77637 320753 443
111726 702232 509
790676 956395 525
338329 855650 525
697686 907826 525
95578 991561 525
369679 843451 525
4168 197086 383
149722 258528 443
521304 899649 525
491342 495944 426
135365 873570 525
512765 938484 525
227099 497122 449
68137 740246 509
332013 784971 509
801142 956842 525
422201 700822 509
105548 541473 470
257822 718115 509
71666 214929 383
35026 573291 470
11483 426742 449
181074 927553 525
410977 751874 509
179195 727266 509
507520 895341 525
481461 611639 470
264910 698761 509
12039 90413 351
173527 472692 449
508819 770981 509
123916 640500 509
185598 353653 443
235331 414912 449
565362 778009 509
534457 681105 509
673121 856917 525
364996 495476 449
98059 591455 470
9238 420441 449
302211 843139 525
741081 996673 525
7587 779678 509
686486 762719 504
314317 884681 525
570088 645562 509
1176 846293 525
591839 844430 525
169246 484331 449
92613 109206 354
742608 954210 525
455931 918650 525
219952 425399 449
55915 295530 443
324731 538313 470
683870 746519 504
337912 583029 470
85630 167732 383
390073 584583 470
362490 934185 525
418198 959782 525
198156 788241 509
198090 997735 525
270893 695060 509
115139 636772 509
109979 511792 449
55643 349299 443
424490 625394 470
952076 974044 458
80129 454082 449
250084 505748 449
75440 468892 449
533781 719893 509
79039 314258 443
478833 730190 509
326363 467422 449
255260 699682 509
27012 377870 443
79389 862144 525
248963 763216 509
113244 766475 509
673721 857268 525
315278 490088 449
622491 733116 509
741416 960297 525
80344 490622 449
180699 255429 443
200666 421621 449
800231 932397 525
383236 657096 509
359157 403809 436
524331 650469 509
65523 916033 525
82807 128932 354
275978 394364 441
70204 93823 351
644167 990810 525
303813 542484 470
82302 929029 525
474917 648793 509
221279 859419 525
273750 833044 509
288115 836895 509
300173 782599 509
206318 659990 509
179540 558889 470
212316 691459 509
814452 954763 525
887751 996591 507
221212 370610 443
77890 238404 443
554087 760875 509
230523 295474 443
310047 656006 509
564670 704783 509
24209 325081 443
549749 614853 434
278750 861815 525
26880 936998 525
859335 997035 507
495266 630383 509
109009 149418 375
479526 917259 525
20910 368240 443
71331 245815 443
677788 766377 504
742044 795737 468
633772 640067 416
147627 746488 509
219805 468622 449
497417 691299 509
82636 304871 443
865005 959804 507
607707 993299 525
86423 917855 525
50044 128007 354
152046 756135 509
137215 344416 443
372481 700257 509
288952 306765 371
795237 876182 525
14535 600721 470
421511 741285 509
99204 284773 443
637722 992448 525
239637 753517 509
942007 964096 414
56561 361917 443
232749 718644 509
263476 841179 525
161228 233036 443
821362 857068 525
56375 334255 443
238341 617658 470
261491 910234 525
3991 840373 525
105896 890567 525
353685 898569 525
5879 174216 383
72096 594555 470
791710 951565 525
34586 815720 509
313705 777053 509
679354 853629 525
116961 213527 383
284022 363865 441
134131 463665 449
120107 686575 509
404008 833270 509
446706 625410 470
102655 746569 509
270658 467466 449
572063 940016 525
253763 767659 509
279846 519717 470
11921 222345 386
591526 680904 509
141243 234952 443
445632 668083 509
161856 407907 443
415040 702470 509
267798 663984 509
662744 984412 525
353466 780695 509
52940 111110 354
84921 710494 509
366057 412803 449
150874 361793 443
483636 851327 525
437997 557557 470
224962 284450 443
499020 565427 470
769999 894891 525
587714 683291 509
524786 753379 509
444696 710708 509
465469 898601 525
492102 514502 470
509309 886369 525
507841 932762 525
398776 959588 525
585201 967566 525
218742 312987 443
763721 963658 525
513596 578230 452
168831 270481 443
320066 947939 525
583759 878292 525
411651 954917 525
331250 984887 525
110026 268792 443
146169 767888 509
126668 366880 443
131516 613822 470
222760 744275 509
821975 859064 525
144256 610452 470
588389 799519 509
700965 867817 525
609997 676349 509
524987 704938 509
411789 819078 509
725577 901531 525
777599 947869 525
110800 866496 525
142847 592190 470
376826 428635 449
465407 545139 470
715518 984052 525
646571 728636 504
128797 461574 449
11538 174707 383
787929 959800 525
40563 885388 525
236982 707398 509
337283 517400 470
930205 957063 507
491932 689508 509
17471 554043 470
269509 806207 509
205688 732562 509
347866 389785 436
101302 808879 509
408903 774552 509
47147 409508 443
19079 146212 375
659102 940175 525
24465 301188 443
413683 667513 509
477226 860316 525
258849 396753 441
551901 830846 509
413277 857641 525
377599 613554 470
544797 712609 509
100670 401716 443
493373 552496 470
118952 234554 443
135874 946439 525
545296 697113 509
420834 918459 525
445124 465369 444
401777 996609 525
160150 243650 443
495431 875254 525
21491 821440 509
422159 731514 509
718095 823956 468
50594 544386 470
38201 97284 351
302130 550488 470
522306 997245 525
206628 676845 509
275410 460433 449
377847 865826 525
175500 330778 443
211649 872368 525
391063 696897 509
168304 941849 525
617829 885055 525
827079 942357 525
321269 918312 525
42006 73603 340
377103 597630 470
276956 439034 449
661047 661572 323
455102 500405 444
188790 806348 509
23873 859279 525
22198 150423 375
17371 459284 449
10347 629829 509
142355 686739 509
270706 768063 509
249905 808538 509
114466 313584 443
669466 918598 525
518294 713030 509
356145 923721 525
286030 881247 525
621802 713097 509
676392 754078 504
252870 830159 509
436380 650102 509
273640 391448 441
276220 586683 470
493296 834033 509
589799 654263 509
302670 425348 449
656695 903755 525
376121 687000 509
106312 172339 383
209306 528009 470
176522 768062 509
709734 865182 525
152963 599323 470
71539 818018 509
3683 978192 525
727095 846796 525
278436 618085 470
294957 515981 470
494983 578100 470
305061 903650 525
624855 724721 509
786343 790759 406
125581 497301 449