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