forked from rezama/cs371p-collatz-tests
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy patherict-RunCollatz.in
1000 lines (1000 loc) · 13.6 KB
/
erict-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
225267 721909
337338 412936
265804 771304
307300 598271
803397 992118
574236 639288
809986 961982
565009 983967
203526 636113
512203 896844
937432 996683
765064 938048
859786 962875
26357 836847
536470 946706
842892 852784
503930 780804
819600 893869
909621 930014
605067 623524
346441 760499
998485 999745
103214 781292
491251 734209
619924 877184
524831 810642
473618 718297
402668 616604
178345 811130
22702 591487
700862 723276
494958 654960
442879 916941
942231 986447
641892 767938
263246 505966
804653 825456
888712 907400
909264 991405
721753 788963
199653 776181
742441 890401
65215 890805
216257 884267
266916 752977
878496 888752
908999 922983
65866 205366
112978 746298
944187 954979
317462 409747
363292 624253
453542 535393
900878 912680
644710 701869
945620 961076
704044 753918
340417 350398
615200 897586
368754 590241
708617 888444
899867 975751
714145 799893
404286 507565
523787 733132
565308 805543
316488 837730
657645 779484
973485 992012
631949 888719
455048 808120
815094 938779
66451 809050
440301 448638
31126 708355
251913 643077
553070 690017
975554 977933
132552 724184
225983 258448
162702 383983
187958 293686
308569 946073
416765 459181
983401 985520
124841 520363
281403 537619
763677 871311
245967 608881
497175 713876
227317 245378
807734 921008
230599 728370
952602 993322
368133 769263
364980 858972
377907 915326
589893 766939
806165 912419
571299 864216
941176 943146
817817 962024
134465 911145
591074 886169
113137 191662
959617 992263
516065 621951
804484 901725
928188 973435
699776 934445
491385 601314
796757 857591
757933 831099
642300 664724
236884 618567
114752 425241
729228 977525
682364 901964
808078 907634
554773 774217
287276 345501
1514 48079
362127 423956
421388 633445
241717 319130
529557 746564
366364 815487
543594 944135
939050 989671
204639 304628
128421 581141
240014 301548
854415 913949
486738 980404
743679 961944
342838 660229
605818 755744
702298 750807
207411 766016
576116 706584
453930 675792
969462 992737
243976 525916
950716 957356
673702 996360
188139 850625
440160 594872
612150 968994
631029 936064
701115 857011
67507 255878
37433 203232
209769 549184
186881 834499
133243 572725
603521 863858
211220 902284
281632 336329
856281 923547
983913 985853
295758 349160
69911 214328
325855 536287
97382 393813
779101 804359
468913 518023
948651 982751
259270 566377
797895 890291
414464 517653
90053 641374
304480 778086
201661 538765
36240 596600
996546 997670
631185 952179
552395 651143
629161 761161
105702 794242
815113 889142
226917 521844
4885 714990
715959 992450
548920 833006
289692 978854
942722 948872
226665 983096
412458 513056
971443 983248
740870 943769
916047 922700
364659 410793
568327 768900
619487 896141
10809 103660
993437 998541
272050 741575
794800 889653
928066 993928
667463 791022
925801 998738
394387 508916
709486 771752
446428 846021
149232 482576
313903 464467
981818 996285
99859 811748
972716 980984
538456 975608
986124 999612
92429 298163
167017 438800
384746 811412
130219 634193
684499 842699
76644 549377
970073 994969
699121 982825
670964 965502
945038 972639
926536 965997
973971 978500
941134 945504
222040 687518
766633 780315
524010 560596
399491 912570
746237 811756
99419 134042
346982 446754
5412 472483
782678 856448
979060 980793
986491 998486
349139 702981
22185 54526
911143 920569
721137 932171
877209 879715
964514 987293
875548 920970
425222 545678
510623 531211
817289 910553
501903 559876
597901 784010
261936 347627
123474 740303
717746 911272
183671 320564
129235 483876
652564 682357
516293 909119
539342 886551
917397 928373
290685 563459
968302 977119
974441 988438
406668 648404
852544 949238
688310 778657
509106 661120
166703 431588
860862 923907
659507 727055
34020 728494
118816 255169
460888 817478
481354 841237
765468 832133
137379 621489
563754 782968
166402 728369
524387 700943
965217 985657
834382 977344
794310 958761
952653 960756
711612 711767
697663 923202
697026 991816
603645 741150
247543 987303
11045 256477
581035 781773
769005 854120
638779 896321
738844 985392
298751 981091
613785 660810
192147 784116
617037 966935
691475 852276
684659 772448
978891 987410
385107 402730
37032 323697
228548 606753
978793 998875
490626 636592
281939 485836
524810 977177
918782 950922
172162 475093
7820 263032
124766 631887
237495 681509
189629 455950
63844 535154
321461 536789
763169 844887
609109 630184
650012 696746
949722 996527
48878 211690
458635 807405
117803 325672
609662 844508
434182 502455
218577 859253
677979 840902
87416 131426
275054 807900
566363 897357
374313 764921
206993 210988
845649 900784
346352 894400
908864 938463
49002 751517
356956 970933
207009 870496
902771 987290
870402 907516
641774 874423
220897 372726
762101 908144
491391 543982
11377 678568
365227 627475
626363 926370
583458 644712
98785 387234
320816 938897
536591 985378
802822 931595
595322 963152
514202 952962
493068 676459
280078 626282
382408 857527
350923 676397
813875 876456
680733 994444
771794 775431
724203 807032
971065 981185
1190 439021
229193 744855
264810 476683
491152 856452
753675 824872
321368 553849
667084 964091
62586 959855
45600 623806
271668 486098
358991 862685
204918 816470
661655 944577
597016 778348
928021 930618
234244 690832
704152 901541
76788 713769
152115 755681
89629 562254
149332 545097
931567 950037
624346 994089
70622 966064
146675 223893
172742 221554
482680 589593
143861 788793
934322 984240
820507 896382
918732 970969
959104 968804
981687 994157
406853 708994
177630 789985
399909 847514
665568 862674
720348 901006
306188 539724
870974 956755
392493 803865
795866 862048
352148 921468
436803 511151
450303 494136
775323 853791
691253 701704
717363 953465
111744 581223
259404 706591
278892 981859
627760 692231
63957 766243
111855 661474
292256 461733
126354 343639
207893 979662
863075 963695
365265 744269
753881 811822
309208 714477
595771 613730
169947 206162
881179 939327
486649 741792
823375 979515
293111 378998
246326 692423
649608 935579
841443 998242
594560 861861
392691 849491
337793 529236
452826 756211
617766 855217
204787 542043
729040 843428
648551 689851
188356 829603
19865 200888
667971 754222
108512 897067
776603 992173
610862 669920
567257 701959
314301 556494
39288 215880
745787 918305
266857 293926
651579 912838
380344 772000
225758 685171
622083 905196
441707 974980
192572 620363
40963 909751
104925 474862
880415 999722
74721 628935
884435 900191
207768 621921
601864 738230
656890 782760
269345 271990
780116 904397
83071 637333
502693 893685
853091 905052
149929 496752
341604 718589
406055 603293
312132 716751
532492 623911
342155 546821
909122 961513
518841 817556
130520 430408
581639 597530
539627 729552
659838 668888
439589 708200
73544 133030
872485 926054
985064 990170
678592 816921
825456 967022
374522 960562
797531 992448
387140 984377
814390 819661
885 526627
181951 823463
662211 681161
457796 827404
949873 962923
230248 826979
482740 772357
305071 495156
995615 999068
594915 931120
486707 711176
82795 510435
623855 921451
372781 741301
993789 997546
499316 893148
616008 794355
901787 905244
507471 617620
785513 987843
785257 800814
370797 804001
741283 932526
26588 415259
982302 987201
563628 705110
251175 921757
218221 924904
685626 787237
420456 534060
152717 602603
369095 776884
425576 878753
38669 101525
932503 948052
728249 999922
140929 813246
20031 127291
423658 433004
48619 248004
174976 218263
80932 997808
977968 996998
366251 606465
773056 854737
892227 957854
495462 672705
655280 995504
982904 992468
612015 899597
233834 855304
794135 976939
59536 75268
929924 961979
369396 906412
932049 934340
448333 802027
257179 629521
822165 934167
847021 967351
897462 899487
868172 975870
31768 326881
27792 460977
955791 967362
234420 435469
981438 989708
555855 971688
354854 377789
410809 975559
851 189051
906316 957339
184331 956843
832289 906812
732124 942245
324616 453387
439877 848821
801771 970666
528434 963553
926662 942493
969569 983613
37139 154277
133822 565358
367189 487713
667578 908923
854946 913101
526006 875263
597734 650769
908773 914335
211914 255388
786827 983599
526859 886873
360479 878914
605606 632399
551281 899367
478306 691099
354838 673661
905997 942979
88520 599451
888815 930381
286975 592735
490578 942950
572667 726117
837862 884442
436588 935087
710745 826370
158735 286863
196818 201653
39136 963613
83762 237523
753714 900512
669575 925644
442609 480495
744516 751701
534730 775560
814994 906967
875783 876663
306196 794169
312187 943954
704154 959355
386412 685550
922096 928483
8668 67052
518951 778035
449504 556486
78620 191150
805114 860580
698073 755700
863744 984880
734734 821389
44644 851822
871262 895188
733124 951604
798541 997359
595014 740956
504148 835786
493979 811490
433131 642198
811224 919927
182831 886315
390227 649879
59054 677494
37151 482214
987690 991566
23513 254293
797975 859193
739599 910307
269289 662361
509871 803660
88212 512158
343187 488884
253312 646130
611702 761663
799061 840781
836335 920170
10785 366009
741008 928413
817075 980854
194248 887154
841839 945027
243515 809423
439764 649059
972953 988361
437326 526921
436597 919057
288496 511540
496450 815534
936342 951296
170154 765373
590169 873052
233321 768049
14928 532266
142973 386881
444789 456661
116443 214020
941785 957473
524886 724706
268468 302869
620007 670444
470804 574832
40220 380002
365657 959786
682458 951332
222469 943161
905763 910457
189290 660254
987680 991141
93425 976758
893083 901276
813841 942745
767061 818309
492330 688255
166652 267436
763598 915121
21765 201578
924050 983351
670729 785078
333139 547769
810542 825196
929862 998302
949942 984290
317349 347111
122863 573794
251394 976526
842839 954563
763036 925820
401194 614171
795362 930851
970016 988070
220558 303651
264037 298676
856392 929150
887562 928396
185703 782021
906263 977277
240314 411435
100824 145504
843910 928006
811849 850877
157615 650685
723132 964342
292321 948590
459562 580336
847645 976318
937818 984988
347050 729573
788176 847128
656663 743844
141159 303930
329075 719096
367924 469403
882285 896828
999692 999910
746494 972387
865112 907245
277598 460236
595808 932317
552071 729708
670310 966307
757269 787185
791269 827137
400107 504684
188772 982552
392464 804095
191853 245936
561328 702574
39437 71684
846095 923611
138209 882075
581917 621962
411953 748169
939469 974186
592813 840490
755364 789722
922493 966857
831802 880983
757825 959874
212362 881970
648214 781469
171358 282709
958077 996322
128428 773837
675127 792813
654893 932379
755550 812890
56760 648675
520018 956492
901685 972652
701339 940753
913781 986519
584670 897125
281775 712875
960983 979610
943920 974700
164088 953738
627001 697532
325486 908060
538705 598226
879142 898855
544068 608705
541595 924968
806914 865428
549809 863453
290667 915036
756264 847743
80394 742531
405237 699892
296322 692172
249321 853761
54555 583468
691539 766662
573808 962338
907488 972419
132345 481143
556362 997083
59866 620178
778652 798029
298304 912912
872815 979195
204994 939078
204256 226362
592743 859332
135054 548091
961166 962623
663478 822779
834557 998905
309281 726521
714746 814731
965398 973641
804014 933437
18349 623710
900451 954454
362372 531975
663532 819880
380026 798667
503623 662295
956126 992672
789702 939797
313283 562011
847287 976643
53532 504580
475282 651848
600697 645475
209512 679169
824875 938257
350187 688547
947129 997494
91478 135548
532520 795951
638323 793847
106197 361956
515599 700565
888401 946676
384017 997267
162343 554276
971853 978870
485168 912234
294789 726277
547895 602042
151007 231889
613288 992736
263661 553748
582125 873746
847197 912996
515658 740807
792321 950701
900245 935917
572373 896765
737624 744389
97201 961803
776632 931039
51278 342895
546909 820545
951279 989110
521679 834000
682240 955465
197795 800289
749223 878582
460291 581378
326381 860047
608067 714740
74988 559529
191685 445375
120822 928323
89151 788748
433827 851125
490149 587059
315985 677329
874639 896578
340162 445800
885200 970489
653611 765135
101246 676023
779841 786803
683225 866687
889568 961733
115117 699482
134887 167935
29849 45226
381185 996424
797858 838273
331757 877128
889579 926069
677323 964326
643172 928780
593152 950140
677676 844818
476841 661942
188882 859618
12314 180151
585052 607300
197184 925998
219275 299862
466644 722259
496856 510313
25226 213135
320724 857837
557134 940638
612200 697677
540555 565130
318990 754651
718310 939385
532422 978061
124071 890594
617389 912054
380691 529084
256250 773793
311393 661941
300781 413859
328903 727406
238103 812988
755043 972753
268819 671930
143873 538447
960103 995671
579570 792276
489839 589939
665176 884186
172446 357760
26508 375724
543561 801647
26173 706038
477258 570521
891107 930629
412617 805293
135430 351470
82343 293362
74885 890065
30488 817778
432069 617125
705086 925415
834568 872460
965814 972636
338823 922976
781150 828086
918272 962380
235491 898592
74828 308071
195195 788107
161176 761484
446687 921095
444633 751469
561877 952761
219159 565735
418437 573078
298618 693946
566233 963768
557654 682155
817362 974379
157355 379691
169814 274889
742597 791271
240169 604145
473543 892808
654251 919110
381576 822347
276573 549863
176284 515598
599320 786785
705150 893283
161490 181320
641994 663185
233701 707610
466889 951920
359199 398309
778382 803423
401665 854922
313947 929402
740328 854514
120146 554526
360875 373318
317746 398905
264159 638737
386043 410092
45313 660506
711505 747633
497010 731439
523816 711437
23550 743219
514285 581238
112251 733821
314421 941216
445570 938870
441294 486086
727119 910388
291968 613894
173876 422453
991922 997985
865417 971926
131493 842974
962124 966359
712769 948836
534540 806646
850738 857065
138052 766131
359295 662710
718782 878686
718409 915430
498766 627048
868379 923965
596025 921658
548820 630983
663756 789772
778259 796297
907011 914554
448022 750994
176611 380004
492653 863374
835084 856919
57021 946780
466039 509099
118284 770907