-
Notifications
You must be signed in to change notification settings - Fork 7
/
bbobco-RunCollatz.in
1000 lines (1000 loc) · 13.5 KB
/
bbobco-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
289384 290270
692778 693693
747794 748129
885387 885879
516650 517071
202363 202390
368691 368750
897764 898690
180541 180967
89173 89909
5212 5580
702568 702997
465783 466313
722863 722986
174068 174203
513930 514732
634023 634081
133070 133237
961394 961850
175012 175054
176230 176603
484422 485341
413785 414322
575199 575523
798316 798686
566414 566940
776092 777072
759957 760830
806863 807033
906997 907278
702306 703231
477085 477412
660337 660842
750847 751576
661314 662171
616125 617020
819583 820128
898815 899182
515435 515799
344044 344794
171088 171896
117277 117455
695789 696373
705404 706055
392755 393154
999933 999993
549677 550045
947740 947752
636227 636813
348095 348634
140796 141366
651435 651813
97468 98069
710098 711000
573318 573810
926653 927409
997302 997582
724287 724728
953866 954555
228445 229064
558441 559170
958032 958149
738098 738869
834482 835157
120710 121637
704568 705424
179498 179851
254587 255552
455307 455990
406220 406844
51529 52400
805733 806562
409504 409523
258271 258639
959709 960424
226341 226490
747797 748520
142619 142864
122847 123298
892922 893477
192380 192868
537765 537993
469842 470192
165194 165694
757035 757799
470125 471039
936988 937844
373744 374235
322228 322593
709860 710796
151433 151984
316438 316666
153276 153683
901475 901596
468859 469254
36030 36267
908236 909029
65819 66247
366144 366155
335929 336458
318777 319181
964444 965207
114614 115152
118607 119447
2905 3723
235129 235817
797370 798287
569918 570914
43325 44068
259471 259654
298491 298990
689773 690498
385645 386235
617506 617645
502955 503741
907670 907752
308543 309007
110198 110705
759356 760160
376349 376960
573623 574451
949300 949643
195747 196315
354341 354763
23312 24122
267606 268407
425662 426392
44879 45184
229321 230057
79445 80071
648523 648988
586709 587125
408283 408541
412925 413562
442063 442687
962601 962637
433453 434352
419380 419930
947469 947540
900974 901105
903882 904812
808934 809828
158661 158824
657200 658181
548900 549896
152960 153733
272814 273482
187191 187286
952927 953393
365085 365425
422091 422775
443377 443919
755937 756044
517446 518202
669180 669598
706888 707300
103349 103521
451660 451669
402337 402547
166343 166930
878207 878508
697714 698086
575322 575577
864820 865419
517722 518626
955940 956751
73941 74608
311706 311934
811128 811278
565985 566643
763921 764145
602423 602692
821397 821478
645631 645715
679293 680265
207673 208523
647626 648011
741223 741522
306641 306683
783899 784612
352299 352489
280525 281115
688210 688791
288820 289156
937733 937888
495995 495999
160380 161149
85274 86050
668851 669106
721861 722003
575580 576464
421994 422199
867622 868189
962505 963118
801962 802716
31327 31586
518945 519147
613203 613709
936785 936806
222843 223711
789529 789718
608873 609781
849959 850457
448037 448845
457754 458002
383304 383637
132134 132782
772891 773645
517568 518314
690369 690898
514501 514547
473789 474586
66250 67240
273304 273337
505364 505861
910254 911146
247687 247812
761153 762149
245976 246164
649158 649887
895437 895897
253415 254336
870461 870765
60029 60056
278051 278799
707557 708459
504795 505492
858700 858743
301040 301042
90429 90832
144501 145182
617648 618186
36160 36311
522536 522670
104340 105032
502216 502343
720505 721134
60050 61014
298286 298715
495344 495679
903178 904078
885239 886210
416950 417239
495368 496356
392293 393088
40744 40888
102830 103220
961683 962023
553542 554111
453827 454059
172262 172304
690361 690478
228024 228785
82 391
903191 903616
618997 619364
214678 214912
730691 731317
764525 764582
349615 349783
328206 328564
726313 726699
565101 565447
602727 603721
204917 205469
325579 326108
528947 529237
302648 303618
799052 799132
799632 800225
830858 831485
541313 542199
439215 439570
193513 193603
14413 14892
909611 910580
966190 966464
806356 806997
356621 357054
198988 199876
498339 498905
487771 488055
56857 57274
300607 300867
125850 126087
107206 107265
35218 35736
34946 35729
436874 437332
710874 711511
804290 804773
826608 827086
772758 773072
334472 335201
591101 591560
723619 724057
58026 58414
633075 633308
518158 518839
3494 3852
550271 550970
633418 634257
275570 275933
92623 93417
413174 414021
196432 196894
456683 457073
504293 505084
205058 205173
391522 391679
888575 889066
401948 402899
359232 359253
610538 611278
485055 485085
554099 554424
241082 241598
653517 653519
372232 372371
261797 262201
582339 582919
519219 519240
513971 514833
784813 785192
894978 895663
31537 32441
324177 324660
279208 279967
984858 985602
593500 594411
20128 21078
505237 505797
367819 367924
810564 810613
421245 421956
41806 42740
563292 563667
558956 559570
133590 134358
828994 829912
552806 553688
844823 845805
326718 326748
593094 593668
530127 530720
781487 781740
850544 850618
327815 328528
478180 478557
474763 475538
727089 728008
935711 936443
110295 110312
400347 400582
871138 871829
305154 306097
122574 122902
300926 301217
306711 306729
277218 278054
596964 597019
387091 387949
378131 379035
698572 699233
369634 370319
304790 304863
722605 723456
419806 420056
767869 768372
109486 109492
82196 82835
62950 63070
80968 81194
686764 687441
290597 291578
740866 741426
539037 539992
367771 368289
359212 359554
322533 322729
272380 272701
858271 859255
384173 384600
344235 344275
647284 647356
307399 308229
901064 901411
966951 966981
250574 251288
886060 886582
134048 134972
945083 945518
271233 271437
622955 623398
411899 412385
875641 875919
89160 89422
679263 679946
561042 561890
141724 142048
26273 26395
454155 454490
335822 336279
909366 910113
591172 591948
160270 160488
938702 939405
914654 915587
450908 451867
356729 357535
515798 516518
547085 547393
515335 516033
110992 111368
798899 799614
801053 801224
218190 218749
752507 752517
709017 709241
173110 173649
490001 490379
58110 58163
955082 955196
671339 672328
59427 59494
785148 785371
776788 777019
696533 696655
591282 592157
884851 885030
576591 576845
215351 215482
973814 974671
381495 381676
146082 146685
15721 16154
887983 888164
97488 97903
79297 80122
765405 766127
796893 797444
230298 230330
399135 399316
898507 898922
767058 767766
380596 381595
501963 502260
687484 688260
80155 81132
191310 191897
139933 140315
895022 895288
313564 314424
903683 903894
277686 277772
564286 565216
735991 736574
197315 197791
754117 754937
641893 642418
395529 396368
897526 898016
651137 651497
889619 890262
170338 171266
506583 507204
804311 805266
370889 371114
426816 427386
543438 544291
460009 460731
811784 812134
418658 418755
363828 363954
621270 621341
726652 726801
60911 61439
430640 431038
241889 242499
992394 992971
433891 434867
755200 755752
416932 417019
388778 388877
400658 401224
580953 580970
72642 73377
89369 89667
918185 918380
696777 697582
975267 975695
588955 589483
80309 80902
297279 297476
372556 373228
250775 251220
305001 305326
560998 561281
648413 648540
598383 598804
914694 915028
942440 942774
88422 88581
994986 995943
1355 2116
578763 579735
631542 632258
561853 562703
703663 704145
550400 550617
665155 665328
399016 399522
839852 840216
724791 725054
942492 942664
570038 570575
18860 19688
360872 361152
576988 577844
146591 146932
563971 564323
587666 588177
893070 893587
907362 907445
41352 41464
189301 189807
291639 292306
709365 709854
581033 581187
136105 136980
273680 273821
413413 413951
734970 735606
916171 917127
162845 163605
406650 407464
304466 304780
922327 923213
660184 660223
826970 827505
320153 320774
924394 925184
637290 637399
259632 260305
584265 585000
774549 774844
101878 102191
666834 667032
994950 995305
665156 665949
678469 678625
400961 401894
98824 99110
213172 213530
185678 185818
493246 493427
572762 573752
150324 150374
84101 85055
461076 461440
322043 322667
42660 43579
456290 457134
293470 293708
841552 842528
125384 125403
63134 63477
19305 20261
365982 366457
953667 953678
788968 789880
90193 90922
380903 381771
88132 88134
683175 683382
649719 649935
301184 301561
945488 945960
434574 435531
725063 725188
713934 714731
312497 312915
893142 893295
971727 972201
596981 597374
843486 844434
372306 372336
264030 264589
206899 207059
734563 734987
417720 418000
411642 412544
593011 593491
992727 993310
628790 628930
303709 304432
600939 601496
152494 152925
980711 980931
785906 786596
49614 50005
963639 963909
79422 80089
207830 208501
96181 96924
209096 209995
843025 843113
749155 749541
10570 10802
979970 980680
492374 492404
498434 499097
932588 932867
620095 620744
291500 291851
7340 7804
551743 552073
312087 312602
231350 232265
950187 951068
495012 495646
874134 874521
812723 813010
806774 807417
881520 882262
495355 495599
103125 103264
16260 16323
677419 677772
981713 981982
558706 559110
342734 343533
992735 993554
774316 774751
691088 691941
100670 101120
916488 917290
556838 557400
598090 598700
585206 586166
666705 667616
402558 403387
623404 624220
321893 322714
571523 572128
302444 303023
325362 325890
273379 273826
332701 332746
574883 575670
804900 805451
242590 242976
650354 650780
966949 967743
163037 163543
277108 277200
665418 666082
115922 116742
98481 98647
105995 106349
774124 774561
832934 833418
86318 86630
933932 933949
186710 186875
959157 959765
217070 217815
712996 713418
1172 1467
148570 149129
264802 265478
26653 27224
105341 106266
251744 251916
613092 613181
906528 907094
798879 799691
3051 3247
362125 362458
304214 304400
478500 478870
56795 57363
465116 465257
79343 79982
482438 482701
663199 663789
169940 170142
226514 227145
865129 865386
511805 512376
352347 353030
898139 898364
190496 191036
36422 37394
387227 387861
134159 134884
120357 121309
77646 78118
993447 993786
568112 568995
417604 418265
255826 256368
470217 470556
379175 379519
960597 960927
846268 846562
342014 342771
980520 981380
194651 194943
117833 118709
390280 391270
963954 964589
959296 959894
96108 96849
714938 715508
944977 945517
444585 445386
720084 720884
199493 200102
766497 766937
22940 23703
505736 506040
389874 390480
930165 930688
52252 52601
682752 683282
816340 817044
953166 954152
688303 688928
761080 761671
262548 262955
568485 568616
939562 940481
621932 621985
420529 420956
815495 816314
517544 518125
841124 841892
840188 840827
524644 525082
851989 852383
851321 852001
854099 854585
993019 993771
886464 886562
494696 494706
976506 976685
856143 856209
868099 868524
571473 572451
382854 383820
764798 765546
224548 224820
840517 840603
409913 410072
989878 990778
572554 572751
962933 962936
162036 162987
518108 518606
710050 710204
713862 714768
592335 592338
635326 636110
564429 565226
781764 782397
110116 110676
880382 880396
185186 186083
432101 432198
602409 602738
373350 373663
295880 296514
634317 635231
808586 809361
22766 23752
197931 198557
237893 238509
306630 307199
799753 800162
596367 596882
367396 368229
644429 645205
73848 74461
485027 485327
941063 941849
960630 961393
295101 295609
683398 683814
230776 231758
114545 115085
43321 44147
506519 507084
651795 652294
187135 187681
716909 717762
33063 33366
522687 523529
848433 848967
539808 540618
618835 619704
453597 454412
827985 828681
352325 352707
194466 194917
519717 520078
869344 869381
654188 655049
360603 361584
705361 705449
273880 274500
363942 364235
22925 23553
17136 17844
483163 484105
753871 754867
554164 554630
197812 198312
472516 473003
926235 926567
682291 683241
8694 9327
525340 526220
927495 927788
485214 486068
466383 466827
571476 571799
98739 99490
716952 717825
14812 15277
189169 189850
334814 335497
492500 493477
674536 674550
115465 116234
148347 148454
563073 563464
865741 866152
852624 853211
7058 7894
458794 459233
613282 613902
820115 820486
657372 657790
860597 861131
769884 770648
473568 474265
825801 825868
153675 154010
447434 447924
617458 617590
615950 616479
785524 786214
785293 785440
307630 307979
492336 492758
782141 783109
313044 313299
850340 851106
172026 172962
191654 191914
277053 277273
562958 563162
631288 632271
119541 120262
534827 535824
707206 707333
433879 434607
665170 665340
647228 648026
11521 12084
739222 739882
277884 278500
912268 912491
55383 55675
355512 355547
542554 543117
428609 429471
251769 252664
371199 371859
654969 655345
141010 141183
89504 90391
371255 371928
794058 794539
243824 244753
674397 674441
631943 632223
68013 68222
596856 597603
144855 145221
403135 403894
101282 102024
341974 342375
891639 891810
273414 274372
651900 652322
941485 942240
505662 505752
528781 528852
363924 364527
138001 138321
272001 272943
506953 506965
830505 831312
979760 980118
572526 573420
179118 179276
214637 214727
59561 60187
750615 751588
201938 202803
263749 264170
176621 177030
488864 489264
101833 102619
478005 478838
407459 407815
526128 526538
606369 607000
534570 534698
848342 848788
485375 485833
813606 813616
64902 65067
838990 839857
722491 723417
250733 250971
700700 701405
272001 272563
165458 166290
42349 42810
130018 130825
426170 426667
880570 881108
529129 529268
135019 135489
38586 38978
921281 921823
836755 837288
241708 242451
834401 834951
233022 233507
466789 467509
545191 545331
639635 640282
145326 146309
870462 871156
648143 648773
964192 964255
845521 845841
976555 977093
387143 387635
600931 601353
900035 900720
327309 327403
629781 630489
138645 139447
279546 280330
796523 796610
376926 377083
51736 52338
634493 635041
830297 831283
251531 252371
844050 844101
320513 321469
77590 78244
868449 869321
532429 532911
632558 632646
426577 426914
537798 538018
125140 125834
687006 687020
674783 675065
390524 391393
135237 135252
681418 682302
340354 340653
792725 793479
546351 546587
37711 38003
337243 337401
335165 335188
674642 675363
762112 762681
746411 746671
182791 183693
149956 150103
825917 826006
482782 483221
583959 583976
757807 758182
99902 100413
714675 715653
315266 315643
38567 39543
917670 917831
259135 259968