-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathRunCollatz.in
1000 lines (1000 loc) · 12.4 KB
/
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
68582 38209
66003 73198
83185 108131
11359 20369
31593 83925
62168 44611
199975 193546
26216 22518
20092 39057
13031 57544
122037 125128
84772 30746
63940 2038
6189 47911
76274 1065
109143 99757
641681 643528
58570 25370
357970 354720
80247 35890
69883 59142
72680 94063
66936 83
62812 97740
29538 82716
225217 224601
618440 619005
103212 66577
28362 4315
48363 42748
100785 111524
57904 83480
97420 76424
48333 72010
6147 36809
110539 6275
26992 108358
7275 16656
61220 50038
39922 38904
505905 508482
26772 13910
6128 105656
173155 183822
84534 78413
42508 57789
306537 307555
41458 66656
400156 399482
66025 20230
61431 111338
46738 56201
449080 449939
63130 44690
108662 80490
52322 45066
150220 147604
106706 9865
98760 60177
591770 601192
743849 743855
712489 713463
46086 71260
66452 46421
676250 678462
98197 102429
115071 131479
86215 6067
98662 51129
896155 892219
36583 111026
59452 41669
52750 9737
11528 113347
5404 85037
78093 14169
364988 366226
94499 108426
167271 166210
14212 17523
44405 51415
550291 546203
238007 233306
27988 112908
46122 59464
20719 59533
48746 9330
184250 177375
92236 53916
456320 453952
87732 30581
33935 79408
32422 94449
55476 43383
177842 180614
63752 66780
14327 97363
7775 87552
98416 69339
693434 693931
273435 273882
83226 53556
68523 49028
110496 71878
50027 87798
2185 110384
107513 7201
704401 703694
462109 466851
795409 793984
41132 19579
90302 55685
93010 12498
30544 41561
28610 46267
73613 63348
61353 27067
4685 41720
597456 603826
596938 600616
75553 72552
985785 991100
21270 27613
78827 61471
40418 18308
70692 60884
1746 110151
10338 79579
15903 83046
707388 708624
9403 66303
193 72490
674862 672624
327375 334896
101111 54435
398226 393567
36254 82031
13431 62910
768621 767698
26155 61291
399451 400123
11931 63402
99877 4209
69874 46818
166873 165557
88002 42530
34101 74840
56438 38776
111695 97696
12127 44295
103175 4501
37156 42335
4567 18218
24683 85283
87432 46502
324 22415
180477 171904
45518 98072
14830 54673
47774 112660
28946 71876
95003 62302
68495 78339
61224 68144
132341 131273
12372 100958
2736 76467
97377 106664
61069 39594
229270 235992
170205 175125
120391 117523
179339 179427
31807 32426
106154 99430
37667 50792
685585 681632
114661 122384
131374 124576
412483 414953
35663 30719
599507 592408
297859 290764
994707 995603
75902 45970
76749 97797
468937 473683
223188 215767
897432 896418
76535 66276
72508 78059
72898 97611
20357 19295
353370 357793
266725 268750
334855 334413
23729 63996
18836 12474
62904 25632
37253 9089
351061 345188
40040 42669
71165 112255
21454 44867
142268 144731
228157 230232
89090 44727
5254 33357
446435 451053
352090 345494
246404 249463
357767 344808
5696 4298
110910 23098
113513 131128
107525 6934
79056 7399
80903 20798
334275 325506
265251 262769
57739 38491
75119 15827
791264 790146
463201 464736
85151 39199
47512 33459
440369 453026
84618 50615
448255 438796
54326 47874
109909 109840
9876 104727
298030 292926
227757 229378
334842 327861
86808 107756
52158 54918
700286 699165
118598 122454
16662 27519
97539 101572
900723 898361
47377 103221
671907 671253
584363 586113
221221 225698
64877 87733
156614 157793
336 93244
30054 44560
214130 214121
41319 96578
54495 71321
41308 98756
335457 332541
78849 31324
101057 5514
66807 108154
82676 63345
469475 477091
98729 45625
108555 27955
74128 62650
678894 671928
76557 79888
342655 353499
55856 61420
739818 744457
90934 91552
596028 598258
42375 73827
704857 708629
84761 75949
100721 52223
591381 589764
174757 182136
30870 85637
351089 351838
21656 78288
82276 101697
335971 335953
59602 45463
925153 926962
58463 66406
865539 863842
594951 600255
83372 63721
41841 10722
88609 79767
349859 342613
89705 98718
35308 22213
111737 11244
111367 37012
95133 75316
15492 101178
112904 56105
59140 1441
758721 761132
443644 443349
58227 31723
20576 105352
15558 20808
114316 114890
944728 945192
27011 6717
87327 47306
793505 791643
127913 132213
954100 954772
78023 87749
94631 91828
368014 365555
46042 90989
31811 28199
39000 99573
89893 85056
86913 44114
709117 706704
84417 60832
441590 444582
19868 84944
79870 73919
28794 44345
78199 38023
79498 1531
107903 22012
98388 80176
103298 44174
10106 112234
60700 107269
1797 32823
157613 159029
6583 22393
977587 978057
528173 525596
96486 35312
15788 35750
101965 98503
9182 109903
31696 1853
780243 778177
705382 713141
99512 110410
72974 57002
292871 293270
948270 951061
439347 438048
674671 670548
24500 102695
49658 41624
381589 379151
49299 71117
984824 987556
75656 27891
112851 4808
40572 42289
14350 93331
526010 526079
79640 11801
33785 92653
36542 97640
85265 33975
70787 82334
67753 89949
100826 98402
82461 48312
107865 22837
15563 46730
671233 674333
633205 636515
5318 1226
550342 549687
310000 309540
23385 91401
61714 74659
38035 148
62135 26662
797513 798598
777842 779938
873034 873766
78088 89014
894768 894745
80767 64823
345194 357839
115758 117714
83042 74653
443428 439245
164621 163025
56128 4900
98453 105410
103248 112323
24124 13061
241819 239544
63045 31366
21702 5777
800397 803072
15877 87351
731955 731527
65887 88130
120252 122551
29842 99935
107673 54418
443636 438517
98165 37856
21671 92557
88928 20337
353036 343580
261666 266898
60948 102917
43746 89285
9177 78456
60225 25777
684813 682365
113294 4029
76816 46937
3578 79495
88183 86699
1415 20913
36675 80066
689950 692701
48565 103930
15835 387
339877 326293
40691 81477
968488 967998
116687 128019
47861 21032
100668 71689
342527 350739
15233 33371
275724 275143
635559 636843
6506 96009
702353 703963
409746 414306
91463 24961
224731 215714
66800 28457
343767 350781
95639 1534
12958 95894
24927 60299
741211 745059
30748 71222
17503 77105
31113 37817
36272 107557
340918 340855
15094 12694
83203 76591
25625 45348
17541 67523
314588 314910
71702 80047
96009 35334
19854 55886
18688 36788
102893 79898
900217 898085
570445 568387
17689 9532
55973 24437
238 45503
17731 29384
880401 878532
73904 25870
17539 58872
21540 69540
5122 63257
121806 122140
78542 68789
13541 88442
45414 109566
214484 225045
878860 875573
2644 4264
33508 62059
83470 42056
76504 68196
101509 95308
70706 84072
454479 456310
64457 105170
126968 126970
50886 44369
90168 74753
93625 54300
71395 86827
61949 52799
70196 99911
56912 58876
130167 132470
355538 357143
490120 490081
55649 71543
58795 14478
81639 104529
677206 670045
132820 117667
70729 82638
506601 506988
86489 16644
345613 352356
49452 48700
73822 2164
215064 221884
5435 78658
548546 549871
875724 881630
66444 26139
59460 39785
64356 83635
121786 121565
62209 67847
93883 21845
23618 51159
52035 105573
478 27468
71692 22492
192456 196506
266237 264887
252298 246058
325020 333863
986714 988633
110002 47124
530670 527826
14034 52986
70797 89098
775504 775472
38885 38578
65782 77025
563374 563062
102302 111691
14803 93009
147282 138938
33447 94392
102357 93651
73949 22990
903771 906157
400651 401499
310765 310200
12940 26364
9332 71914
55821 77674
98786 89888
105195 15186
95560 113101
33332 40536
86332 61820
86115 79477
497781 498400
144206 150971
46734 2146
143590 146496
87397 32122
702978 702938
79780 105560
990502 991009
30742 25116
2120 41751
109764 94327
107120 58678
9254 68627
66567 32818
59143 75820
220613 223239
72085 73048
49613 50252
36917 77323
34227 15383
693766 690436
131146 124246
12414 15910
33116 51498
6515 84954
29857 18135
68248 3096
50307 53734
105657 34322
52604 42019
21768 8685
220488 213662
78910 4851
472642 476502
104951 105400
41470 73950
34137 70211
45542 4983
179763 172894
19997 31250
86217 97263
80344 33040
15200 57578
315475 313545
21391 47263
66064 33391
94809 54754
301124 299261
82351 87669
108065 17786
104404 65268
39098 6285
161226 161027
104585 31183
21068 70775
335800 333470
85393 89445
57860 30604
758591 761188
98186 66995
382054 382408
92835 48918
71420 44482
170791 170813
60544 10255
50500 91887
174861 182504
269696 269639
53486 95707
85695 69724
58046 73134
43142 107573
91483 41397
83895 66425
83872 85835
53259 99399
20596 111424
993063 992361
74041 81234
71657 59169
604542 590764
593272 590343
22141 7298
990102 991697
422847 425266
182038 181569
366372 364677
85932 60573
960083 960897
302195 300521
2538 75243
62778 42496
67837 84194
32629 38203
112095 104168
125908 123426
83853 80708
44123 47486
12603 9821
80766 30890
904 57334
4308 76071
109496 36169
84634 108756
65263 3560
184348 178619
264473 260240
55914 50921
105973 59734
55746 32466
444850 440852
92223 77198
15923 87350
841530 841710
356565 345823
215710 222806
340827 346337
56477 68532
40081 79723
40292 40731
52487 50818
426632 429546
67238 6272
107659 69780
81558 63476
109277 101355
494342 496730
992104 997003
79910 26042
105472 50644
99917 56957
5276 90486
97259 70693
106709 104168
63451 84182
569966 572964
74443 10059
33098 18743
9540 106682
50348 94534
67338 56555
138219 135787
73489 101938
741999 739386
32272 70124
60212 108772
63 92513
268395 260876
107686 69676
29978 103858
47311 85804
224450 219153
462420 462507
100775 18039
260932 264192
43780 56208
446980 439489
85528 54560
172580 183067
66975 66412
18910 46005
196329 199734
790313 795568
62925 32123
63280 22675
47677 10275
109563 100857
72274 54287
843276 843833
745898 743018
12163 18262
107524 59423
859116 858140
745504 742650
41448 107461
68415 12231
889660 888423
36438 55932
216055 216990
169072 169323
97242 66310
633500 631839
76570 83369
740869 742688
28730 62132
89521 81110
263496 264384
72494 64374
530976 529639
66889 70167
862095 861902
16933 71167
31953 41668
128523 128058
54021 48636
45973 37377
28477 3863
714749 714909
86099 101173
105383 43742
48671 95472
721254 721319
22598 76354
149794 148963
61975 83884
6440 108592
110960 76639
338823 335702
762033 758696
58471 54692
41685 99509
108877 9678
11988 11899
57180 103860
66068 47334
73331 25633
59336 51732
111726 477
68924 111949
596636 592467
94775 37366
108410 47803
898755 898930
36991 18125
17678 84955
507050 504289
491744 491135
82511 33935
295749 295911
44734 50674
365 54548
51939 109833
275943 272305
86138 112962
133208 113514
49144 98134
705929 708240
90128 17524
97066 70444
4062 84091
738451 740235
16063 59400
29534 26008
105644 102926
50052 49434
15349 87650
87133 40174
87219 82356
995918 994697
38134 89164
65181 38998
8740 103714
76728 71119
315870 316649
16626 9527
19937 10057
89106 29075
373800 372424
78597 43553
105879 30323
723282 721505
50392 14774
41289 9842
464917 464114
68325 79820
469567 476190
8923 93847
80684 44733
76390 49610
657148 658590
61045 14122
796647 788970
458097 454413
7127 105407
483085 482121
45750 24527
840333 840505
107518 1756
324562 338289
302259 301380
56313 37443
18290 812
23766 105586
98713 92708
55750 21388
72329 20939
385246 382911
58628 69351
49050 77321
108558 56075
21592 39732
28381 53905
118909 129749
352496 349992
768341 768488
18708 71823
14658 10802
87554 24912
74759 49981
342823 351399
22156 71998
106954 109035
19141 62176
6795 25685
506637 509396
711246 704851
24001 32765
45879 17187
51695 54107
40592 107610
64191 58904
19420 93811
86649 82998
48128 113059
101420 100342
58756 107452
35754 107964
74927 59452
3476 99288
42908 20146
664283 664051
3739 84602
81081 93144
60307 49372
99894 16084
28800 62699
84344 53744
18321 42553
86934 22455
38309 110976
218752 221748
58253 103064
664151 660954
21371 8800
293993 290820
172045 174347
275189 272446
150603 148721
69914 36136
93331 67260
44300 66585
19547 65277
220999 220501
38251 67991
49048 43475
65878 35882
492087 497906
51059 13911
32134 98164
105050 33047
32887 24966
32689 69435
627201 626704
62256 6004
1306 46006
76073 34586
45720 27845
60533 107851
5071 96548
66245 11131
809113 808625
12896 2923
52633 103732
12881 105337
214139 223293
103708 92849
301977 294808
611024 611992
9209 22349
33816 77901
410343 408790
345748 341113
351807 352893
90345 66550
4732 4755
70303 111233
106848 56082
100985 14601
12398 20564
162750 169915
138187 134382
72023 27083
564693 561329
39880 24361
53276 93439
444214 442207
217532 217457
94841 33435
31286 34034
48483 4755
111677 61994
7862 77506
59449 30339
153998 152802
769134 768138
78222 101815
274 111140
533214 533359
180295 184356
82505 85334
712116 713533
33264 109353
108167 48416
682661 682744
89321 16539
22501 7788
77174 24747
19760 37961
45272 101234
45626 67
67836 44598
122767 130250
13277 91109
744514 739398
61631 68664
356564 342786
3081 83372
679316 674573
171604 183425
72286 23792
108441 95380
62970 98760
72496 97697
75185 1233
609075 608587
12307 64397
443671 446759
16206 6137
188708 186147
31876 87392
451825 443578
48393 14872
289858 289178
37895 95748
342014 356236
112960 94426
94197 100629
120565 121869
54416 45787
989196 991259
315926 318151
593192 589873
17905 52674
60572 3337
99508 68520
107829 82955
335701 324354
19076 57635
103571 65441