-
Notifications
You must be signed in to change notification settings - Fork 7
/
bsv259-RunCollatz.in
1000 lines (1000 loc) · 13.2 KB
/
bsv259-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
4345 7229
9133 2519
1810 4361
7258 9685
2835 3046
6389 8280
4039 1267
6425 8236
5360 8287
7614 5775
8929 7013
1959 8838
6385 4724
7180 9722
2583 5049
805 1001
4668 6456
1528 6362
2586 1732
7157 1985
4833 1825
3834 9873
4530 5578
4723 8913
7035 2762
724 4351
7955 4901
169 5661
3855 2053
8028 8312
8583 9440
5744 5735
2131 1442
3912 1561
7694 7553
8626 8867
639 4786
8610 1563
6636 9451
4568 4371
6517 5755
1369 6880
2376 738
738 4910
7407 4129
1973 1065
5464 3130
2790 7229
2675 6693
1321 816
456 4720
595403 584718
936092 931061
292594 292549
12213 80625
30631 100184
728549 721698
41809 69493
383105 383667
196868 174295
53073 78817
112810 13516
49126 154136
95587 85416
207509 212609
354460 327885
334929 340896
22570 104557
10527 81513
75487 116901
144830 71396
990965 995504
112405 65407
48698 134573
665655 977857
241260 264118
349154 637756
8609 230070
395780 541939
106753 826957
77 279811
369026 798588
393793 893275
244164 337200
58741 862074
657929 972928
70129 203164
202879 871028
872046 896070
42183 282975
162292 768924
124290 642539
111814 565812
4033 17855
37815 11052
781676 802099
881246 884058
29915 54644
36210 75000
350831 338402
638469 869613
324104 474912
287445 458661
406813 583850
248410 917737
47557 367385
13970 226763
98810 639629
194502 608086
648874 867824
234681 961997
697262 923866
598130 793795
216479 491424
192191 596806
490383 943900
400373 575603
95421 156954
268172 590956
208976 965866
673627 679420
10016 560997
260897 650093
791772 894545
621109 836748
12241 163286
33108 407030
359505 457373
330422 483185
766476 915348
774449 860210
320364 699176
84790 621526
365027 434867
230165 825063
495162 929138
238851 751290
25339 435321
100180 118187
189047 538038
32532 855277
117989 841904
442708 803119
189412 466160
352224 710011
192887 240014
9764 627360
149765 861640
221758 706332
136662 666730
324411 667042
153446 458499
726543 821922
530248 614790
740296 994022
465688 785006
133064 268140
511678 517374
418018 725506
222624 895023
221314 888938
165897 211512
233088 986341
152774 800506
750739 835641
360837 622481
66143 746320
193019 836648
54702 963044
235682 831198
591556 815282
910735 983299
105263 760558
151544 561077
634766 651169
72558 933686
206055 243498
236471 996157
175999 652647
581576 985598
725049 861661
18253 883126
524212 667760
571154 770769
294410 693163
193451 967497
10355 514765
315232 838293
562330 957853
348314 641020
756318 878767
731225 963157
151602 319504
93081 304535
410355 561644
177225 574387
383220 655003
525760 759598
303643 742584
531358 577069
498113 519669
877163 973679
393794 921412
409482 947148
17213 289510
421861 929246
147492 216113
106135 427063
381916 519992
251961 790404
555644 635178
679642 984257
901627 907686
570338 828195
114839 128028
478843 866592
573539 825205
183861 402005
727492 901999
33497 513091
6022 939765
146177 401128
278977 794454
544344 739117
606942 743335
384772 655834
18769 574059
383470 387150
29236 425869
693980 896137
301400 852214
413789 561911
106797 609496
55204 134119
236708 841021
461850 679129
129543 375660
51571 579130
329991 399453
351101 551803
330127 787920
608162 691849
19651 125586
261437 570658
6415 303077
77877 698261
188145 601368
372589 755280
734518 936341
222490 645585
757949 769095
111340 241294
87766 631227
538557 857072
423900 427032
198690 690388
606259 679336
339966 981350
16987 869163
690270 712541
307298 569999
44484 646006
659921 751287
604140 871924
621069 851110
833501 989953
636364 945462
259562 779547
257790 740005
920613 955336
382183 910387
317715 558432
323770 930551
216561 974594
231011 525923
466957 614347
198549 837103
173942 714986
669311 706289
320217 455505
168780 648381
76812 674354
109120 874894
433858 685132
80085 373252
185429 285141
11228 688737
648763 957600
419210 523627
339009 773804
654186 818170
413473 903456
597445 769124
919233 986859
825871 881669
496734 917157
253211 445754
287706 955684
129505 417185
868759 869801
741619 822167
425594 732916
377544 987461
638540 952126
125691 677835
329107 622138
103483 433200
262004 618950
74827 151579
73810 657553
360741 989006
754848 937091
76269 723626
504442 672907
406482 861386
5631 27666
359631 561778
212486 415820
346378 765445
149608 557981
534929 726338
344347 856781
501421 852619
7913 348788
106454 814070
1408 292835
232324 797113
262217 417319
703381 780776
144936 273155
314187 629176
36523 810634
94647 431502
3709 947901
597207 975897
386364 803728
311969 458547
336841 924028
77332 694819
194519 216370
72341 615523
377099 876463
441254 616009
602935 916652
258534 492427
623936 861848
462667 931878
297089 758607
716498 811481
77421 687529
378269 489487
159146 223449
196291 529228
210202 972041
280749 832387
258500 458537
491309 686459
523904 949446
231596 618399
29567 355254
99742 621013
65854 189904
301547 933267
541252 788275
332530 709946
165002 996044
189730 417484
58557 60570
146801 747264
529837 846942
385929 843059
51598 109350
158322 869847
383974 659668
73669 394211
502668 923520
482344 626048
897944 908153
21793 840239
546571 856974
782755 951650
443359 489928
1496 119418
437184 471519
153307 302118
493482 806255
7709 902169
311672 625325
150426 927517
149894 819012
175718 910978
221256 482385
468248 587852
706170 971940
458722 700857
430628 455298
230316 677905
18400 89245
396804 543205
185873 833558
170510 998060
900554 933711
488146 723822
100438 299264
372123 592708
101382 348861
344611 639694
38538 678411
47650 326716
54540 844294
842029 866253
97420 110956
69356 704224
248721 320115
301771 344591
145396 736796
159898 461087
545836 948801
19507 788867
112110 217886
60652 155241
179729 789108
617802 840597
101875 794839
380516 922813
135822 226214
637749 860991
232931 525086
120248 296030
747545 909223
403778 910449
10314 57142
550136 776758
124590 683862
284488 556396
13532 859547
190346 480169
208748 983878
728042 995788
356005 732221
538998 812026
160102 398002
209819 893702
497464 507448
6434 684509
4152 404280
522332 809599
128528 263401
24151 179647
349909 623259
120416 137912
326122 876008
607953 711172
518188 959648
178163 585746
583707 914493
478594 902272
268352 626072
67165 611055
299720 463544
396305 941161
184369 254303
439350 760547
116626 489247
15856 986894
32078 833668
99926 981109
179781 472572
53892 108908
704898 744935
393233 463040
124884 171724
677047 699149
184003 442910
578464 811917
224784 934971
17627 56017
128542 628513
371609 917657
270713 720917
110565 274008
681369 750540
102467 173217
391995 998306
398281 909914
217590 600749
84254 643349
17633 631212
57578 656216
458471 959689
82317 461067
128297 235106
173570 984972
7909 478068
29161 879146
677120 762507
147861 556408
477823 931910
402584 841993
527566 862489
837967 939942
720566 807452
256207 652725
246235 430390
442759 939085
439952 877483
265107 845874
336302 677262
128319 978002
152545 943407
28685 939011
27663 871462
90189 721268
354159 922060
603912 759977
265166 533392
213293 640392
316191 626576
354725 533724
566870 830802
97032 245813
656189 858385
36015 366239
104879 863399
71170 427269
722186 847845
71194 735976
786516 861542
391747 686705
733733 839649
441302 902802
22318 695867
318256 730877
234177 650977
132302 180004
48405 594404
85427 562321
261414 507492
77241 764900
671080 921325
332957 544466
21200 287344
419973 666358
403 860555
107467 747449
207007 870888
496823 958430
710343 746288
458660 740030
573789 862475
860159 905763
611794 801847
174371 569617
170193 388579
188205 821408
462197 857412
610864 998509
12563 22558
363867 439401
476989 921457
159445 833716
229154 988029
67247 952972
383682 749005
644978 962788
220426 452401
261376 274015
546319 997438
415724 464690
141390 914701
311694 423389
8548 491104
28779 968115
236211 547114
462719 477975
216128 384769
405046 599717
465390 866483
268071 993009
568889 844469
582477 855487
25925 684490
403283 774677
304154 854465
281600 340972
466430 829596
135161 252096
101798 503667
651683 971404
82202 949866
23148 708165
890427 908042
18512 210599
191969 716910
789645 861390
498764 519328
695135 913043
386552 548533
380924 577110
207977 262596
226575 854665
261219 845992
70622 358121
559915 906712
33756 721031
121734 592147
640922 774187
952456 977816
169809 438588
886655 901747
477628 687523
181057 308950
105402 144707
27761 136741
5529 513714
270580 946428
42427 538834
179428 231822
383437 419958
187938 481450
613720 640778
49367 144108
453078 653207
260188 802621
855255 903220
108916 672250
215384 881471
208574 338997
352277 779446
86466 941693
236301 952787
67349 402583
428290 505604
268315 875267
703725 703849
259369 261257
59849 289526
392981 470438
22998 797466
659252 746730
546674 875816
195206 880202
501195 768759
78600 858063
202049 468456
106249 295257
691044 849863
100501 283069
397465 974328
356104 536636
398820 989518
83729 243321
459267 540535
228311 965763
428386 585457
682061 732976
51682 700096
193598 489773
108094 536587
810364 910367
417616 902111
750302 863946
658773 720382
148575 704990
298375 442016
44475 344070
341996 841780
152434 786181
172215 686736
25728 461462
91393 190714
35904 745145
204537 961125
216385 256904
627329 690320
453940 880946
467732 503263
64958 461757
196016 923841
479284 963014
560395 721192
643592 850118
302745 623261
225962 911829
375347 639739
145293 328568
75005 247783
98271 692458
267806 411833
704329 766158
306720 673145
77846 197516
309647 705100
731036 994166
130411 758886
10473 110585
406243 525322
68037 840829
440731 622706
271221 350381
373342 517447
671737 706893
454897 932272
412530 432759
237204 407424
291885 703561
196703 364343
240246 480591
433850 724891
547591 590132
732715 756905
492519 861759
230523 365615
163945 550492
210003 445588
211400 278885
708477 998032
248524 263137
160764 182860
466397 827898
490928 564586
341839 698682
461662 684142
82390 900200
686908 926349
776725 791437
66890 275188
579791 877882
787655 908918
69854 918576
413551 910761
277932 720241
432770 937381
312902 515645
300158 397071
227274 557236
15751 620004
498492 662123
254898 752564
324944 414104
287422 538954
109272 516048
225171 678617
386828 649025
476282 889332
150596 760398
418936 533517
343544 443280
143893 817759
11250 210223
550778 991320
391269 562378
64650 156463
510638 991533
477466 486787
6344 183785
480932 603143
649131 722061
81220 244992
842151 845947
231090 546500
521775 794686
87782 452908
166297 844911
2905 604879
162015 257806
3231 555063
472029 803235
546222 922642
535898 628950
467949 688464
610636 694899
386295 911189
332523 523382
397954 737765
252023 626552
12048 359768
124658 802754
82077 145757
175885 595718
589742 638719
216002 473930
56597 731506
374075 998270
391873 438252
521234 800834
410809 762048
328182 796733
389028 525054
39596 514499
123010 565269
432542 662153
471817 513216
237722 694135
495367 878061
374053 565513
454470 930284
85120 301775
187801 591269
21783 24700
422414 572299
14916 837696
144848 327060
627225 675710
307764 591429
20139 314788
557087 957721
201 633412
61067 780015
906475 991229
4451 688959
374237 854857
65399 736654
431373 600118
721219 862491
329060 639830
75555 211146
367331 520984
94353 646894
485743 961419
218211 973977
88621 375103
705660 894238
134815 523156
654164 721913
131827 687452
308904 968487
424009 644458
577269 596550
234497 638471
633902 664000
372440 523234
435938 634159
645159 777334
641741 680607
463679 657327
221204 891323
38161 977905
119959 790344
123345 224232
526313 615032
438417 659404
203790 879790
480423 953174
440345 751252
150451 186189
161981 869836
850373 907900
212142 547408
57886 458273
95297 954011
119422 794182
2891 883861
754703 881428
360771 388346
35525 337140
422341 582988
620029 714443
312122 467199
153205 554296
276653 879503
581601 699354
169984 814203
944475 956384
147651 961794
157506 602938
14041 356755
158293 315049
223414 618975
47624 806993
96718 801022
13560 662639
833333 858518
37064 544695
537415 728931
84343 846054
446364 905851
120609 267084
740183 974666
91409 952529
749589 812534
252530 408504
123941 589739
58486 827498
481641 818023
185893 656563
62057 527323
131172 282851
327341 477206
208939 317887
830678 968405
235190 905614
484473 658974
547899 817880
90049 512762
307806 480916
129421 979473
149462 882448
827600 849660
44171 774179
774269 876507
974130 998931
3343 830575
275027 496458
265997 929889
124016 603596
122206 882306
155646 490104
736909 762504
249881 908354
321982 767336
378761 436149
215637 934917
469580 638608
88449 443076
448256 887438
691296 822019
606378 666418
560599 694642
530296 578668
443716 607818
424042 532106
170235 436746
107256 995494
587969 728147
15777 508893
84677 482905
272021 575734
433555 541485
506409 869278
359085 962164
27315 207325
581392 618531
132565 180816
131776 198353
539440 991197
259877 297792
206656 541523
232469 865429
111820 988929
447822 572659
297937 777961
196994 646804
305090 843884
500624 683556
491405 496371
58574 258654
321970 584055
541783 750523
169638 973239
726025 922086
493460 724509
652993 822807
338222 670831
570259 663176
99735 816546
41473 521427
640833 823208
315218 541003
172085 580049
431282 864770
53742 770369
53293 288663
425244 612336
415905 915351
19390 897218
410974 700344
457586 483989
743327 845391
183327 271546
570948 923515
233805 277933
407922 669700
76994 941963
457234 927523
25833 642184
226658 604481
28709 745218
522406 664667
283660 978528
625135 922157
649490 957578
35870 177214
607131 666964
3329 469573
357518 741105
144746 421438
391475 593629
536166 604432
169968 778051
464520 537527
336713 611259
291816 837421
516264 630856
279494 876024
76437 696917
369614 943972
35904 516097
84823 617229
434153 923952