-
Notifications
You must be signed in to change notification settings - Fork 7
/
Copy pathbsalch-RunCollatz.in
1000 lines (1000 loc) · 13.4 KB
/
bsalch-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
322008 322080
506216 506291
293900 293974
715341 715407
66127 66197
289730 289746
300621 300693
826274 826308
448355 448423
910823 910911
756294 756378
332736 332799
978111 978173
771680 771685
528324 528350
587072 587106
680773 680818
131224 131242
343616 343637
735731 735761
742415 742512
739430 739527
248985 249076
864526 864602
365567 365632
94150 94204
938881 938907
41479 41558
999114 999149
578119 578170
693556 693599
552729 552732
202930 202997
716519 716590
832275 832373
877096 877123
132552 132557
755065 755150
332918 332953
470910 470935
237673 237682
559898 559971
921850 921879
218659 218749
492896 492972
463008 463055
702543 702585
592849 592906
245698 245788
86541 86617
409542 409614
926900 926922
733844 733920
527245 527311
378476 378559
467115 467180
661177 661201
240443 240444
390505 390590
747344 747377
823353 823446
445227 445248
91369 91441
815967 815970
638250 638292
32246 32298
233230 233298
776331 776370
626202 626214
111780 111879
243463 243547
98908 98931
367422 367464
286544 286570
807602 807653
802386 802482
894828 894854
756751 756825
840442 840442
812636 812658
74258 74353
620854 620921
132809 132889
582210 582291
2536 2586
102178 102258
871255 871327
847053 847096
654169 654176
520899 520963
414580 414582
5822 5917
993086 993109
303094 303166
870770 870805
104075 104113
854665 854686
667776 667834
20984 21007
172128 172181
973246 973276
641641 641666
278168 278178
976254 976317
172829 172900
502262 502301
214381 214403
654671 654704
221770 221797
85606 85663
666505 666541
30236 30326
673083 673094
45681 45692
514212 514226
462321 462367
17789 17833
322031 322034
591906 591949
336160 336197
696359 696420
827742 827778
390272 390332
188834 188933
413917 413917
39175 39247
303715 303754
641371 641462
543905 543944
854885 854965
294219 294247
833341 833394
898113 898141
913694 913766
310285 310335
487278 487344
354174 354245
46663 46681
183281 183373
729785 729865
734498 734594
720723 720740
796813 796906
13092 13148
391963 392043
622368 622448
582431 582473
200889 200987
633793 633883
983344 983442
420250 420278
889864 889921
641115 641158
208592 208608
410748 410820
352310 352380
59470 59535
619196 619217
453913 453930
278004 278039
754264 754281
582645 582648
355990 356025
948500 948573
129125 129171
56573 56625
736663 736714
718274 718293
290329 290412
420538 420567
460201 460212
744504 744602
949508 949533
125679 125765
961968 962060
780774 780851
872464 872543
765637 765702
978042 978053
668059 668072
955862 955886
254915 254953
102393 102439
134785 134849
729917 729950
752378 752456
701924 702006
679840 679891
481773 481774
410832 410834
561054 561151
330555 330632
691308 691347
72148 72234
966506 966545
744944 744963
314284 314295
876112 876180
298912 298958
983168 983259
85922 86020
531825 531921
487814 487873
290717 290724
801444 801493
360139 360223
662299 662371
607081 607150
327128 327223
567258 567344
478661 478663
560717 560739
20230 20251
860569 860575
533756 533770
751847 751852
594217 594279
400958 401026
172229 172259
153175 153194
119270 119283
637415 637498
856420 856438
935834 935876
664739 664779
255066 255140
632177 632193
938033 938112
782833 782845
486138 486199
526938 527025
955311 955349
733802 733827
666832 666868
512626 512667
364682 364748
921227 921228
584498 584512
49223 49313
136854 136914
122946 122980
562390 562479
241592 241622
408705 408795
715516 715574
664351 664447
475168 475176
976391 976408
784816 784823
890170 890256
92785 92859
845098 845191
243014 243051
455698 455796
605245 605310
138411 138465
39780 39805
208764 208771
501012 501072
612927 612950
421328 421369
861887 861969
917487 917584
438463 438498
107267 107327
592985 593054
426370 426415
122956 122984
743647 743707
599104 599104
318603 318649
443811 443819
20642 20714
499969 500001
368684 368761
823605 823662
122252 122334
702311 702348
780156 780203
529256 529328
829352 829444
601160 601237
290294 290331
741211 741234
637879 637963
655775 655840
73303 73317
298841 298881
826851 826876
785332 785336
802444 802477
617763 617828
966257 966354
827787 827836
624001 624082
459080 459143
478919 478986
982689 982727
23943 23953
260676 260721
443934 443953
816349 816372
949599 949646
489326 489366
814084 814131
53323 53374
601704 601724
751575 751605
870162 870256
219635 219651
658716 658808
568321 568334
7803 7851
953962 953987
73534 73579
278618 278641
81011 81046
492632 492724
513537 513577
634220 634309
196952 197041
86616 86714
798751 798838
596307 596368
238092 238185
270207 270254
880483 880582
77307 77373
664065 664094
460641 460725
693716 693773
29321 29365
688063 688077
744857 744884
550354 550408
28985 29063
101316 101389
550544 550623
545531 545561
269306 269312
930115 930152
742538 742565
960236 960270
771268 771293
258696 258696
822119 822188
989039 989138
222741 222766
776117 776170
632183 632271
982367 982459
269632 269664
507244 507261
751583 751627
867207 867299
532113 532157
488942 489026
259393 259464
652237 652335
534494 534505
881133 881191
574955 575006
128404 128438
654710 654772
323701 323717
604292 604308
135959 135990
332906 332921
90067 90085
423764 423848
403247 403332
987430 987522
328985 329006
678884 678899
778528 778610
231484 231572
407635 407734
458312 458390
486456 486555
56037 56043
491449 491508
530394 530415
683209 683226
531682 531705
967305 967381
281073 281160
507231 507257
328543 328625
581169 581236
16903 16990
400903 400978
215171 215242
251663 251674
201869 201899
562353 562429
505745 505835
280898 280984
864978 864987
934719 934784
132708 132723
218303 218338
899416 899482
48647 48685
299712 299809
789834 789905
636005 636064
790284 790316
595757 595846
620988 621070
265667 265759
824397 824425
798779 798785
525551 525560
641260 641323
425195 425215
849864 849947
927257 927316
872542 872621
367003 367028
107007 107053
486223 486289
695875 695878
282566 282639
437276 437285
510043 510123
969194 969284
633478 633498
869286 869327
207594 207638
13884 13887
516047 516132
492203 492208
698302 698322
392075 392135
23171 23227
936326 936359
90884 90962
663933 664021
217192 217199
111660 111744
991095 991128
779317 779327
93186 93248
755150 755222
916291 916345
232433 232510
721074 721083
296220 296251
884383 884409
593934 593970
306151 306161
731352 731405
10226 10230
388375 388439
175028 175045
72867 72901
51473 51510
796074 796173
73280 73322
253947 254010
330795 330888
244416 244461
238652 238715
508351 508368
493787 493851
742292 742359
346579 346591
62778 62849
157229 157261
930805 930890
299349 299425
106203 106246
331820 331883
80727 80796
366827 366898
579849 579866
447121 447160
347085 347164
698556 698627
747844 747933
716218 716254
972605 972682
271688 271741
765134 765181
253396 253426
960898 960992
613783 613822
584471 584493
395381 395422
482937 482965
115557 115598
633129 633212
528398 528468
468928 468956
434052 434054
729720 729761
316426 316518
570829 570863
267960 267965
777446 777530
475440 475478
116767 116842
614557 614559
596516 596548
612384 612481
627771 627779
273225 273230
873214 873295
498126 498214
278369 278432
142287 142298
165502 165531
250668 250738
716568 716614
3412 3489
733773 733836
73992 74051
514340 514397
875017 875055
495016 495096
574652 574665
592215 592261
734794 734852
90277 90331
849200 849290
556283 556371
101593 101607
309670 309713
753747 753783
556297 556395
829984 830005
964484 964500
130341 130420
33453 33471
210678 210772
808809 808896
713701 713736
328403 328468
598778 598854
97744 97807
314620 314700
269439 269462
254214 254254
604861 604882
443261 443288
851285 851330
266933 266940
42110 42208
396658 396727
957565 957645
665464 665499
574962 575059
559628 559644
189872 189920
205752 205844
307825 307832
37143 37165
605601 605669
448242 448279
67730 67777
305846 305889
542972 542978
961581 961654
148947 148993
67944 67952
772166 772228
59283 59315
637680 637710
203581 203589
711894 711955
707428 707437
831059 831075
802669 802721
138493 138556
53241 53277
58697 58788
288927 288955
194698 194713
614801 614836
784231 784318
239867 239932
427662 427757
546471 546473
161254 161299
496067 496078
479405 479440
999686 999714
267895 267931
788993 789007
525590 525591
830023 830104
301415 301442
472891 472925
366511 366587
2478 2482
86651 86694
489806 489887
871426 871484
243936 243971
522260 522355
846243 846304
851424 851459
597978 598038
722840 722931
853116 853176
240829 240917
79768 79784
603086 603137
260899 260992
644794 644845
754490 754538
304346 304406
762417 762479
919041 919125
774926 775016
400182 400269
169252 169253
884932 884991
83000 83030
193966 194040
445977 446010
554210 554252
934832 934862
697128 697144
942907 942940
715340 715425
136539 136575
977488 977490
60729 60806
916685 916775
469581 469597
453389 453471
624535 624628
99317 99366
870411 870448
501561 501626
176913 176964
831949 831991
644367 644386
596693 596775
769962 769967
297749 297800
967963 967990
267949 267979
44961 45027
838652 838741
386165 386205
606052 606116
202035 202055
248891 248910
265293 265302
893886 893930
687567 687643
195190 195214
286961 286963
483047 483068
116284 116383
805900 805972
369535 369536
301502 301526
548442 548499
160599 160627
194990 195069
698891 698963
2933 2946
540582 540669
934394 934433
81712 81726
684184 684282
482244 482269
889906 889957
882692 882780
548314 548339
92483 92499
233932 233971
960658 960746
286980 287061
690809 690843
280517 280600
162879 162958
368276 368326
350933 351029
759856 759886
853023 853047
675251 675334
586712 586731
771178 771208
998455 998511
62368 62397
93160 93247
319469 319494
784986 785007
690538 690542
464008 464073
594380 594475
56866 56947
798481 798530
689333 689391
824608 824662
118799 118804
375985 375985
495126 495130
381190 381286
821065 821118
560653 560682
777624 777697
686741 686755
19112 19120
834525 834594
687442 687511
346120 346144
430126 430179
830596 830679
463402 463424
64362 64410
235509 235567
405650 405663
589010 589033
685424 685477
394800 394878
179622 179696
493027 493054
233450 233520
785026 785102
381820 381839
971940 971992
634725 634742
239303 239311
691011 691087
92911 92957
258382 258462
568696 568795
460929 461023
663283 663338
523965 524049
959066 959130
745318 745410
802984 803019
96306 96371
879183 879197
830024 830052
584298 584309
712268 712287
192679 192721
17305 17377
21110 21142
781808 781817
620008 620016
988542 988589
97418 97497
224877 224942
53854 53860
303189 303192
942789 942840
833955 833955
105028 105102
881908 881982
507120 507135
695915 696012
165480 165510
751920 751935
273625 273720
205008 205055
393622 393650
810234 810258
345843 345891
797981 798054
801481 801486
663833 663888
341356 341374
477376 477411
944487 944563
294757 294839
425845 425852
213387 213470
320257 320258
105780 105833
422133 422148
50083 50125
549433 549517
865728 865808
883450 883549
875419 875446
439446 439523
324751 324751
980510 980562
582029 582077
433791 433830
868430 868458
94395 94450
195537 195599
4319 4326
993998 994080
786094 786138
189587 189682
668661 668664
813114 813143
866847 866920
231525 231576
536725 536731
900290 900323
822702 822723
117141 117191
201189 201220
421776 421808
548076 548087
189755 189852
161757 161852
241158 241239
849063 849101
909869 909915
718538 718560
731473 731518
757973 757985
49573 49575
365542 365577
340096 340108
154194 154235
277014 277076
106598 106680
287142 287220
299212 299307
248843 248856
316507 316553
258095 258139
405014 405096
314673 314719
534165 534194
585203 585249
950093 950175
483004 483047
957674 957718
957209 957264
12388 12397
430719 430801
631431 631449
904801 904871
569625 569693
308863 308944
561949 562033
583298 583375
522133 522203
789952 790011
182277 182368
298936 299030
165663 165665
836051 836142
997960 997975
626058 626118
339441 339533
73740 73778
488167 488231
142880 142960
204777 204789
158681 158758
137160 137216
309718 309780
538885 538885
111596 111689
564110 564155
482783 482793
61983 62043
562208 562281
227980 228062
805698 805751
996797 996823
742441 742521
266151 266218
96184 96235
434189 434194
707595 707677
200290 200389
564692 564729
670641 670724
216683 216740
281653 281744
578001 578031
292252 292341
676009 676043
972071 972085
732662 732725
410951 411010
820710 820797
995574 995654
723185 723258
805457 805459
19927 19950
982494 982567
575419 575442
61291 61366
14531 14578
154909 154953
446365 446455
91784 91811
268969 269030
968795 968889
535094 535112
421 472
197367 197383
764303 764374
469962 470054
266589 266652
170479 170504
758197 758262
691608 691608
731149 731157
957022 957036
701298 701339
681420 681446
207553 207589
866571 866593
942083 942170
912289 912315
710757 710787
736024 736085
632477 632568
222755 222853
928708 928784
153585 153680
274249 274329
993478 993522
478408 478467
457838 457896
854052 854054
871897 871911
655560 655599
159941 159999
763848 763873
942931 943002
934372 934460
184693 184723
711797 711878
137801 137862
58200 58294
422440 422509
408929 409018
952774 952813
72884 72886
673873 673933
657468 657514
666033 666067
630840 630848
292118 292202
357284 357335
61138 61179
156033 156127
895946 896028
146305 146378
418704 418726
477707 477778
370255 370307
591881 591955
91251 91340
609509 609576
9173 9200
995245 995315
708431 708452
927215 927238
932137 932149
698393 698487
446727 446767
459790 459837
495883 495932
145488 145554
764183 764184
372141 372210
950264 950307
738645 738661
469946 469999
647662 647687
917348 917427
296383 296453
76872 76933
621551 621607
475880 475947
654338 654404
298872 298872
175581 175628
553840 553932
824619 824704
954147 954189
106852 106915
443846 443877
359126 359128
795842 795887
905344 905404
807489 807554
272967 272996
575148 575224
76877 76912
48742 48774
14668 14738
617917 617925
782575 782625
708465 708483
303840 303926
121959 122008
973278 973343
351189 351256
180759 180857