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