-
Notifications
You must be signed in to change notification settings - Fork 0
/
phoenix-RunCollatz.out
executable file
·1009 lines (1009 loc) · 17.4 KB
/
phoenix-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
1 10 20
100 200 125
201 210 89
900 1000 174
1 2 2
6 7 17
9 10 7
1 1 2
10 10 1
26387 664440 509
655941 447052 509
608982 587268 403
572280 110660 470
416942 392085 449
849961 379746 525
86952 482999 449
667243 726541 504
840156 451268 525
468134 731585 509
211628 74957 383
555140 178534 470
571633 81496 470
199685 259698 443
506929 415445 444
208312 595685 470
321135 886874 525
180061 995362 525
850865 330381 525
915373 740169 525
700677 689440 442
353010 671480 509
941405 925307 507
740265 892585 525
147090 764451 509
272116 243640 407
731864 376578 509
297521 151912 443
603223 713020 509
633094 74329 509
679160 126591 509
65280 975739 525
421962 639721 509
510924 428206 444
403354 265384 441
39512 802379 509
404481 227956 443
125262 721403 509
537013 7302 470
534047 301548 470
173475 392607 443
769691 596522 509
923920 782811 525
280857 916795 525
689027 845977 525
460335 81497 449
974908 230718 525
28305 525316 470
361557 142636 443
795072 617288 509
939218 722233 525
349787 22818 443
806448 747048 468
410029 277826 449
317251 115611 443
172475 667950 509
918784 259936 525
18318 367828 443
448879 915563 525
777104 480909 509
494495 990878 525
524792 405617 470
500065 376849 449
493307 116426 449
494780 456623 444
886746 949605 507
373830 388347 423
691612 394980 509
84097 573195 470
61043 814830 509
351148 479762 449
527257 896652 525
951519 691631 525
700124 360402 509
62811 434255 449
518090 384872 470
977801 168438 525
440227 558282 470
1166 933109 525
352174 830627 509
328879 332822 353
434879 657354 509
236638 784918 509
864081 771241 525
275676 602923 470
723427 628102 504
851723 714688 525
653303 235994 509
216691 261535 443
786799 593989 509
62747 667044 509
387181 915135 525
34123 822262 509
285455 530149 470
846673 302023 525
106780 250666 443
547602 365806 470
797786 247564 509
687464 894617 525
17519 352676 443
854156 907688 445
379448 458460 449
382732 751328 509
149602 650672 509
563802 790797 509
484943 619494 470
886579 619644 525
450434 616455 470
321457 941817 525
401348 77074 443
833422 319989 509
481155 96612 449
571652 982719 525
263021 988577 525
369597 945922 525
913326 995008 507
324485 698440 509
991545 922190 507
453812 363677 449
37675 857022 525
254433 377500 441
927835 632810 525
947506 417227 525
559674 671166 509
44967 391111 443
362930 389399 436
907225 690979 525
27869 216626 386
193035 206127 360
795943 129804 509
84623 534862 470
441600 601725 470
823179 64257 509
325213 278286 389
467187 554719 470
672030 626149 509
396173 681370 509
52650 48848 340
542345 134847 470
769756 84953 509
110148 818094 509
903782 694624 525
656765 864083 525
497796 90209 449
649605 798489 504
234700 127564 443
780999 928653 525
397349 582350 470
89537 264281 443
171317 630195 509
580622 801942 509
832293 453131 509
157141 6359 383
994589 512404 525
494205 721982 509
438927 756889 509
105662 480973 449
234461 341972 407
607719 542931 452
553398 700726 509
263906 208917 443
829677 631544 504
479443 894113 525
584829 616790 447
559082 980160 525
252822 203082 443
714466 227225 509
188070 516588 470
895546 96838 525
392707 776287 509
939396 803830 525
759377 474019 509
654123 893516 525
790191 663148 504
15066 511554 449
381878 93292 443
81057 730237 509
685416 713063 504
194812 823827 509
411621 697991 509
674178 58713 509
307758 13924 443
183933 971574 525
93311 872661 525
751530 279314 509
493943 525857 470
94791 530648 470
603380 891116 525
14325 265929 443
395985 279539 441
832664 930563 525
877193 944641 507
930158 567726 525
805141 803973 331
24453 542408 470
570696 213600 470
111550 481728 449
93732 970970 525
790125 140896 509
582269 898760 525
145207 302186 443
252596 483228 449
158373 470661 449
319552 252923 407
188791 956071 525
491435 462507 413
255556 252030 363
822330 835641 419
93107 527784 470
845218 451351 525
517760 620454 452
834002 905033 525
429728 840985 525
749077 577832 509
48795 891898 525
627643 350812 509
320227 24996 443
993432 924668 507
564186 52502 470
826193 155606 509
546326 243704 470
620657 912287 525
275273 986741 525
688299 577370 509
203328 986419 525
728219 852977 525
769401 314448 509
468379 264858 449
785915 619898 509
551778 836934 509
584581 996940 525
217128 930736 525
781450 151499 509
322427 698266 509
872492 48498 525
622651 144370 470
830908 344655 509
88652 350754 443
904312 664587 525
629675 483619 509
995329 889630 507
566304 343106 470
562034 410825 470
436799 241473 449
682185 477300 509
522337 591303 452
816618 138349 509
212027 126568 383
752978 62990 509
760987 566795 509
548883 481823 470
801945 402341 509
948700 5506 525
47103 790275 509
775735 441821 509
471001 514361 470
787139 495966 509
712226 988249 525
458162 639099 509
590503 120379 470
851006 666600 525
932942 938539 445
728863 23980 509
759484 662153 504
802534 124453 509
992211 499272 525
565410 552145 421
705200 831424 468
356089 103222 443
147897 328989 443
327292 485832 449
209715 601886 470
409551 897973 525
57581 771812 509
959373 340422 525
9396 111919 354
579437 699976 509
696581 75239 509
494253 319768 449
234239 921257 525
25335 19824 282
180813 785585 509
653349 705638 504
889773 629184 525
267146 834584 509
861010 206454 525
750024 529619 509
738542 117306 509
981715 522885 525
520295 401827 470
684255 291524 509
618066 645987 509
456333 456310 281
927269 627157 525
674617 766105 504
880089 980704 507
786076 518566 509
779782 406162 509
624744 65048 470
121676 127225 336
462853 82062 449
597076 818250 509
836855 817159 450
300459 632014 509
927328 939123 445
868135 6072 525
95441 278352 443
520682 592636 452
699260 639268 442
21940 679417 509
902433 293628 525
843548 235444 525
688018 450444 509
379075 909997 525
699458 262854 509
586573 101042 470
495730 544774 470
758799 553412 509
628223 947442 525
682802 509861 509
161272 196591 365
183640 294721 443
128673 639563 509
624736 243087 470
888858 677259 525
473733 716275 509
740248 532687 509
980795 206688 525
961180 250275 525
385804 348288 423
267245 52866 443
117757 365896 443
222229 845505 525
476457 481499 413
691461 908619 525
649111 511290 509
594621 759257 509
260246 615795 470
257818 479231 449
590164 793088 509
90357 521761 470
964432 606091 525
26665 371291 443
656938 978114 525
900876 493210 525
786046 916920 525
911381 842024 476
91847 169977 383
717476 458208 509
165471 445762 449
57535 961224 525
44616 967649 525
692964 255802 509
793590 186971 509
114753 729245 509
509288 706659 509
24780 831541 509
586981 18771 470
726175 260728 509
998744 209660 525
361072 467407 449
405514 765095 509
998557 318338 525
427422 60656 449
349812 805453 509
233081 952455 525
869571 471443 525
829729 553520 509
417167 232690 449
727506 981293 525
283220 430826 449
198574 561113 470
41823 383482 443
303455 584656 470
205223 93032 383
668418 224820 509
460789 794025 509
618436 663501 509
245757 167460 443
621103 965133 525
982784 370892 525
852693 289605 525
152833 517913 470
80735 395797 443
110987 350623 443
196295 848547 525
876351 799644 525
101436 5064 351
434223 55323 449
216065 904137 525
861690 755222 525
206611 531070 470
87672 688819 509
375918 833704 509
599133 894776 525
989682 163451 525
535445 577890 452
824309 169840 509
842273 433574 525
68023 787729 509
228539 212041 386
826106 225359 509
974564 411922 525
19152 146957 375
203891 576251 470
969880 427449 525
308150 317861 384
660123 213057 509
835874 711921 468
241041 736358 509
178327 53810 383
667158 886484 525
725727 174704 509
255451 399944 441
851036 67792 525
139392 761707 509
264479 392274 441
596498 849419 525
62475 829372 509
605745 818145 509
599191 668622 509
914667 863573 476
288568 970525 525
577601 796217 509
648116 648244 248
16778 411383 449
356292 835248 509
385674 881031 525
307775 426883 449
159326 48630 383
102326 9393 351
988420 565359 525
96921 178620 383
395441 971170 525
603441 456460 470
442684 148690 449
855244 39107 525
23855 38242 324
307999 564799 470
930438 173324 525
978597 932393 507
44644 726902 509
538580 443828 470
863871 486588 525
360528 998560 525
304869 985734 525
818944 554397 509
837449 843940 525
61645 367033 443
515353 285404 470
947020 829074 525
529264 529015 271
673449 350417 509
250647 652296 509
788642 647312 504
145360 967931 525
228218 389338 443
731762 950561 525
539828 272839 470
152422 344603 443
651497 548938 509
546832 283161 470
723912 891841 525
172283 330343 443
496129 719201 509
771272 262522 509
299588 974457 525
568106 772937 509
919785 858903 476
202695 989974 525
890051 880923 445
754306 504162 509
841057 431747 525
9713 117174 354
731647 564661 509
610473 174840 470
900544 152343 525
208687 934000 525
31851 822891 509
829579 317711 509
313557 347295 441
988654 921368 507
858755 447473 525
567716 931585 525
416272 289229 449
192923 879397 525
671806 876994 525
560542 311476 470
488645 217736 449
317998 187266 443
255197 490831 449
51452 661132 509
118576 114874 349
890036 134719 525
814925 154758 509
42714 104420 351
842711 405042 525
751899 898882 525
276236 257074 407
147432 181645 383
389168 259101 441
802204 646882 504
383543 485282 449
852838 595215 525
990935 183572 525
153139 897399 525
646350 802777 504
615836 903190 525
488672 386730 449
168498 131065 383
699717 130996 509
700492 37965 509
96180 663904 509
533168 796386 509
703464 853725 525
770226 853561 525
660660 580956 509
494477 788136 509
821838 996800 525
938900 458421 525
492877 897969 525
329545 769497 509
120439 391812 443
132326 463561 449
73507 659082 509
343529 773413 509
634591 898866 525
361227 507076 449
649241 304705 509
335138 132660 443
808998 789005 468
404237 527973 470
955743 223058 525
532678 814363 509
961449 348893 525
615995 928889 525
112004 326793 443
150901 845068 525
790531 626344 504
105757 609145 470
113909 813346 509
538543 595718 452
368412 482363 449
936117 557555 525
961780 152826 525
810923 520501 509
185899 566258 470
292716 325803 384
572688 41158 470
395317 373644 436
625714 100096 470
779865 560204 509
105781 543422 470
459612 61661 449
810176 301214 509
760095 142720 509
911992 922494 432
642133 244819 509
130023 760480 509
768804 67917 509
715605 697454 504
132764 826643 509
310672 938005 525
443688 17424 449
60767 173892 383
676104 177768 509
570649 384661 470
962741 566346 525
141632 952743 525
99754 264250 443
19330 707535 509
869834 342917 525
206624 936236 525
110860 44922 354
89804 559866 470
699484 204203 509
841536 723876 525
76879 657911 509
646546 316015 509
561746 304538 470
345471 367256 441
339225 825402 509
677529 712677 504
984457 629488 525
648712 802812 504
242894 707375 509
113371 981595 525
963392 891910 507
788687 892138 525
922566 143378 525
581349 221270 470
550435 616916 447
783521 799274 468
834334 30039 509
451774 32262 449
305904 137742 443
20585 33840 308
785256 593265 509
997077 367302 525
590032 677771 509
696419 660929 442
384761 624052 470
109968 625116 470
309809 520999 470
666478 617607 509
622310 670612 509
767860 514252 509
714940 748244 424
62769 938285 525
894831 24694 525
29178 58718 340
924291 202674 525
822774 605966 509
563241 135467 470
758558 370412 509
470520 774183 509
280537 773014 509
379304 451990 449
707588 89600 509
765893 928699 525
710065 925984 525
330682 558293 470
771129 3794 509
433258 426849 387
795925 957060 525
939865 822215 525
503056 762807 509
384902 485601 449
18461 215876 383
939433 527002 525
682440 898416 525
216090 468559 449
12716 320032 443
118842 403322 443
796490 841702 525
478863 912153 525
736852 420139 509
621200 95150 470
535637 137737 470
312420 413336 449
435572 422994 418
139247 790241 509
213764 770095 509
344454 331535 366
560374 726005 509
537197 293150 470
5227 70130 340
893539 93420 525
364111 264758 441
513032 898356 525
374570 92926 443
520676 355701 470
972863 782790 525
328212 183163 443
929912 718622 525
678486 965612 525
889593 660177 525
809280 476500 509
798036 210622 509
419778 46617 449
528856 738262 509
251718 739785 509
336592 245610 407
697329 568159 509
48814 729918 509
776505 897965 525
443229 524587 470
272461 535692 470
796684 704537 504
572859 518943 452
352715 697706 509
635404 999990 525
547900 525491 452
894280 689113 525
980254 823262 525
534743 345450 470
789394 395181 509
515368 604531 452
246378 124928 443
468992 237067 449
442601 77216 449
642312 10428 509
543179 722945 509
467523 694138 509
114348 818168 509
120864 769816 509
51010 569988 470
788961 397961 509
280888 922421 525
982517 485424 525
182597 585617 470
132546 45473 354
743013 265571 509
38507 250894 443
352559 409266 436
80022 945498 525
260573 602908 470
740207 342386 509
700193 594319 509
897234 483651 525
929747 625306 525
391726 744828 509
85085 576260 470
488396 137064 449
686310 279010 509
2219 583243 470
124532 207614 383
910530 127171 525
786712 128278 509
435656 453638 400
1624 421968 449
367562 867478 525
17645 285428 443
272523 790131 509
275741 674901 509
233311 590010 470
339995 364745 441
573532 130548 470
848144 778450 525
701813 247089 509
213204 464158 449
255575 112304 443
435141 332176 449
602493 65502 470
976538 594049 525
359410 853293 525
404767 772175 509
961048 802798 525
441865 951331 525
544487 288750 470
854415 134732 525
734545 695828 504
190173 666361 509
978284 571819 525
401119 792737 509
34796 453445 449
342881 548915 470
207229 379671 443
267265 780454 509
782076 460643 509
397266 280728 441
776033 282232 509
160552 722030 509
7873 792374 509
242025 796690 509
872403 602336 525
776746 880907 525
252914 765511 509
921496 963896 507
175916 829937 509
927965 803970 525
539259 850629 525
319781 876668 525
950603 325458 525
101916 114648 354
135819 276349 443
832955 502422 509
742986 628626 504
146045 481455 449
369187 435112 449
126242 655256 509
699876 923446 525
762422 577025 509
405574 96968 443
509467 85498 449
300228 498203 449
443455 44463 449
512247 392292 470
496414 263055 449
651441 600713 509
115757 636261 509
623988 620584 372
440625 479001 444
701644 595323 509
469751 692533 509
99292 679314 509
969978 66462 525
313416 987179 525
981513 968395 458
175193 821981 509
786046 538281 509
528997 55256 470
207210 89902 383
525762 503726 470
977483 433838 525
577221 823313 509
877047 332227 525
117722 703013 509
34227 251191 443
381063 68101 443
576208 205168 470
264028 346001 441
901869 909030 445
468042 599513 470
411142 958083 525
7682 777384 509
160529 701496 509
664052 823281 504
455780 183972 449
731042 905494 525
742226 690095 504
945668 627048 525
61870 966656 525
543352 324719 470
718011 359547 509
847961 658556 525
480350 856867 525
700000 948669 525
198400 168589 365
436646 819298 509
919812 28126 525
200030 523087 470
948212 722742 525
911257 479789 525
729322 691027 504
201007 573109 470
894919 225993 525
731721 354670 509
844611 6335 525
724201 68524 509
557825 576167 421
668597 845564 525
240570 721460 509
887388 559070 525
980325 799759 525
456205 955930 525
472469 508835 426
744773 177550 509
237897 66382 443
619518 182110 470
956029 408957 525
999742 161858 525
388988 217376 443
930811 624646 525
462009 209948 449
556769 739933 509
172029 960115 525
402466 619652 470
551015 71610 470
788408 187744 509
197376 265157 443
771626 711292 468
235685 152019 443
194282 941835 525
78177 779705 509
851030 135175 525
668387 431019 509
413580 990159 525
983348 299173 525
507157 569873 470
524631 95167 470
57162 180652 383
457234 978436 525
391274 89801 443
642284 738812 504
288245 81848 443
107540 989614 525
393082 88284 443
210551 37483 383
618569 755352 509
800601 440017 509
665280 931584 525
590008 781314 509
742198 694617 504
866037 11903 525
322190 68258 443
565560 242686 470
450748 33420 449
795430 137038 509
993120 938714 507
919957 252093 525
624280 967612 525
891232 483341 525
862497 209866 525
368050 478269 449
82379 141293 354
954658 424747 525
482568 503086 426
632657 25358 509
840314 836907 525
449736 730354 509
825230 94113 509
123304 925545 525
446642 783120 509
753314 294901 509
564003 44874 470
456162 599871 470
560497 587244 434
355985 374732 410
815016 645832 504
489701 26352 449
743593 263946 509
615666 926591 525
722477 767355 424
224494 108960 386
212086 206524 373
209692 706200 509
502591 214845 449
697034 172529 509
204510 66472 383
83757 683098 509
183045 576008 470
265966 309358 407
435391 621435 470
726047 665551 504
419881 774398 509
418778 741453 509
915084 807661 525
253012 862464 525
70039 759064 509
601281 39855 470
477251 365869 449
510732 612269 470
960046 861385 507
733603 145319 509
306592 968152 525
821637 500543 509
950441 384024 525
137686 851181 525
75088 240644 443
814857 488166 509
804917 709003 468
515400 120362 470
887925 124935 525
81931 811199 509
727768 518814 509
25850 580687 470
345689 677605 509
912954 988754 507
203672 594004 470
91415 483715 449
873319 68798 525
58505 696202 509
645218 949669 525
684155 244564 509
301444 850509 525
413292 596835 470
634897 912411 525
838109 399413 525
343331 138796 443
497139 638893 509
263684 466837 449
889724 700158 525
908723 119205 525
538931 343178 470
199758 586252 470
108346 939076 525
335683 812126 509
423232 40141 449
338690 69770 443
923369 407118 525
496921 113714 449
235314 804733 509
284542 845344 525
958684 92785 525
315315 291950 384
220726 91741 386
888159 917924 476
219858 114343 386
774852 492063 509
973109 988950 427
349229 40393 443
864606 513444 525
466939 829475 509
363146 308117 441
691299 837231 504
31946 766075 509
394691 517440 470
444827 941844 525
78809 217746 386
225767 900261 525
751430 679542 504
739912 195416 509
808018 860722 525
697533 598611 509
794208 439944 509
733243 714311 411
621942 18382 470
404050 79068 443
691164 99066 509
73774 750719 509
961704 841160 507
456610 908440 525
700620 104621 509
828758 383667 509
934918 846354 476
761890 451651 509
11598 357227 443
165397 498637 449
875128 12526 525
639287 218352 509