/
ate235-RunCollatz.in
1000 lines (1000 loc) · 11.5 KB
/
ate235-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
62212 75812
43635 20011
16549 41952
25736 47485
66630 93673
10542 14620
3158 18547
41359 30049
93237 35754
48896 5634
89065 55458
25959 62116
43913 7266
647 72381
64719 52040
34216 31595
99944 43972
12515 99437
15252 54918
23704 52455
20721 10488
3635 3530
19087 28794
81415 81162
59306 74235
8282 31089
18999 4939
3678 75523
45639 82702
93472 86392
53304 46350
50398 45367
69987 5699
19321 48766
31725 64715
26716 94613
22763 14519
31227 63990
15674 73678
80418 82483
98514 83323
47253 49810
15836 65309
41796 37971
51644 14552
31539 38411
51334 52266
74185 46146
99361 9805
25128 89693
24221 26832
48024 87476
3379 30382
39294 48392
50616 49803
99028 52066
26045 17553
3261 85343
55559 97171
81961 69568
48858 71634
98157 58623
82486 60600
85483 92487
61771 21081
2114 53810
90197 18881
30688 45692
80170 48042
17594 14294
10306 71878
36188 8187
23119 75226
51373 52321
16362 55910
96001 24528
91210 60409
70028 39399
12191 40084
82973 52752
15307 89567
59343 10709
81482 36785
60127 43270
8473 7338
74767 82309
53230 46352
55050 8923
42537 74442
81820 72260
28376 95891
28349 90218
88077 95636
50352 37133
81836 25267
46172 41756
1936 18962
84567 83972
1075 19497
48936 65953
38587 61797
33557 63253
965 45333
1993 91181
59162 56860
82736 11716
96005 78446
46701 52331
39648 81028
53169 92359
3974 15276
59081 92740
33041 52793
2942 29608
45749 30442
94901 65968
58675 58211
60416 34080
51 91829
62240 85449
85075 36054
29025 7386
19427 22379
24609 77648
24666 8359
11865 90443
25369 35967
71508 7678
15955 97765
88277 74331
96169 25129
83977 52698
62724 88727
64598 29555
3401 92535
23622 96185
15440 27317
58069 93256
67067 4188
71334 10822
17706 13775
56552 84487
85469 185
36534 89193
70 23332
27324 95110
53817 28696
49308 69928
84807 94055
25596 28182
15328 70472
36156 92125
68563 45538
77781 26907
90248 94717
65338 93047
74822 39269
85687 55257
1772 32573
29930 43100
15122 60315
15890 56367
63232 71772
15706 87930
66818 90727
3482 26559
8222 65123
76844 40299
65897 57627
11216 1601
34467 6602
15193 33959
25943 73442
43740 57324
93314 61651
28499 18312
28837 42083
22197 79208
89598 43148
59453 35963
89117 83087
76902 54809
61440 1104
40833 85577
72147 25856
15123 89156
86188 42735
92245 29549
46332 48065
67187 36252
7251 19931
81120 60012
71615 76206
7193 79790
96990 13436
14598 87575
70301 31910
84571 83017
63088 7230
79841 64967
92018 95323
89511 61329
70036 82613
98044 2347
72183 66265
9017 11794
83336 69426
2053 72585
92850 35247
10876 61222
52006 71609
89017 43173
86126 29668
20292 68694
24687 35971
37846 6690
73611 75573
28233 39710
46373 56576
16532 13870
10359 12369
91760 77116
6281 2554
36514 42323
98886 16700
54635 8963
2798 24437
40244 59845
57563 32440
31485 95244
58734 33295
34041 64009
68449 66345
60584 24143
59272 57940
1011 99338
92268 93376
39022 64018
96014 68425
48511 69892
22626 22057
9605 39755
83480 8818
61059 78464
57996 98456
71240 51459
69158 8907
43057 33831
98153 77470
33915 49653
84875 43016
45863 74647
21889 62074
35546 24189
85825 74524
80951 62566
74766 5027
81042 54050
93943 66987
24849 98049
89565 83285
53874 2020
4652 56874
22451 10077
77750 92907
87264 21893
30148 69024
93040 65623
67924 71800
65779 76463
38406 13787
38009 36225
26685 38894
58709 41972
5043 34629
40731 47387
78645 41662
64017 99019
24917 76641
37456 21808
45629 28917
65999 81107
32020 19895
23328 9526
50107 12837
80959 70105
49774 67054
39764 77118
74962 53005
83277 92786
39198 91877
68442 3936
40467 85959
69200 84493
29773 44443
33003 6127
50133 36377
27483 44606
6920 69963
82360 78827
69637 80454
44720 14097
91091 30934
99100 13397
37545 88414
78748 57879
76359 27196
42993 9975
62878 51292
85969 33981
1183 85103
3002 65839
42798 97241
87746 77761
697 35553
91413 77252
33766 24583
7209 22452
38376 21040
70871 46410
31552 22656
885 17264
35383 64165
59092 36033
59246 17271
49510 91084
8151 94216
6893 61880
28218 65137
59180 43512
88936 64449
92953 58089
24520 31141
57718 25539
40098 630
23338 91762
82720 13666
51668 99596
80792 1149
65329 41582
40501 36392
36791 43052
24519 60736
83461 90515
20572 102
29245 80393
77665 13265
80961 14761
61560 84992
5834 97421
72673 84626
81863 80144
16487 12835
9752 5704
4922 13856
18126 82986
56317 19067
93217 87382
9650 39943
11917 95290
56770 47463
30197 59071
54445 62698
66013 93663
9188 64546
41107 49213
33840 69036
94873 67925
80718 97213
26955 85638
35465 70788
45458 18728
55441 25297
12807 39434
2007 26805
70245 63765
16259 10858
49820 67403
39863 20672
25136 79268
77490 18001
21226 38456
23933 35757
72094 7509
50077 70845
40751 19234
18402 11585
70337 61897
15153 12981
21876 31055
75621 79728
40815 59003
97451 69391
33188 74003
89403 63383
86419 1498
67624 71230
38718 44501
65047 82773
45039 27461
62031 85254
52785 50191
26321 38257
44056 29936
89874 92874
16246 50232
9442 44702
13256 35824
809 88940
25429 20335
95719 64215
98394 15356
11241 17299
16158 59913
8084 29743
99773 72394
34498 29060
23398 23667
42132 69305
39208 41667
28911 40177
1961 71746
19592 29830
34608 91830
68562 77590
5517 91311
41287 60571
34190 2833
54056 37633
79898 47892
77702 48979
31940 52627
15137 36744
32177 77389
68174 6735
52463 11571
13342 12772
89522 28855
4505 80256
56721 3191
31064 35223
61070 14410
51459 8570
80438 47069
33550 4821
62309 15705
5146 71814
74052 53604
12279 66548
54506 36279
10703 65964
67118 91336
62046 26097
91642 75979
52950 3477
30940 95203
9793 47233
54165 37312
97898 75654
60958 28788
823 17061
82542 54137
98973 20366
45047 55080
57494 97518
4148 60593
89779 18614
25403 8679
56870 34663
74507 92416
64956 95046
36 97602
26997 72396
28179 34047
2412 21078
45193 94997
36578 14245
55798 92958
3668 14681
72115 10074
49803 95688
91832 97583
24542 98195
60562 53420
36937 70207
12562 77059
35621 14672
37417 34649
71967 74868
5627 89663
91172 14285
91429 49949
11250 25688
81121 22402
96147 5280
34783 33587
31534 99406
49861 86666
43878 18686
38696 60832
12096 86493
96810 84138
51812 62702
83600 99986
73966 50334
27035 13399
49324 41184
74763 18372
39280 99492
57704 30666
70158 81090
81272 51085
45804 73795
72733 68112
72475 55997
60366 42252
45509 60743
46618 49976
51758 7001
29947 66247
31786 96289
80815 30389
25990 48308
49849 30963
77517 63553
79708 7419
58563 2761
67114 56745
25663 84362
23780 45252
42270 42327
71975 12960
55384 1724
75056 60754
97531 10219
99664 79440
49954 76467
74163 1869
39662 74868
98400 82151
17777 68215
59598 63336
43519 11386
66041 31476
64858 39740
57820 50192
79286 23416
36899 67323
85848 14457
57734 11306
10422 7445
76078 88096
31575 29406
94967 23908
33984 22694
11467 10123
23529 60552
30002 15637
4546 62599
3137 70692
20254 53579
9824 63053
15862 28678
16400 51200
96952 71584
55164 4910
19199 84263
28162 57184
77818 71155
14735 54648
33925 14075
56469 49113
60729 40301
74069 89649
54482 36071
60248 71863
95884 75569
99605 34720
78271 4234
10289 81622
23830 41363
38639 44114
71266 5185
83341 16783
44035 42119
82539 20063
52345 87476
79002 3963
72791 47434
34361 86378
13339 70394
3674 31824
58646 41612
2515 63107
99730 58830
7371 63727
54986 22311
69620 62565
56708 42483
97555 95532
2534 48053
59971 48236
96951 81157
89409 96943
49701 31364
50249 66104
70038 73357
84109 3851
35639 93127
36159 72941
8800 72648
95640 54973
79734 34484
82646 47858
95221 55411
72589 88840
61981 45186
47117 82144
27638 54678
84109 36843
41273 51801
73827 97985
82042 57613
58859 64508
43137 15501
13132 49062
43178 19007
82248 26601
54767 17398
21757 5399
35945 69814
70671 11857
93447 19491
49545 20970
14229 98297
51703 60324
64540 61242
14345 25678
62875 51733
86322 40250
97210 45677
9760 73229
38877 48954
73242 72378
39872 84594
80430 13287
20176 8132
76333 87218
13094 10095
36313 39919
44601 80254
13839 95541
55289 19104
61152 98978
7538 36653
42729 43801
55980 98889
866 14458
44798 88750
63058 14600
52788 84840
95035 18209
56974 19792
55542 17551
71508 26834
38985 38556
33203 81950
50840 98027
13741 87495
35163 21471
5807 57515
11158 70290
43518 64524
10548 22860
12694 235
83791 57356
93201 19973
41802 22350
61662 61987
62089 92745
99662 11937
41669 67660
79961 71016
62107 8845
94361 58632
18828 64204
93432 60893
92810 3159
5384 21144
28970 77003
12523 54101
64219 37066
85879 69383
87312 11317
7217 80856
41250 81993
61530 95864
12073 84590
29582 62272
11279 85003
89821 63895
14635 95366
91213 7412
90551 79833
45807 20631
45176 34790
23193 66039
48602 20281
92951 71142
42490 73089
38541 43045
80711 60593
63332 97275
23562 87169
81239 16574
6160 52138
59094 14519
82112 75992
81983 9758
14715 67155
96504 91482
45910 37848
48694 45788
25245 98743
45324 9765
70127 57967
99640 67663
58758 21517
69429 17144
18253 76087
98653 27557
63416 29467
49692 23931
3351 71675
75466 46080
61185 96591
67142 11244
30462 19436
9625 9066
14822 31724
43242 60618
95912 29552
23681 8625
39734 21745
74851 77014
61102 95810
70561 46263
8034 76993
64046 61730
27053 30302
11038 98776
11724 9195
27440 98086
91520 65866
60111 2403
68470 85615
75985 40966
72976 56732
35939 37392
66759 13370
84470 51390
35029 4014
71582 93667
57547 14993
20025 89298
41079 75794
48369 68682
6587 60343
70908 71515
12044 81446
80106 90850
25647 20793
10708 17656
49958 96687
19645 76096
1715 9457
48814 44276
27038 19531
73464 11083
41026 65758
55598 27063
23523 67878
95963 14635
39383 34231
10233 32228
28154 6930
93094 58593
81757 75747
422 21451
92586 18912
94716 31055
62507 34681
6515 59846
55369 98809
56729 98470
2835 67604
27629 3395
22298 77856
27586 68446
24216 18142
54302 11116
8030 41487
59176 72444
15537 98472
61115 17994
8767 20249
59376 76687
7571 10722
83410 17267
87656 90893
72706 90627
41156 11150
54827 35144
13240 30404
36581 75244
85086 86475
16862 37390
96836 18189
93546 58237
26215 75126
68013 85420
27199 80940
44672 39803
17665 26427
98269 59651
106 20913
5954 21270
31273 47858
54819 89822
86724 61381
78081 9226
17552 44539
6831 75867
77650 83010
60362 40102
30429 5958
20985 48604
79498 11698
31876 34301
24917 42739
25171 7153
27688 52099
87075 25016
83631 20842
25377 79422
12799 41652
49103 14789
72670 82116
50238 83383
98416 27346
92005 92636
68913 78497
29080 20051
35841 41784
82783 96239
39139 82394
62523 4210
55344 76298
5924 27241
86649 67941
19784 35878
34836 16931
56545 23057
13187 86790
93810 34355
14909 24040
83729 55963
72952 88007
64216 97431
44117 98108
32892 69316
21410 54376
58711 10923
208 83021
75197 71837
84312 47055
66330 18167
41695 13635
23061 93795
92005 67035
40201 65474
99718 16936
13705 63689
40596 55210
34002 67747
22606 25346
97487 90722
54921 63145
44403 88570
34854 56992
94424 36861
38513 33754
81963 1051
68405 60760
80835 32716
2912 35077
64855 89552
67240 13941
38446 33738
72646 91270
23702 68147
56166 97064
40599 27400
63087 52631
21480 29270
1538 54225
64343 88071
26176 41145
30073 95461
75356 77763
3242 34181
53578 99516
64517 28498
64696 33602
13636 72085
18399 60051
57342 53381
45932 67868
56868 12679
24928 34984
58618 79783
67482 6606
1666 20349
21137 12007
72414 50520
56019 78469
24403 99281
10812 17718
87379 15441
79157 55203
90339 39386
81169 87631
27956 19890
62544 16564
16285 33314
37705 54103
43505 9454
71149 5000
4241 37027
10785 33195
65175 87204
23166 40990
96625 79321
68091 57967
94871 15989
10586 22374
36603 30480
33562 69089
46969 36545
52875 30333
21838 16909
76840 33920
41700 72287
9550 10865
16597 17092
97485 22305
49185 13649
23615 93657
35735 94685
85351 21387
5090 18635
60903 50215
34454 16805
92521 22552
62730 32016
50286 79925
30034 69727
3080 61454
12136 13178
16561 46387
45884 20282
34747 36607
84258 72098
31492 66971
4307 79101
51045 73628
67869 44294
89056 85943
2281 1683
4144 40513
98173 88793
38390 35867
84323 14899
66943 54631
29256 68268
82256 13131
78204 80083
48176 54241
77684 67482
70001 61570
82777 99283
16464 36322
21489 24995
82110 73043
92611 38513
88252 88409
57635 93839
18337 75684
11407 81018
60426 64871