-
Notifications
You must be signed in to change notification settings - Fork 6
/
ctt-RunCollatz.in
1006 lines (1006 loc) · 13.5 KB
/
ctt-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
10 1
1 1
403361 109415
564991 800406
346295 485752
800116 194391
910408 842662
291726 321902
16090 658108
248725 913002
992975 651899
42780 995743
355551 211038
513189 393953
95900 796078
998452 392540
2726 307114
551086 656960
916107 253872
612373 753688
748729 501379
608455 480349
727327 328078
73677 430506
917443 875387
740383 224041
723995 424825
630880 551665
207340 430811
175413 691573
611364 168618
338819 80629
482105 575201
735476 651983
685312 103252
675321 769895
293253 986625
413253 665709
562773 977358
492837 847406
453060 479551
600807 76252
132756 291577
78484 744012
216838 32542
351622 211504
187909 587182
696073 767868
598794 91765
52824 648863
856197 754487
158066 659587
737005 600917
764977 412015
307824 450542
796332 589389
365055 803930
194353 347219
281799 195475
248150 636670
651433 584057
627450 546018
785431 983061
937529 317414
222154 242586
178516 649848
867299 890665
944095 368768
620983 298175
729034 781315
640496 114961
689359 299086
583981 185397
766751 563484
655102 16926
407302 343494
555299 979103
456288 98912
482563 994565
524737 687928
611006 348835
649982 940025
560281 279427
148318 824673
353763 515288
259076 692753
660306 7892
254021 834673
793977 97019
858834 927691
418690 189578
150107 966684
484898 164656
91062 624354
869356 907500
315431 146503
24652 313282
465891 878889
943192 253098
773469 230070
25244 942262
75713 224656
255723 451357
530461 730333
20892 892082
286876 668713
838241 254998
360397 783220
720997 90859
325392 418776
317683 692696
75345 699214
240702 658625
776643 826412
729253 592089
107054 679191
129608 135773
403950 475887
191747 777506
107759 358493
530355 100975
788456 786038
838237 627591
303000 244641
297473 620531
418847 673471
561864 529893
855632 163445
703156 797913
583004 290817
921450 124258
437298 790650
814180 391749
981838 186578
938554 895562
637232 658756
199887 775729
28665 283183
247551 343776
534418 822367
864658 741921
552448 690573
200482 668815
777261 91364
695067 756173
462045 136908
429186 509554
411426 856075
629411 144847
685053 817263
63884 858061
61957 388111
874115 886731
483573 106677
560238 338349
98702 277140
627388 800861
614841 392731
32933 453744
574287 730119
742632 453415
632881 127905
16459 176191
344048 888371
633877 374294
677778 100753
169004 21055
374606 993746
597717 599287
8286 241753
484559 888484
700300 850881
960607 263279
753396 191310
302415 752242
347866 345145
10963 745208
275724 206047
808946 751186
4967 520393
850709 560876
910831 310991
793752 558466
211298 700353
543370 308430
800490 333002
90851 589722
231289 978435
860734 288010
484634 635812
957134 923271
958832 252211
706956 920811
640056 583194
138037 376157
604882 750903
410496 745540
642886 570613
726792 187281
998694 983288
865226 641179
882326 400729
750802 351195
178885 117064
833733 860230
835637 857892
184789 764295
482143 619208
437946 340285
340433 213989
567951 80762
199619 935154
322355 203659
949991 233230
775328 361622
272370 592312
935946 721449
262539 992267
734417 540388
416431 593881
926147 987416
199570 642231
857097 296594
518303 803607
868878 382904
351567 301069
484601 320952
92131 495226
922326 368306
481583 725611
768763 747094
632527 685790
876895 994232
240075 227348
568987 800856
412678 709234
643261 89551
800489 184235
712931 811884
236344 23729
793088 321402
602254 948776
132938 680250
498585 452574
718401 476527
261534 926904
35322 452614
18433 949660
497621 871668
805096 15406
738538 709829
595016 833495
515453 629092
714493 398680
434415 448585
14431 12410
679111 421598
215297 139399
831593 314729
651795 395354
754505 218611
358644 480614
332028 607381
193924 898024
333099 62970
17265 679986
777893 192646
749899 857306
111108 216516
308711 554021
498848 914791
23968 460331
259918 911150
80771 387451
791097 395875
239207 977885
568459 841335
805805 656860
676275 752696
250147 137584
863447 422415
161666 429302
199671 769299
235504 67911
513651 366776
962374 501012
140983 80741
856814 874532
524562 664107
868664 987107
76198 982751
398495 583422
121884 238042
95112 359348
635032 581021
550341 9328
851983 654630
661646 444861
226598 573565
82725 391248
680364 782235
416433 356349
963484 722962
330303 902282
98255 558723
980862 948882
961278 377051
479292 913708
723763 816643
645385 190520
502797 501180
417645 36685
917202 626504
496599 608145
555327 902867
288391 293884
922675 208366
52837 684380
864066 767737
114829 964730
688472 240697
386942 515529
143907 783491
283952 439680
362269 733521
95013 999901
617794 388463
705629 364624
365768 65397
128557 149114
743211 389650
60459 184293
653896 336784
881342 350336
946704 484602
388591 570012
925249 579321
186607 308270
434524 278953
916505 416047
391743 871922
769071 56860
874792 633992
737568 657103
208768 126420
431769 890851
491579 119336
310514 227681
384823 710454
331842 412857
824221 93071
721032 518271
471942 521864
683575 902435
810689 753814
322401 135250
274187 114144
975210 947766
762977 168641
942939 350421
796741 775433
744226 71825
272271 943757
175724 328093
376392 233467
274640 864913
506052 715487
815753 930018
386198 921845
610198 102218
45063 536299
461513 144470
918162 666433
933472 140882
854490 699105
471602 555746
64720 352934
136883 118973
204093 173483
564676 632066
842791 564389
841804 152962
990801 588608
221578 128773
107373 349384
539251 902220
100643 784230
384255 370857
34835 438161
291211 921434
777452 366706
624955 917840
929716 666792
887862 102412
209029 426578
934358 172365
292935 682110
561372 383880
948582 158058
418192 68666
150440 290274
840065 340564
431167 247982
915865 970836
513615 381662
922175 696430
849877 483675
327395 657855
291787 478113
648350 552972
694904 895264
422696 525767
595819 312437
544092 413612
406000 425074
573613 593440
113955 930971
942524 657015
662719 705191
904678 174366
426815 200544
855232 779643
93057 944055
666421 554998
612760 754365
37795 38579
181426 106431
955795 36315
321529 204974
518005 602941
618615 369728
372944 6855
93565 681816
620683 629799
116896 786494
650726 449716
242547 594299
388197 654882
991097 682693
861357 34824
649189 142773
686048 449842
683577 781592
286755 536241
236463 75581
191929 936865
215108 835132
709222 505743
751467 991841
251387 935270
994820 726114
324074 629959
474427 129369
34191 13934
629874 169924
793716 396161
122124 957310
433230 370826
311313 738738
431363 657736
160002 521976
132470 860030
496368 440794
327391 525717
721540 560761
830990 505533
905546 251317
696785 224394
232646 797753
450504 289673
798165 834285
165658 297032
310158 96108
558660 858109
106716 546584
573139 85878
873507 491074
891374 127053
913799 635956
503024 206190
420444 427234
360652 519824
451284 690231
770051 699477
876133 151290
945570 27276
961301 957545
435003 391017
432212 417743
771485 14829
529487 49077
674210 76349
812926 378623
526116 775327
465938 531600
996907 908118
836287 680489
993264 493378
600823 796362
235433 35989
553017 564517
222478 63723
133457 454464
865417 357574
328566 866985
714255 57765
523703 785397
154410 800903
660754 263845
675362 29216
457460 628001
620770 129285
775860 511573
154748 568668
989087 564506
244365 197409
427376 150406
784285 695234
697340 338695
124200 926083
510017 10742
169958 680346
581507 434427
765448 951824
45201 725640
806175 191934
838001 552518
398351 73444
574639 855584
480131 171202
799591 228205
951133 673767
949493 120457
87418 145763
370871 830469
597397 724664
610035 655763
589664 633861
715445 582814
665265 610830
55877 179436
818464 848314
206959 222105
308845 140559
1571 816966
598553 338303
92112 419141
162934 982570
658411 64982
145988 909318
215014 128148
90424 186034
448571 209521
663220 999563
236567 220528
703214 553013
516402 541115
615833 666694
329271 502706
646870 399748
379876 944623
11096 731763
510525 60387
662398 704581
132617 495177
508088 508291
33252 545750
85146 544088
913117 105272
842161 574660
921202 368084
614771 134674
837251 441639
370064 318214
845974 183187
894282 656794
422076 617702
374432 455353
862378 212357
792910 934316
359331 228542
817633 293218
42697 83778
862296 662914
208259 385796
570038 333348
905686 949017
778683 293957
396910 844760
892101 512247
502902 945692
236563 358259
863571 707878
214657 451316
374487 200069
888049 71124
643517 485769
666590 876804
751622 560725
464155 114438
293852 694556
124854 616219
542143 416149
762065 72755
978441 385567
324142 410648
751140 416971
717849 752678
304782 825290
657826 87760
315785 802236
149276 927887
678954 490559
641444 754817
165580 669774
536931 598365
166146 772374
623036 216322
390767 458461
259356 753147
298070 287388
485765 694425
516684 5068
115686 283657
230222 180719
163668 242729
541111 920687
394227 559463
531220 384344
55970 126804
241201 371790
264342 433320
19325 789483
249507 343259
962396 981908
472013 341976
268028 522522
416557 724251
700684 827357
678881 732891
486759 447254
997851 9692
397355 957202
47436 454953
643979 31350
261795 641647
248103 808587
948948 586279
296782 910746
763757 438788
608141 750951
344649 100592
689874 792208
693731 363801
572322 217637
836706 537082
636438 312348
415527 144789
17121 688341
662977 446393
546194 62514
455694 817317
823367 954854
105062 242720
292420 849494
391066 59345
622104 338347
214386 926658
590671 480394
595963 132160
110511 924030
725132 644946
718045 778119
73361 190276
366106 715055
264914 446258
691843 784658
603731 79625
370879 62313
868790 856574
66356 44196
619533 888630
500913 593657
150895 156802
640296 535336
332454 676067
632086 622485
922072 169948
548452 518939
708250 508528
786960 397701
595813 135592
224491 916506
13681 25334
127276 242548
386100 603995
897388 337811
1873 492597
392093 605237
466921 293131
864375 965235
993702 530333
391008 527165
117871 629961
582455 161582
570001 599808
869022 798197
370942 794757
190162 654068
861508 197590
605579 310349
300997 624203
585945 740249
783901 330039
70897 773753
899572 522559
538826 977567
194164 379078
25890 836825
517543 500294
744142 997984
47280 883681
910667 176600
416794 105432
731274 121144
850920 446976
784391 401652
290657 246038
22552 197211
667283 454873
263574 855985
982827 164667
671097 59876
213807 927198
806394 168302
101536 251872
192629 888294
903207 948185
204957 157476
788718 986723
307081 760664
330439 594713
937575 490145
709047 948913
304764 946279
882547 512176
587495 187980
973049 803419
544751 138841
539426 752087
875898 215162
112270 26490
455386 810048
144202 209801
722164 319089
265395 448253
722577 195754
106573 607236
750017 836515
351188 563218
637546 773964
582027 979416
133629 237664
608674 929510
295600 494971
609910 105002
491644 670455
133092 616327
871493 880962
152427 5655
128243 259755
41156 129626
910032 501702
844604 703594
245527 421124
887506 94513
672877 867814
314049 655523
992212 101044
118957 312076
715695 352034
861790 838433
304773 71985
583740 905087
726521 226481
405682 142810
160184 7068
252435 906974
986733 867289
478233 404477
950028 721831
76018 981608
954671 542037
798283 159216
639636 926024
484562 416202
77921 561961
355578 379541
268085 935270
76757 277977
34192 377050
453689 658837
88309 634828
381152 630615
813346 90357
172907 5149
75502 314405
155922 93211
7320 619669
116031 159075
598789 451043
410345 368379
783958 658739
774940 663780
421902 288241
419748 447584
962932 799790
48355 983708
387846 684037
349984 127585
654752 692465
357780 207633
815084 772733
102496 497378
548035 490411
759490 748789
308413 182329
973868 60789
8343 233839
729494 34765
641210 233089
248339 952265
440764 342801
379767 118725
336931 435585
830065 245826
612002 755341
986990 727561
430409 217125
446059 119791
339587 235255
390877 199912
721159 839901
932969 278103
240114 858287
64982 702712
320742 908025
848215 16931
975295 762826
715868 917298
98819 478620
598918 992244
389142 95986
466965 137039
714160 354849
119425 573078
831676 937457
526227 43041
93012 930419
374690 817684
983442 50119
542800 870115
431362 207232
518141 195834
395653 895071
834144 982565
464026 204841
462669 395088
398035 617074
28316 444161
954080 269147
502652 867069
889376 409652
997382 247857
357820 796519
201160 754552
26316 217176
592268 982355
471570 225657
761323 962607
422048 810960
918841 617621
741759 538372
353010 526559
119149 774489
81261 339873
16518 465927
335886 786795
384600 160699
774172 275732
152652 415955
35743 788671
663966 911325
944447 783331
847662 695203
245737 22470
693226 908388
373036 955677
460739 974645
450627 42208
646706 673606
699442 311526
653643 472541
289346 74094
101352 931082
452361 903250
594887 614950
402892 671039
574936 882068
626803 852659
678856 669370
73368 731712
321374 167211
100220 565181
611052 631163
268757 23492
295196 254273
419045 6524
15493 975334
467460 395771
973897 224323
430544 522346
732526 406049
903307 431503
949137 218422
986284 595728
265164 840009
790226 862210
435430 939547
947285 800048
82800 971818
421442 271296
282388 551936
739806 58215
533079 834535
727680 378559
332899 80159
804990 800123
237042 644541
899149 25182
584801 116758
832248 776414
726166 222584
512081 988131
146534 688399
757301 682112
85307 650486
868755 186518
249118 331101
973977 136316
263695 821859
785644 567589
4814 125654
475929 748473
497971 500256
554917 930499
626413 165994
624866 860309
85978 649124
41005 896255
693158 867916
670005 786720
837687 650771
13319 665184
899978 764728
257836 876809
469077 281460
545020 732955
888200 846541
69385 664900
684961 526763
78713 631012
185148 103489
154893 991473
141460 962568
106273 909445
88664 178453
274617 140663
83328 70364
964891 700851
8575 39608
87057 169868
771691 893090
955374 132669
126426 279863
326331 250407
352903 983234
922659 469809
3132 960798
405646 526680
791111 80642
686004 507340
983972 681497
663425 262683
225523 768280
608771 322148