-
Notifications
You must be signed in to change notification settings - Fork 5
/
ssa673-RunCollatz.in
996 lines (996 loc) · 13.5 KB
/
ssa673-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
591994 758247
710433 737080
993384 993826
598861 747304
676530 910603
840364 900005
218508 225698
791197 997994
815569 874971
770225 911812
511927 894758
483882 671160
993503 994933
44216 963174
644638 758252
268301 761464
698435 986583
455511 893957
577141 954685
105880 188998
469644 755973
502756 609403
958539 981610
873758 923326
47395 65221
56567 67430
285917 894448
524225 906247
210920 687955
15485 478175
956790 980548
319503 416524
410924 461201
384151 555690
546104 727687
459897 529190
729741 790969
516047 841362
644097 971499
436036 799488
535246 620375
228956 540924
502510 524782
604861 869804
433907 726844
123381 597826
553979 587157
814230 909078
773855 836736
712469 968286
593101 885037
382434 967126
630 737950
906556 930104
37540 225747
376637 966737
626231 929296
986290 994273
223663 461339
928169 970912
436405 928596
445325 758922
133598 189485
272834 994498
831562 948977
986930 988134
299219 330243
310793 974869
873518 933389
518419 808329
883457 979007
743334 885726
693229 831269
203113 430982
100474 978878
262725 604303
403964 723384
501630 850969
203598 999037
846597 959668
559860 707964
662632 808239
243577 980710
939709 958587
501567 738210
307688 345248
679576 826306
193667 370451
638703 901341
595777 922479
711473 718660
479095 768421
833070 908873
949993 952922
894404 896727
84975 717902
567133 587956
482361 921199
195132 809174
376290 670712
508986 815986
62208 602370
154697 964201
693827 876862
418046 418155
439397 509410
232938 596002
948920 988711
74992 122292
955761 979854
727869 896625
191122 747767
64941 950922
156430 798742
886510 890175
408233 543752
794642 867243
47279 648402
953658 994005
955818 962045
82458 672779
835579 845754
941246 971340
307268 654026
24175 383262
737984 964681
843257 860793
265691 450879
608164 882073
843303 913253
869871 924812
385328 694402
730219 822445
77095 493229
29339 67573
112905 955430
841357 913880
30933 997555
47255 816506
78282 515913
451150 703967
791247 830981
180254 554527
38928 649296
104678 265464
930996 943895
954809 985495
214236 613412
252898 803848
511973 618009
241682 811030
133339 225674
644312 896860
286365 714268
362713 680377
664095 788880
479985 766621
283283 984301
119016 892902
591032 823403
594555 603218
619263 893391
728278 915110
966554 992238
352567 591000
681350 889454
663762 985299
472369 988448
782523 849517
797154 817111
298707 571053
197042 518248
710263 835734
128368 528488
77244 822187
560806 666178
298806 672970
802556 893953
656552 980757
600159 790381
453566 706282
232573 635320
94873 147436
462523 995506
9817 597432
163803 660276
696132 946700
755135 885311
483590 808764
236498 450909
564293 841289
342588 997082
437646 720557
753779 760196
269213 978053
293833 790170
190966 491811
905462 957890
280652 828878
942189 964346
683181 769381
913681 991208
988202 997308
440838 898874
794639 960500
438345 894883
192309 832443
771463 830794
318291 572976
108808 564037
925175 937801
895166 995300
81373 815470
232664 418745
340234 668300
622459 780783
422832 982672
573439 750366
194983 658494
823106 878765
346722 963005
585996 839020
144400 685732
796753 833513
192291 438133
651805 684004
660740 871774
981750 992277
588267 600285
665774 698879
900439 990126
692265 873900
791808 983048
792208 906573
249966 938866
242720 306729
251891 808271
329474 693925
599840 857394
643791 821929
382393 757478
401305 633944
619673 744680
35644 519691
81872 691770
627252 920872
436987 927247
161794 393871
495097 630920
15585 176774
158663 550085
480893 907775
875579 977691
69035 138442
616296 795886
963978 969036
178928 230866
497089 553495
565329 732491
231125 887232
193555 486289
988112 996169
322749 786007
444181 660962
598294 813295
210386 643879
489241 848099
291160 687620
325759 406611
583255 671213
969097 976606
473116 483858
5743 619179
387838 700232
974791 990018
335718 926768
64758 142589
471395 633744
83023 707787
675488 831917
265796 754814
140199 530782
695182 837852
294554 980548
86646 180700
832892 934424
447528 864887
578028 826782
355648 968609
819563 835410
215050 279935
224514 845009
990465 993602
481423 613944
357847 369757
272963 877453
518514 637043
691702 887602
769980 924312
738056 945062
296925 426145
440529 626293
108154 923515
491459 789822
995409 997428
124823 226362
301219 441927
507756 924067
957189 995780
858836 989799
71343 985409
231575 231576
511135 670484
751771 862211
733859 921468
616331 921899
172511 932818
346002 863631
985179 985749
335247 681770
940264 998755
312719 605987
736766 887354
771721 851611
575506 852718
61405 762368
308084 573764
658839 782548
828896 893958
135365 961853
452540 480806
656744 976200
73839 491659
137607 411988
757839 869764
731795 832784
697969 758089
459675 995318
935792 963060
932874 935274
907105 976462
270634 458700
396505 692413
47917 152407
303907 927646
64199 177749
288016 698112
667657 995868
717689 917713
559089 962772
874815 994451
383806 406035
282384 678850
900995 978740
727330 982410
205306 372747
686381 974165
924138 972804
699337 717437
788997 835962
850991 864267
696188 838540
81381 93110
750005 853272
33537 860233
692408 896878
635689 804334
142310 942340
496579 891263
723201 844229
441682 998280
181450 426829
436551 572079
173802 287841
611072 968078
418964 953966
823065 867180
205680 863824
967673 972347
872160 961457
164441 581011
316296 515075
729425 906827
62968 456878
985481 989506
57158 211734
78781 934432
526088 633070
980306 998014
769722 972617
262462 708630
109340 183193
386046 518249
914470 965860
522759 604539
308069 911624
112459 243001
940585 963706
729886 946988
950659 968806
558045 903337
671974 832643
58592 652673
783626 813317
844995 916441
869932 953448
432052 770509
892512 907521
413292 693494
973588 974992
742245 940992
438677 769470
528594 729356
16322 816009
48373 488026
892344 943586
278962 290325
369686 528444
53536 694764
798661 996857
62332 207485
275905 988756
164734 650270
126245 946995
399573 646177
95879 237459
352421 580400
416629 602179
147275 610527
821663 949943
843208 917425
278220 868330
829894 941348
680722 805209
402954 911341
249820 581661
862649 952405
593836 727103
597347 724616
696461 722747
894571 908760
839356 912540
953235 999839
194257 295170
365363 690573
523552 893615
386337 870181
811148 829858
640240 709325
360150 373966
609592 852710
796892 935445
763663 966728
821716 897320
491293 763589
458322 595513
955916 978149
941337 969102
493301 795245
414843 741437
465698 800628
915171 917898
386973 755861
4360 149509
287439 414633
184706 431694
418125 456163
341230 663732
553790 640214
862172 964070
972198 984306
415571 977895
121752 762229
203363 324587
576933 863258
667170 708650
985168 995394
329190 958752
772260 841458
667458 703815
666800 782632
550600 808470
975712 993146
899439 922687
669978 964252
461101 596753
976591 981819
138172 434206
402828 474927
426899 902208
103217 479174
603346 948792
727313 862601
226773 259326
424982 856462
880684 987816
430859 495160
372108 553314
574577 950542
590346 659473
470080 893371
72081 216039
905628 927281
918221 947971
794130 890651
899814 924624
737108 833276
419917 742853
919459 925275
962393 993619
378290 594150
957475 971467
198276 957748
780944 831785
476629 934307
235250 709786
899751 917082
146556 978401
985836 987109
164142 187312
806035 912350
933640 940361
712563 805212
202256 942870
14388 176114
224402 410214
967468 982175
895299 948199
32259 167923
126410 581123
320101 791257
71453 508532
53885 990219
349818 734838
836892 917380
533166 557604
515007 637236
951621 981478
467703 973322
632235 849026
636531 812373
651404 764046
438729 771421
814775 983727
688516 823874
776333 974863
608236 866424
79075 563919
132573 351076
202754 746186
746438 998750
302086 660946
633811 947440
627533 877439
612006 824752
559181 986354
172701 344677
124392 631744
515040 515646
887069 970552
132747 169240
218778 809432
779992 884715
421145 549908
291599 860288
649386 668715
151917 488012
476298 983679
101269 921031
575291 973913
725533 871324
934107 992591
507349 620725
234682 571648
418978 979634
249574 942566
827656 920283
964543 985600
362783 514962
496976 584032
887468 903565
50185 447759
829453 862162
137120 605915
691544 773518
89337 620032
490183 537041
607229 693884
402358 801712
427613 667702
852625 925384
409873 654965
289503 383064
750442 764432
707253 965917
108825 173443
616958 905034
101168 135181
289751 703283
527398 764140
142951 751720
435805 985720
652980 847875
488766 570599
21365 142867
322039 607548
434480 888915
637979 698676
414185 896996
543359 731231
804074 917391
241829 577140
51216 442929
178783 847991
881032 946911
375384 862052
306309 836341
194476 960483
321392 971618
573013 817683
98614 277815
705601 914282
93418 199374
846863 900026
72847 938590
845087 961965
682786 859035
957221 988294
64368 102624
610560 717352
99004 570857
956901 999983
812812 827533
151501 240985
90684 296795
325708 971934
252340 820704
705771 715871
919668 942056
461253 605865
477023 743066
797955 899501
892659 987739
898836 922547
656675 834159
371563 974413
603859 624774
395793 668429
761441 994230
242922 709856
503292 836767
934663 967403
942691 969381
636692 791699
972827 991570
774724 898793
813313 834871
591225 868452
565589 866402
912888 950504
672217 680038
706603 923494
444301 513089
702647 864923
925902 971351
48958 153800
340244 392400
923696 978945
574165 590533
21787 160162
546908 572182
295065 998265
647584 826102
668280 826251
561030 696654
281033 337446
911100 945503
178252 610277
988606 994148
51803 285007
981098 986387
339083 375897
244596 270055
629829 717790
242601 846179
292156 483510
392414 667682
577927 872719
598714 866394
234586 706601
192949 900063
66717 733268
136204 929916
640618 964031
62719 595833
796644 993220
249131 487901
167879 334287
176911 936335
43772 126736
626679 977360
660749 833912
395446 522812
48754 861125
781851 943354
566440 992358
38819 886522
74796 993112
474459 615058
638921 692915
795370 888538
723163 847255
464837 559863
21676 544836
202765 309698
513692 609012
523967 562738
672327 867008
213844 299560
312992 878499
521219 680385
620497 636354
330640 425557
924445 951785
712652 933596
734836 792185
670237 812282
41820 140368
60846 151460
515970 660932
112283 952248
812257 889591
531491 788273
929199 991431
370354 618867
454584 941714
832444 948978
444080 753780
427992 840490
735348 892586
987761 997588
257622 297118
285123 707612
617673 745084
472184 953188
143621 588586
371707 753172
66970 667128
370840 949103
492740 795893
302830 380738
822742 871019
174419 413819
886266 895070
873117 911019
927161 975343
371832 782685
981033 997958
318180 331819
938789 958648
960394 980055
573831 820852
906998 916963
53769 620312
357800 568989
460695 605295
871471 903550
807003 962488
970692 977313
109765 748145
528041 750654
632270 801577
851372 907044
226012 940015
201155 227738
322945 869866
457201 637554
1914 333105
219468 329966
353928 756230
516520 526041
220259 816118
823078 859698
100564 921106
400396 450200
403565 832561
293712 648176
221814 909293
201284 323741
889162 986379
999666 999995
862601 903532
927696 978469
49830 277466
333436 843622
874222 890321
838214 943278
876943 944093
712354 733262
951900 963768
958700 983881
796370 858375
911184 911508
445006 854988
253332 766373
896997 900333
520 158227
608160 726528
753061 757693
717517 733401
75931 297086
230384 328132
184381 879683
359214 711262
780230 829091
904663 960144
286798 857936
970812 979702
344827 392697
681720 687153
59134 112403
585985 633807
506048 594146
489505 490814
632817 918547
884991 946980
188408 648655
493838 676016
334573 704144
698928 771100
289220 809399
525862 722772
771425 966781
978452 980209
247560 517250
808372 809678
447685 782408
508356 814660
335483 703331
475823 953489
506613 824550
865236 959295
770510 821975
801716 905008
678683 854003
987530 991516
815813 835554
622323 923444
413906 712063
255553 428164
8132 575768
177073 799336
477418 648119
163708 205014
533362 875121
473703 998576
995536 996257
507874 547401
555852 812767
330155 385068
53768 805846
508049 804207
999891 999981
445433 935037
468740 603746
439642 762116
880420 993412
208065 511615
282788 458008
156379 599873
784962 838835
463523 885760
862957 944666
353609 734825
519844 760352
130874 317004
225401 252956
542863 789966
251182 418033
384163 818495
351705 954189
486848 964364
694762 731078
95447 759559
815398 872776
278612 544455
38770 460420
374112 960598
994914 996981
339461 564675
319533 775110
331035 536271
513559 558514
357252 949570
912742 923458
646373 884291
317508 448903
590024 660915
651326 995076
126168 902047
979641 985733
19495 57618
835977 868307
195693 822491
400012 905751
554781 576707
65493 124591
196383 665848
63038 500098
858731 889148
381468 927277
428398 592986
406955 628114
397650 446340
695505 988824
112312 120953
662888 731380
999685 999688
847010 898568
831117 888449
728870 776534
548037 753906
925732 936719
557669 699205
258400 758320
432162 482128
685643 741761
72914 619337
163655 331843
33517 482874
975346 980627
436659 465882
160199 697351
831911 841006
115092 989125
185363 452259
813086 822970
684395 774682
61636 299579
100352 234573
783452 965260
450649 765655
19517 157902
715090 947748
620259 968901
417191 465741
881007 917593
211533 843732
493569 876565
907259 945918
506835 788327
993332 997343
723745 857803
54071 288649
395946 784255
17586 978346
825256 832486
962215 977525
734908 813936
917017 983153
54231 303487
385260 902652
166249 849357
50921 789610
125700 250090
607240 776928
869863 979213
885919 954709
849447 994354
431470 749391
712763 934290
526484 995663
922670 993249
52257 60725
289844 883588
790415 906914
13138 844630
113363 803811
651958 783167
955885 976848
568312 673263
441637 454960
397463 692360
194360 408808
493876 593309
785102 895579
589582 687461
747665 812228
959422 999825
381790 786475
654235 888616
107632 686762
109490 440482
338995 561682
11698 647330
813245 897763