-
Notifications
You must be signed in to change notification settings - Fork 7
/
psteiner-RunCollatz.in
1005 lines (1004 loc) · 13.5 KB
/
psteiner-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
1 10
100 200
201 210
900 1000
292 582
1558 2202
2321 2389
3360 3499
4413 4907
5319 5775
6246 6989
7376 7942
8487 9329
9934 10486
10638 11381
11464 11886
12667 12882
13842 14061
14566 14732
15035 15098
16531 17495
17522 17902
18120 18715
19881 20457
20113 20134
21969 22629
22327 23118
23766 24729
24237 24538
25110 25463
26062 26606
27711 27849
28643 28833
29592 29921
30677 31058
31079 31597
32840 33118
33218 33450
34438 34862
35264 35945
36899 37249
37637 38381
38315 38478
39773 40333
40806 40885
41824 42192
42679 43420
43774 44748
44127 44157
45601 46578
46688 47055
47130 47985
48695 49332
49703 50100
50786 51374
51175 51652
52952 53917
53484 53631
54222 54459
55377 55422
56610 57053
57380 57967
58701 59516
59094 60048
60295 60457
61767 62163
62683 63325
63681 63745
64221 64576
65200 66100
66851 67848
67407 67491
68330 68422
69611 70375
70480 70859
71998 72509
72449 73095
73182 73896
74237 75044
75162 75902
76830 77016
77418 77631
78531 78769
79398 80145
80349 80509
81159 81471
82234 82846
83155 84035
84649 84790
85786 86135
86302 86879
87780 88751
88613 89342
89286 90123
90268 90824
91874 92012
92011 92534
93976 94558
94339 94385
95109 95337
96776 96839
97071 98034
98796 98889
99184 99211
100617 101592
101478 101647
102586 103470
103348 104178
104127 104662
105480 106184
106273 106527
107451 107941
108978 109913
109121 109855
110373 110582
111684 112273
112227 112253
113325 113466
114119 114798
115999 116769
116740 117446
117773 118389
118627 118926
119654 120514
120214 120271
121433 121801
122452 122888
123183 123315
124254 124581
125148 125490
126456 127309
127035 127135
128201 128840
129287 130075
130314 130694
131694 132331
132798 133735
133896 134151
134044 134701
135033 135506
136365 137022
137443 137863
138850 139239
139330 140254
140138 140557
141546 142419
142456 142572
143574 143905
144780 144913
145862 146528
146757 147350
147453 147955
148742 149579
149271 149423
150739 151621
151507 151822
152954 153700
153642 154325
154796 155255
155006 155330
156859 157418
157633 158395
158875 159407
159493 159688
160300 160490
161830 162473
162637 163216
163545 163680
164599 165515
165619 166100
166461 166507
167096 167693
168949 169201
169474 170201
170570 171377
171788 172235
172230 172384
173750 173952
174381 174710
175117 175853
176862 177681
177739 178085
178406 179265
179549 180084
180754 180785
181449 182019
182503 183497
183491 183895
184021 184261
185955 186800
186709 187042
187720 187811
188344 188780
189502 190083
190816 191176
191469 191891
192641 192800
193818 193972
194288 194915
195913 196038
196316 196362
197823 198596
198534 198682
199585 200308
200023 200819
201723 202646
202420 202653
203775 204653
204035 204257
205009 205336
206351 206620
207591 207751
208755 209426
209449 209698
210466 210668
211492 212110
212027 212912
213662 213886
214982 215683
215425 215792
216945 217207
217155 217179
218522 218637
219124 219166
220128 220506
221934 222008
222470 222969
223720 223866
224833 225696
225958 226503
226816 227672
227556 228260
228300 229007
229433 229755
230764 231340
231805 232202
232298 232463
233497 234202
234560 234943
235427 235982
236321 236581
237581 238405
238991 239366
239490 240028
240388 240849
241736 242000
242170 242960
243039 243326
244951 245789
245298 245395
246861 247402
247797 248555
248758 249161
249700 250291
250720 251472
251557 251769
252437 252929
253123 253652
254225 255150
255785 256324
256717 257614
257553 257735
258799 259098
259325 259873
260496 261197
261425 261677
262084 262277
263499 264098
264123 264891
265970 266547
266741 266869
267168 267257
269000 269621
269308 269681
270302 270938
271558 271595
272286 273198
273007 273906
274659 274669
275589 275742
276218 276951
277974 278269
278385 278835
279748 280665
280676 281335
281788 282249
282827 283789
283067 284056
284670 285455
285636 286086
286949 287138
287581 287604
288099 288465
289599 290473
290927 291001
291127 291330
292945 293731
293576 294089
294816 294854
295777 296402
296178 296348
297490 297913
298993 299889
299078 299976
300728 301614
301791 302339
302271 303111
303896 304504
304827 305199
305017 306004
306794 307570
307015 307740
308441 309023
309689 310243
310842 311432
311723 312225
312885 313488
313990 314308
314369 314602
315618 316162
316598 317349
317767 318477
318094 318954
319961 320934
320590 321402
321680 322068
322415 322868
323514 324378
324691 325163
325776 326089
326886 327369
327830 328554
328102 328949
329305 329663
330963 331797
331685 332049
332623 332704
333426 333707
334136 334223
335619 335803
336721 337244
337722 337735
338992 339133
339125 339513
340017 340950
341328 342306
342426 342956
343562 343810
344183 344665
345878 346204
346084 346660
347615 348033
348749 348925
349900 350432
350405 351269
351771 351802
352730 353444
353901 354850
354720 354875
355791 356723
356354 356475
357320 357632
358957 359625
359983 360321
360331 361218
361081 361412
362968 363332
363411 363564
364886 365453
365860 366519
366758 367676
367304 367338
368444 368918
369319 369623
370526 371184
371325 371842
372041 372257
373239 373256
374797 375310
375504 375969
376259 377145
377714 377831
378537 378626
379939 380069
380580 380680
381509 382507
382598 383095
383814 384481
384242 384919
385543 385607
386106 386975
387536 387700
388965 389471
389901 390819
390280 391037
391797 392090
392006 392439
393916 394632
394528 395393
395322 395968
396370 396785
397328 398321
398104 398926
399925 400209
400302 400528
401204 401427
402966 403728
403975 404553
404975 405160
405211 405864
406655 406858
407223 408205
408583 409307
409443 410303
410398 410959
411083 411687
412329 412504
413219 413532
414740 415063
415675 416478
416441 416739
417933 418908
418171 418672
419361 419924
420786 421155
421221 421806
422369 423291
423066 423123
424076 424738
425685 425729
426539 427195
427634 427717
428858 429185
429270 430238
430121 430411
431382 431457
432008 432072
433029 433361
434170 434933
435702 436356
436898 437219
437075 437678
438564 439236
439337 440239
440217 440392
441382 441537
442634 443337
443183 443223
444661 445290
445613 446030
446590 447060
447867 448479
448262 448540
449015 449906
450501 451187
451382 451949
452251 453066
453170 454045
454452 455099
455188 456009
456996 457965
457692 458598
458715 459664
459793 460078
460546 460580
461160 462081
462259 462429
463143 463210
464707 465661
465849 466111
466824 467725
467675 468170
468287 468550
469057 469541
470891 471056
471320 471400
472947 473229
473043 473095
474240 474737
475500 476362
476131 476632
477195 477633
478348 479118
479232 479738
480196 480760
481411 482185
482615 483054
483040 483805
484650 484935
485271 486076
486349 486995
487712 487937
488342 488742
489819 490136
490108 490277
491678 492320
492185 493088
493463 493659
494158 494333
495420 496188
496645 497216
497720 498661
498401 499348
499853 500195
500335 500998
501860 502851
502907 503163
503653 504069
504110 505013
505291 505431
506048 506640
507056 507317
508485 508809
509475 510030
510480 510825
511315 511902
512863 513745
513782 514251
514582 515144
515278 515834
516106 516906
517806 518094
518015 518036
519705 520182
520430 520477
521284 521975
522652 523022
523894 524170
524488 524881
525470 525820
526864 527590
527332 527711
528273 529142
529236 530184
530275 530525
531602 532328
532572 532598
533864 534859
534806 534879
535511 535719
536092 537027
537620 538430
538525 539216
539738 540709
540881 540987
541918 542852
542130 542489
543727 543922
544053 544648
545430 545948
546796 547413
547107 547329
548078 548753
549100 549410
550941 551723
551226 551784
552315 553122
553833 554247
554498 554576
555998 556957
556819 557513
557804 558570
558380 559093
559382 559800
560101 561002
561406 561515
562677 563057
563962 564439
564182 564669
565276 565574
566541 566611
567788 568126
568190 569080
569510 569656
570563 571546
571642 571764
572663 572759
573511 573594
574981 575276
575559 575829
576215 576599
577748 578248
578372 578691
579201 580060
580448 581403
581929 582681
582987 583531
583718 583729
584889 585492
585859 586683
586614 586817
587895 587967
588348 588369
589493 589551
590230 590877
591491 592074
592430 593090
593658 594201
594073 594700
595926 596239
596302 596891
597123 598051
598671 598793
599588 599770
600195 600944
601059 601781
602703 603324
603038 603915
604600 605054
605827 605961
606508 606961
607157 608050
608394 608679
609413 609490
610127 610505
611022 611532
612197 613091
613147 613370
614823 615440
615449 616173
616604 617262
617415 617738
618492 619029
619526 620216
620189 621068
621178 622091
622908 623632
623377 624292
624326 624930
625650 626575
626077 626965
627742 628444
628328 628756
629497 629793
630519 631159
631694 632120
632927 633665
633187 633771
634856 634931
635863 636234
636594 636868
637545 638384
638369 638559
639430 639475
640253 640960
641463 642193
642021 642141
643746 643771
644426 644486
645342 646258
646354 646853
647167 648103
648835 649758
649886 650158
650957 651711
651504 652280
652442 652884
653347 653894
654976 655207
655484 655843
656965 657640
657178 657735
658304 658894
659997 660797
660154 660786
661428 662200
662731 662822
663815 664226
664226 664596
665793 666446
666391 666942
667967 668032
668797 669742
669442 669636
670177 670775
671131 671385
672291 672592
673328 673552
674346 674619
675747 676575
676752 676784
677133 677968
678798 679122
679320 679601
680074 680604
681478 681881
682942 683553
683612 683926
684223 684280
685514 686278
686504 686661
687381 688257
688322 689003
689140 689352
690036 690073
691455 692423
692921 693495
693894 694211
694884 695820
695502 696091
696978 697027
697839 698785
698799 699519
699613 700550
700509 700629
701860 702361
702417 703213
703188 704159
704401 704879
705040 705237
706835 707509
707550 708246
708937 709433
709009 709817
710310 711090
711795 712266
712546 713032
713137 713791
714178 714670
715625 716139
716039 716792
717962 718590
718564 719493
719219 719584
720471 720511
721908 722036
722073 722796
723165 723417
724714 725357
725651 725714
726107 726391
727353 727887
728166 728557
729462 730402
730695 731503
731517 732472
732975 733344
733646 734513
734388 734417
735250 735776
736584 737473
737419 737484
738821 738874
739403 740257
740958 741654
741505 741693
742533 743122
743645 744372
744223 745098
745348 745624
746519 747382
747087 747888
748650 749111
749743 750629
750477 750600
751170 751705
752398 753056
753473 754271
754701 755201
755091 755446
756782 757077
757576 758435
758919 759731
759090 759504
760598 760688
761485 762349
762085 762987
763848 764020
764977 765094
765695 766014
766227 767072
767554 768093
768162 768770
769588 770036
770582 770603
771763 772429
772580 772779
773798 774691
774820 774947
775473 775717
776703 777509
777223 777311
778015 778108
779669 780094
780049 780729
781238 781733
782855 783620
783391 784019
784405 785227
785773 786737
786017 786889
787380 788295
788805 789342
789331 789457
790694 790948
791034 791612
792693 793495
793531 794353
794532 794612
795569 795855
796799 797624
797590 797814
798823 799602
799277 799641
800983 801523
801219 802151
802556 802989
803834 804400
804502 805502
805083 805744
806496 806599
807781 808043
808181 808526
809346 810081
810929 811553
811343 811616
812704 813507
813149 814118
814060 814469
815873 816144
816347 817061
817468 817842
818014 818459
819693 820391
820695 821296
821847 822389
822911 823080
823802 824093
824744 825382
825677 826084
826584 827520
827184 827268
828700 829385
829040 829921
830878 831453
831077 831118
832045 832479
833454 834322
834748 835330
835817 836435
836314 836456
837969 838033
838591 838744
839742 840165
840859 841029
841335 842326
842150 842275
843049 843853
844768 845406
845782 846178
846131 846853
847911 848297
848572 848884
849966 850707
850483 850498
851388 851533
852381 853188
853263 853456
854989 855981
855082 855631
856255 856947
857772 858292
858110 858402
859698 859908
860402 860750
861106 861677
862469 862774
863630 864519
864947 865474
865091 865772
866914 866986
867956 867998
868435 869279
869220 869326
870527 871338
871592 872222
872829 873551
873548 873972
874025 874413
875952 875989
876274 876299
877475 877859
878700 879277
879219 879936
880235 880480
881267 881533
882523 882970
883668 884048
884408 885188
885003 885595
886802 886948
887889 888695
888399 889243
889188 889704
890131 890452
891761 892259
892517 893257
893437 893834
894348 894385
895346 895750
896830 897077
897376 898308
898081 898233
899399 899881
900598 901497
901296 902124
902377 902544
903161 903747
904339 904851
905554 906233
906985 907783
907001 907100
908826 909014
909781 910450
910850 911166
911221 911423
912706 913631
913906 914124
914323 915081
915761 916739
916252 917174
917712 918419
918253 919056
919194 919706
920576 920629
921389 921979
922461 923293
923238 923541
924366 925046
925498 925615
926236 926297
927851 927997
928650 928779
929560 930450
930396 931169
931631 932289
932121 932813
933435 933682
934357 934770
935186 935637
936996 937326
937531 938319
938385 939092
939948 940902
940563 940627
941586 942159
942308 942814
943198 943719
944109 944744
945846 946274
946877 947817
947629 948505
948995 949481
949357 950126
950698 950726
951001 951906
952050 952519
953879 954829
954081 954350
955498 956431
956129 956833
957832 957948
958222 958510
959517 960357
960571 961525
961027 961127
962544 963348
963400 963598
964928 964968
965659 965898
966335 966662
967285 967409
968943 969023
969694 969831
970354 971131
971799 971968
972740 973533
973884 974503
974479 974682
975701 976541
976980 977955
977291 978084
978434 978480
979092 980021
980696 980989
981897 981971
982306 982894
983467 983931
984467 984799
985139 985618
986623 987034
987241 987366
988139 988364
989312 989715
990512 991392
991537 991925
992874 993231
993302 993541
994065 994610
995189 996141