forked from hychyc071/cs373-collatz-tests
-
Notifications
You must be signed in to change notification settings - Fork 0
/
wlee-RunCollatz.in
1000 lines (1000 loc) · 13.5 KB
/
wlee-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
774943 258817
403764 106371
137050 675589
473351 155848
921039 198236
75893 383240
707043 600158
495152 205986
669479 200077
362042 881315
648405 348323
259830 568259
453158 878538
778709 93944
47694 609647
84338 313949
182921 905364
284735 790964
38813 199541
850682 734642
238628 250582
548065 892740
777007 984353
879358 602632
234415 283087
918659 237746
914397 491613
177370 602131
260526 956507
956539 154220
757561 17751
268387 860013
561559 662904
485231 995790
501584 733314
190957 333349
316578 327813
394243 323225
137470 671752
251756 883919
122231 169570
655018 617883
870615 903618
57909 744482
762708 744609
395891 374753
807818 180761
283997 187926
948523 516116
294264 820498
663921 551313
720834 461658
880107 448689
769215 496518
712515 934454
827950 4247
357553 260106
174359 320874
712690 526470
483224 368162
828758 251124
705191 20355
284812 575243
152252 911232
680296 56240
203147 784344
848588 514727
523361 830251
715753 682104
326625 689891
31611 942106
389068 851511
92098 513899
127077 764451
111759 598574
272430 786537
165425 186096
588084 257249
937636 577879
683244 831134
549712 559293
982288 824383
206454 328851
45237 973588
635933 182581
204577 56906
448411 947542
292191 109873
310216 654799
55156 5140
190042 694560
820728 902918
368308 706173
374652 113186
3959 449280
887341 281494
912426 618078
882957 659717
66957 683651
502436 427637
164172 375179
707325 208353
235238 440291
415887 365364
358456 589274
653646 183526
819129 25888
329528 530974
262041 836048
618582 235216
155229 635923
445626 757286
816492 53075
801106 383069
96908 768597
907058 583263
856468 472929
520285 149975
125789 26079
733084 913362
856941 802143
976726 288483
315396 376453
269105 418257
421705 870035
793488 565262
431622 733862
246131 623908
101464 712087
773333 256245
610541 995952
743573 400574
971629 885313
840972 489037
357737 647849
624961 587231
934968 36782
970992 220218
911498 109600
786081 112267
381603 480713
773024 218847
1539 382290
903468 460607
878896 651261
862077 283138
479091 495046
652748 961760
987790 126591
196380 24217
497934 439140
661612 384920
595530 618602
580380 102543
223702 794973
17961 78679
966469 673561
539506 182812
643337 547583
542648 295637
949251 219823
916843 652734
475030 602924
417177 313131
926620 856841
353546 265081
711191 216390
329096 160808
678906 584995
877200 970176
403920 500121
660763 189456
674337 607550
431407 628742
169230 571248
725320 52434
569889 144326
851055 422796
478714 206891
285199 479875
378270 39969
66572 795601
558510 836933
225190 70960
365561 982088
159052 260482
943742 676563
736709 20944
689152 330506
408130 80826
424532 565118
801065 464789
325081 322755
223554 552443
337496 704931
582856 730734
432225 852556
621019 443101
976507 958152
409417 789720
839758 509933
140629 217900
738157 299438
886129 416091
213592 536342
630837 543058
519104 262332
166168 654617
359427 911586
608184 949759
592875 637502
40799 135211
320647 392240
913506 975652
396722 532386
690494 465719
766781 344894
351046 786741
255566 641796
227187 571863
502143 959518
547430 995829
278925 247314
549051 625132
717788 521600
650621 472096
482234 820137
16573 41779
901612 3899
413561 159765
779539 955122
524370 934830
535560 371336
232686 63333
426680 843904
288702 528905
115314 72018
811481 973898
450709 494379
904469 770636
248069 761455
695758 522604
466042 713487
473650 259500
382540 325458
139018 400374
806504 276207
622731 815036
626534 394596
826447 27105
516598 73893
389169 294765
936502 59906
760812 228822
400 711619
201185 917662
588999 10408
207050 569722
359816 132431
194384 998071
859632 605097
264937 682271
584780 615088
253340 294230
666177 829025
163417 349060
331648 169360
23462 54609
845560 94862
94527 451274
64974 985621
165570 442058
453980 818688
73844 758838
914930 39669
330123 346045
240367 177035
298618 954495
495325 460963
42744 290128
840707 156309
764677 918781
404352 364826
393075 848812
478602 672508
718771 510017
140861 914670
758006 856555
649810 173747
985974 885385
242114 295446
603005 345124
143044 494455
831818 215121
330492 930417
915085 20692
174491 346546
227339 510189
95077 829671
344783 265982
753744 155257
790628 87944
667640 436502
851769 636436
604423 809518
700743 39241
535269 484622
468851 174880
530595 351540
262313 943871
58872 104047
608619 151942
408950 710979
410209 444068
921908 991862
710710 200674
903830 281204
699252 583259
908311 688195
38039 139937
954022 742880
197015 925150
369036 420815
577377 218579
830240 699847
561668 562900
331232 250572
722874 515988
621023 380926
397410 351846
560475 661469
533968 590791
620594 41125
454841 796373
281824 199447
957010 922894
835205 11857
353134 642060
157790 271833
399491 452717
1570 810437
98236 195074
368886 132441
956462 882517
917102 827223
303901 586636
703302 138473
765074 430961
606521 498046
722079 979408
208840 520551
197031 484186
770179 133082
667439 975782
610992 459405
421533 920865
961811 320911
653512 992948
597959 797062
421648 775715
570561 667536
28969 484398
606443 458230
959017 913844
543196 307595
129659 414071
108955 68105
973479 618823
937575 103599
293598 983939
208133 870253
871284 802694
599997 89263
882240 381426
951583 236788
739116 789372
862759 108216
418771 946140
22354 224560
513760 817772
556669 292303
577557 301640
54110 336748
591337 88592
557992 809981
434845 656038
927396 250525
352297 659224
112714 619926
476486 883804
990528 531331
124195 185595
93007 687863
374748 656536
730206 108677
75160 547398
1562 164258
453880 686800
689983 940879
401614 96504
301752 967434
823192 702679
776358 718075
41541 535573
826202 587506
292891 161863
704927 120080
55238 776066
67252 807610
663310 387626
960448 885982
264272 576618
492204 432383
310942 429095
918733 297300
352025 397918
860645 315005
442299 446317
897203 621412
147240 144871
363265 308716
898064 250538
78108 220926
721672 840434
11498 868788
786346 571326
204635 9990
433923 884101
404408 425388
389837 55893
51464 424539
720642 645979
678056 500842
669935 987868
356705 163550
322063 195760
555107 195043
262568 322093
452095 887445
894830 804613
937749 119273
733129 467951
412314 711960
465636 466238
26266 612614
427590 195028
839476 387481
484251 431047
284591 876183
160042 127657
589513 985560
874143 839559
273492 373522
646742 858183
852164 495870
55048 605872
120293 850301
586648 296172
580439 766836
558132 211732
97477 796792
619924 123455
561147 624716
482573 489269
183943 19933
867934 806710
494308 289833
451471 956584
602880 172403
698203 12852
716992 573366
650133 31882
132374 704543
220956 765842
241385 937146
95354 256835
372543 929997
696861 96660
227067 166188
143222 824305
324365 113846
46316 568809
249219 141142
351560 88771
159795 901603
819746 700555
302844 159604
760975 711264
987535 106288
598724 483592
775157 625565
898437 664041
386314 896663
738317 871642
342434 885270
9836 601435
753639 579037
943004 783764
226724 181391
588772 300124
771697 95895
396798 701044
442058 760894
691821 117139
305759 110659
380661 317425
640675 782879
898858 824410
984657 219398
183998 287617
219217 904849
34630 815096
745736 583508
795926 873704
727980 956636
12536 729481
305814 788353
919776 742054
206786 327049
868564 893467
110465 509220
784375 576479
41702 468035
832703 740257
878 18528
190063 322413
261348 698704
661806 539980
785058 830721
289590 55971
627810 841552
130576 328827
382723 511084
944355 632895
854371 993495
891978 802059
852757 316352
540119 145644
592123 353082
949401 425299
869402 70637
945044 850451
962923 658949
415488 779656
504681 850173
973385 722323
721431 587208
930861 661448
956227 391364
303075 716169
529564 605386
198596 162999
855816 638221
228911 868590
159973 222159
228494 973125
862585 388325
786865 261057
152935 247442
707698 137198
778332 82682
246495 182378
25522 101729
861662 406258
542507 961395
945081 230402
402231 534940
252364 987369
610110 537226
42336 239311
423649 79944
679283 446067
616463 242866
509837 511300
257411 861807
34914 983801
284870 485676
842201 35498
357728 360325
289614 718023
104353 738484
556329 470210
742082 811322
435673 104224
164808 314019
782846 588859
434784 151913
9931 370574
919729 74952
650996 561728
796630 262793
583659 615746
778059 790522
910384 20882
160279 258605
248149 523126
313447 454851
144943 237702
149664 488877
252894 685313
622242 216657
178081 828144
454681 203546
88305 112154
45069 799226
906208 553052
556786 38005
685656 414709
997415 906861
466889 235663
968961 210136
525861 692230
97601 656860
149105 593540
418377 815712
688526 917737
413862 253165
338938 432327
637499 375022
872173 781617
870694 940910
201925 376506
536170 595692
821920 553232
337841 307754
618235 373332
570800 818490
194892 449086
123831 478402
239628 396520
677308 60481
983035 158761
106222 263527
442930 629224
477867 93778
998889 186262
931421 546143
33923 434222
158694 723817
96002 187575
164996 949863
481253 584962
880251 713191
441442 759544
57489 103123
450250 453417
332562 866240
387496 847534
762885 104705
904774 375725
885135 510795
631604 35674
826004 473998
949437 962545
320541 595811
259064 404752
98056 574842
120774 574836
366995 195756
850878 535306
682511 308858
379340 609462
570761 953943
72917 618862
852680 535935
510083 696881
639928 521962
123730 69228
557480 881321
366395 917297
982809 560712
38739 846124
607911 172257
518206 674792
501839 394432
65357 130955
795961 650823
580094 10517
127922 496893
146005 120465
874936 169566
384894 639499
912694 224583
37345 470982
902613 168231
812439 426331
16127 593167
162472 704295
945862 218144
765044 135639
79528 631597
312395 565175
442084 94299
175902 810823
8121 390003
435799 388780
547850 491168
707208 915650
716494 148845
820961 593868
108872 388923
194738 420033
778724 6490
52042 428320
689796 285432
227497 652306
207261 443290
262461 625769
893713 351936
361888 566620
288965 292865
825281 305904
87943 438355
775284 612901
988082 268271
594004 828198
839241 259625
786769 158944
767225 560765
963094 533926
749015 914018
471678 544672
693366 374422
14797 330082
134687 621650
797167 434759
710850 900921
400940 7381
346843 150175
856188 163761
103308 861567
983346 658750
504582 768797
508354 801841
458572 168891
297848 518524
666427 733665
48541 744875
494649 978996
259612 369603
531312 649734
675793 402063
51952 130194
952068 215919
874017 87580
938130 158955
307994 725395
221934 200333
936324 245569
428745 141462
579994 75365
456462 622968
939715 993773
171101 48561
33339 597899
50373 429849
866359 533441
535579 19241
711452 612343
507842 733775
371836 398574
116431 402963
210644 135088
863643 483130
131071 418213
832415 5714
807678 536400
833655 855451
752736 35185
391566 132513
896657 573075
442296 849957
684621 898673
752906 176268
301538 19189
765802 121409
527635 893702
646807 217952
833626 989107
494294 12973
941450 647619
514157 222752
70236 676040
914429 578528
360147 915939
573347 216486
262527 488594
951761 859893
455079 431079
53979 311873
314194 732510
249621 158293
631020 134321
706274 505741
831611 123303
232513 612286
133293 920607
660798 690295
445195 931984
644602 73086
90651 229777
130798 549137
905904 553553
193884 888849
517742 328050
763385 117086
629964 772813
374911 741379
796501 137622
261371 664208
710838 578314
103044 9338
112887 245763
543274 767886
509048 55086
279206 947142
425260 968726
20896 647042
313694 793117
319246 333420
382549 617539
30115 266432
41549 271476
571382 160323
165338 316120
33921 433812
255952 294039
160430 985789
630478 303750
163661 98985
825677 560648
542594 420229
306772 914896
792043 277419
558660 869942
34149 379931
821502 209303
309521 87749
387234 453980
126723 748068
47264 455777
676180 378055
185173 117933
481547 640124
110850 739870
62542 87481
261588 360059
826623 291386
681473 721091
943492 426167
341831 289045
490250 278786
45796 919286
891207 451777
658575 735764
280465 545424
887451 794393
811729 387685
555630 141065
364967 277298
800335 989162
343087 265857
727464 318367
396657 781788
979533 712558
609355 212435
895652 963467
239168 185565
690506 581402
965595 520181
560339 782356
629700 111649
638949 562774
134057 693930
882907 323621
591138 302039
115139 197651
68948 162802
91030 914718
467944 469848
974061 399913
311719 451701
431742 586430
418053 159460
739590 574005
830286 108052
477514 546134
518422 814098
505748 649926
831089 881809
17594 182251
74530 891288
688796 481125
409090 187901
180924 590523
342046 258034
175571 574737
127892 330439
299985 981223
762725 937706
754917 281363
552958 971134
292751 871492
648138 258000
164610 678574
930238 270958
739709 137949
130355 911448
790053 695323
612402 815579
739076 532230
852361 940214
526737 443642
280612 198780
158419 430709
366694 146161
303144 264925
760287 334156
367774 152794
333782 571193
990677 337753
859752 30764
582261 536959
152059 792586
881177 325198
685807 631428
330977 437099
871037 371040
957759 11023
159954 222734
596057 145383
552155 957521
317389 183877
208173 348010
733727 90708
253239 342699
986960 710563
258568 195892
471559 352020
874759 586508
822365 776674
736030 665158
414661 874451
883191 900723
163296 234633
15971 776968
87642 40528
742721 267744
785038 449947
142355 709720
743986 186383
754916 384141
797328 845586
926471 259098
651147 582375
932016 838343
407007 102033
314027 434660
296105 516849
450793 897722
103562 482879
971357 757314
41802 320777
749897 469588
711304 416322
966997 457227
618477 542779
419114 460022
669196 980425
218225 804787
862448 472690
938347 373668
347193 607353
560279 513981
510738 238892
849386 906571
29900 405376
115545 381978
56599 68934
685850 530365
747563 304650
132878 997691
519332 273336
857825 663387
890244 685228
717534 647385
334125 444214
384575 947863
408526 567177
158484 354097
382870 936696
210706 461914
46720 687105
681939 562024
337195 466291
857090 860604
894326 905669
411225 283604
120118 759552
977375 950064