{
  "all_assertions_passed": true,
  "A": [
    1,
    2
  ],
  "m": 2,
  "gamma": "1/2",
  "C": 8,
  "F_W_norm": "17/16",
  "rho": "15/16",
  "orders_verified": "0..64",
  "samples": [
    {
      "k": 0,
      "support_size": 1,
      "W_norm": "1",
      "bound": "1"
    },
    {
      "k": 1,
      "support_size": 5,
      "W_norm": "17/16",
      "bound": "45/16"
    },
    {
      "k": 2,
      "support_size": 9,
      "W_norm": "241/256",
      "bound": "1125/256"
    },
    {
      "k": 4,
      "support_size": 17,
      "W_norm": "44577/65536",
      "bound": "455625/65536"
    },
    {
      "k": 8,
      "support_size": 33,
      "W_norm": "1442009025/4294967296",
      "bound": "43569140625/4294967296"
    },
    {
      "k": 16,
      "support_size": 65,
      "W_norm": "1555712027668084609/18446744073709551616",
      "bound": "216757475738525390625/18446744073709551616"
    },
    {
      "k": 32,
      "support_size": 129,
      "W_norm": "1879450254030630003824762207332577025/340282366920938463463374607431768211456",
      "bound": "2804359241280929767526686191558837890625/340282366920938463463374607431768211456"
    },
    {
      "k": 64,
      "support_size": 257,
      "W_norm": "2791145416792183741731244285936502601564928916248058151052410189817273857/115792089237316195423570985008687907853269984665640564039457584007913129639936",
      "bound": "240121081014520713795295968013485663795913982454521828913129866123199462890625/115792089237316195423570985008687907853269984665640564039457584007913129639936"
    }
  ],
  "scope": "Sanity check of the power bound when W-norm(F)>1; general proof is analytic."
}