-
Notifications
You must be signed in to change notification settings - Fork 0
/
timsim-RunCollatz.in
executable file
·1000 lines (1000 loc) · 8.57 KB
/
timsim-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 1
36 112
68 215
16 35
73 23
55 81
81 58
18 36
43 114
41 136
93 19
73 37
2 219
21 27
82 155
62 156
100 138
29 248
87 250
6 163
23 114
61 39
1 46
79 8
74 153
70 7
75 141
1 67
67 55
7 93
47 142
61 126
94 82
1 116
11 87
36 81
75 33
45 203
7 159
86 58
77 94
14 206
15 110
53 54
31 109
55 7
45 235
54 33
23 250
87 85
70 75
84 150
18 148
85 4
86 11
62 123
7 35
90 116
96 130
81 64
89 158
30 84
86 160
47 104
96 169
61 162
52 135
15 139
5 27
12 138
67 159
41 79
35 162
83 98
3 16
58 160
41 191
67 161
21 115
63 22
30 219
46 151
100 83
3 243
65 126
70 16
44 187
47 222
28 162
16 38
100 209
90 238
18 170
27 192
96 239
80 175
45 165
41 226
65 3
97 87
97 233
67 211
64 181
54 200
76 85
85 127
1 240
44 103
55 242
22 9
8 146
32 243
35 101
52 69
7 99
52 112
25 84
63 151
37 81
32 209
25 139
96 162
47 108
82 59
11 62
4 248
100 160
1 67
24 1
89 202
74 131
32 78
94 19
30 56
18 30
17 86
100 171
1 157
21 135
82 79
81 189
46 57
62 33
90 85
95 73
49 79
99 237
46 174
64 50
97 250
46 47
33 113
82 33
6 242
82 88
2 172
37 98
14 120
85 218
52 158
95 60
90 107
52 217
45 100
50 206
82 218
88 159
77 28
75 156
69 108
99 210
18 72
96 58
14 3
59 206
62 171
23 86
74 205
10 149
47 233
45 156
49 63
70 215
62 122
39 33
21 165
52 74
78 144
56 34
47 148
88 47
49 13
84 160
9 226
11 99
29 2
6 215
2 69
49 81
70 8
98 188
37 812
461 149
461 17
317 108
401 321
18 731
489 958
442 103
57 481
432 853
20 783
493 929
144 518
325 230
219 36
25 490
246 428
407 859
270 958
426 181
7 906
341 500
473 105
236 376
427 29
417 212
67 426
262 294
60 490
382 640
329 360
170 293
400 506
271 509
83 858
349 189
369 623
487 140
316 150
227 864
467 445
287 809
41 291
92 241
173 616
56 841
79 65
13 352
190 931
441 117
43 796
237 428
4 340
19 809
494 165
165 426
355 322
92 61
62 855
31 391
356 141
105 269
118 268
463 646
488 961
417 929
55 204
71 586
354 237
241 983
339 457
240 638
358 925
428 729
32 220
287 806
258 830
467 689
212 88
284 834
356 670
396 179
446 453
339 630
240 55
364 762
72 812
329 972
211 679
223 533
393 555
377 438
271 337
202 305
368 194
124 153
466 282
293 607
415 184
472 657
366 230
96 795
436 127
60 837
62 149
348 782
454 182
16 140
153 504
288 910
435 439
437 30
44 938
248 418
143 990
354 837
147 185
230 429
193 820
45 80
357 193
471 905
451 922
125 764
325 875
212 957
245 966
173 562
144 522
323 35
85 137
286 553
84 145
474 807
330 164
450 842
183 701
410 943
175 298
396 76
359 979
227 384
371 250
85 78
215 411
29 913
441 901
212 404
140 857
415 271
27 473
20 537
98 15
187 916
143 404
67 35
49 192
264 203
280 354
129 803
119 780
237 226
113 783
485 643
153 770
465 821
459 681
125 325
337 505
202 520
402 217
131 397
302 693
166 395
277 674
263 250
151 243
360 93
285 820
233 611
49 274
213 912
455 614
412 449
11 955
85 289
267 793
147 469
193 515
266 675
336 122
34 67
243 828
405 316
265 488
477 609
447 455
302 263
117 344
312 919
925 652
761 106
646 149
859 51
778 795
531 802
12 128
120 419
439 517
475 429
828 249
532 678
836 140
706 34
776 679
459 483
843 848
770 513
4 42
385 624
181 629
297 928
449 656
991 490
756 155
873 833
455 811
142 61
802 339
626 307
116 503
932 761
439 875
785 388
865 269
5 495
510 626
893 55
69 695
888 541
119 456
89 563
399 689
747 686
994 159
382 228
245 320
373 890
767 159
416 557
915 79
639 243
6 266
806 428
119 374
283 291
933 679
161 180
922 481
542 988
594 487
534 690
199 348
183 81
540 724
106 227
923 478
915 659
419 923
864 66
691 678
800 190
140 746
607 385
610 836
446 868
288 305
872 889
624 993
940 437
381 268
830 671
832 199
77 147
157 661
502 733
922 498
561 922
730 49
55 107
277 146
611 143
710 791
627 88
556 970
448 850
435 333
323 595
427 727
128 914
766 86
28 121
247 201
615 931
365 562
942 436
659 587
261 525
919 980
344 334
669 718
942 509
752 916
455 81
704 212
590 766
969 737
181 79
128 937
713 514
631 518
4 992
28 877
924 854
113 495
214 824
682 166
452 959
509 245
42 305
497 565
442 242
353 3
562 76
841 919
305 952
859 95
697 575
667 218
220 899
913 222
299 284
57 97
261 831
583 317
453 281
210 211
783 612
949 822
783 204
155 808
622 237
309 390
723 508
755 740
309 469
229 654
537 677
742 757
894 134
929 648
293 557
687 297
390 126
940 13
642 588
381 144
266 125
523 365
376 94
732 798
183 616
277 926
808 104
624 21
899 985
473 7
301 8
517 455
830 423
912 575
610 999
344 411
721 210
633 570
129 640
95 148
221 499
360 318
206 47
578 615
84 314
613 657
734 392
483 188
590 845
172 277
723 69
999 732
538 411
1846 4144
1390 4571
3253 4123
2995 1733
4920 3809
2955 2847
4021 3894
2175 3142
3117 4601
3815 3624
3241 1205
4259 3960
4361 2930
3291 1659
1761 1333
1394 3427
3548 1188
4081 1878
2929 4074
1334 3490
1062 3341
4235 2700
2899 3567
4362 1872
3082 1213
2475 3353
2914 4996
1369 2659
2934 3774
1784 1403
4698 3728
1503 4764
3867 1645
2927 3961
3374 1153
1583 1826
1919 1159
4866 2039
3616 2628
4822 1741
3257 4063
2448 3916
3662 4675
4236 2013
4959 1711
3630 2529
3804 2840
3466 3080
4029 1214
3101 1525
3450 3682
1952 4667
1030 1230
1277 3949
2320 2669
4074 2693
2354 3005
3517 2474
2097 2605
1502 4544
1978 3808
4458 2302
4192 1054
2283 3811
4296 3262
3454 2701
3681 2521
2279 2818
2759 4241
2859 3757
1718 4101
3216 1247
2242 4917
1229 3423
1947 2388
2345 1383
3050 2185
4408 1072
2768 4877
2796 1943
1311 3520
3220 2399
1437 4633
3945 3137
1151 1335
4572 2505
1536 1394
4125 2062
2300 1800
3201 1621
1713 2156
3791 3884
1254 4587
2756 4661
1230 1236
3082 4860
2721 2534
1543 2924
3485 2148
1015 2299
1054 3601
4085 2845
2871 1922
4582 4866
4702 1374
4144 3511
4451 1617
4009 4448
4107 1648
2686 4635
4337 3172
1607 1585
2048 1654
3202 4861
2154 1997
4718 1722
4056 3424
4835 2498
4889 4425
4343 3602
4435 1591
3961 2496
4001 1866
3315 2894
4937 3197
4747 3012
2654 4720
1696 1797
1054 2704
3001 1998
3730 2875
3038 2178
2072 2712
4830 3787
4673 2378
1450 4450
2070 1598
4582 4213
2308 4440
2987 3776
1571 3202
2341 1171
3451 1274
2569 4536
1570 2145
2396 1599
1936 4325
1346 4936
1795 4240
3260 2350
3128 3192
3900 2858
4108 1242
1579 4448
2244 4606
2928 4121
3711 3175
3823 1613
4276 3235
4293 3984
4285 4806
3894 2468
3772 4879
2554 1327
4669 4261
1527 3960
4706 3903
1338 4365
4582 3248
4270 1530
4482 3597
4054 3727
1406 1487
4489 1381
3922 2622
2647 3324
4776 2245
3344 1934
1175 2029
2848 1676
3091 4237
3884 2930
3466 2168
2829 4942
3240 2262
4559 1852
3322 4398
4227 3269
4089 1284
3246 3495
4326 3978
4775 1736
3650 3334
1890 4408
1331 3268
2879 1862
1994 2382
1520 3469
3988 4293
4253 3179
12661 21291
43550 15520
37140 36019
43331 47503
16413 21144
19583 31122
39566 26710
37597 31277
29532 27797
48518 26098
29889 33626
12583 30699
35776 34442
21619 26075
29939 44347
22765 36185
45545 49660
49775 39487
48448 21128
33284 40872
32775 23440
11130 19295
41650 44485
27167 27735
21550 15606
38398 16889
48726 34932
24169 17323
37826 34141
29859 19852
31853 17956
40560 17535
44892 13981
25068 38310
39660 22620
45013 46099
39568 26509
30904 42407
10130 29471
43067 43995
28909 41285
43238 45198
18694 45195
23481 41000
17574 34269
36900 33981
36838 27209
37627 40583
37439 30381
26370 40842
42247 27396
45091 32180
39789 40115
42398 23696
43589 18910
13352 44451
28451 27485
47045 25857
37260 38943
24870 42976
35886 30715
29833 47409
29131 37677
24141 14891
28716 36035
46122 17163
27070 16582
17957 44562
29360 22354
17828 31210
24710 13721
45262 33115
49510 14674
31971 15438
48219 39693
25738 29228
46283 43014
40872 33826
26477 37763
13220 48417
37764 18431
38057 11969
25626 39157
40617 43029
41220 11923
49268 48366
28324 12025
32086 10000
42699 18218
29514 31197
16427 31267
30510 33819
46303 47144
49588 12007
20822 14861
12693 33294
19085 23634
31812 18050
10188 31953
38892 37942
25564 29101
22000 29504
16490 49211
18727 24772
49081 21287
31697 41453
26973 26336
41159 42547
37977 15874
21315 39145
24887 46509
18427 45502
43058 29586
49596 47145
31897 29959
15879 22616
44086 46930
27788 32751
17563 49288
24760 24471
42734 15646
47047 15226
27503 43576
36862 37669
23193 24249
14666 33539
31897 35101
26367 47353
20628 11447
35301 12140
19042 39128
45433 14794
38604 22066
45083 13255
42549 40720
25383 22345
35962 37776
25455 13207
44889 47576
36943 32797
46630 11177
35627 12245
40320 20058
40786 12001
32286 37082
47677 26644
47433 39348
43144 21825
20574 46581
18942 13776
42006 17890
12009 14552
20182 17027
46943 24254
49885 14458
24389 37942
43502 14103
27906 35301
31149 18926
26775 22441
10889 44375
10766 26464
13799 25983
35507 28144
28596 49639
27673 23724
23673 33129
38753 31314
30283 34218
48544 10441
17008 40403
12560 20697
48078 38756
48363 39938
47812 47559
30280 48582
17304 48470
30473 27849
23457 20047
14669 38256
48397 39299
34791 39816
47160 24828
17979 20228
40361 25101
46847 20405
28871 47127
20006 17890
10225 20663
18235 20088
32465 23443
47751 16211
45995 38240
21700 29848
40810 38305
20164 49133
16638 18149
32910 18177
26997 21328