{
  "reuse": [
    {
      "T": 1,
      "floor": {
        "exact": "1771561/64000000",
        "decimal": 0.027680640625
      },
      "bound_numeric": 0.04987721424858772,
      "certified": true,
      "comparison": "Exact comparison of bound**T against alpha**T",
      "reachable": true
    },
    {
      "T": 2,
      "floor": {
        "exact": "223621379623279/4096000000000000",
        "decimal": 0.0545950633845896
      },
      "bound_numeric": 0.09488140869696522,
      "certified": false,
      "comparison": "Exact comparison of bound**T against alpha**T",
      "reachable": false
    },
    {
      "T": 5,
      "floor": {
        "exact": "140606705835115154012318770769683753801/1073741824000000000000000000000000000000",
        "decimal": 0.13095019928656068
      },
      "bound_numeric": 0.20757145312760708,
      "certified": false,
      "comparison": "Exact comparison of bound**T against alpha**T",
      "reachable": false
    },
    {
      "T": 10,
      "floor": {
        "exact": "282180355854253371538559486795186242093943629351083584427964629594801618052399/1152921504606846976000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.2447524438799314
      },
      "bound_numeric": 0.34586452643201676,
      "certified": false,
      "comparison": "Exact comparison of bound**T against alpha**T",
      "reachable": false
    },
    {
      "T": 24,
      "floor": {
        "exact": "10931444203086088750007992582339931405864205048624147577424475188408020533169901333298633867881768887776436817163231455234148788784123100484255548199493078818777242843944207445671574064959/22300745198530623141535718272648361505980416000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.4901829111883827
      },
      "bound_numeric": 0.5751950231187608,
      "certified": false,
      "comparison": "Exact comparison of bound**T against alpha**T",
      "reachable": false
    }
  ],
  "reach": [
    {
      "K": 6,
      "largest_batch": 1,
      "pairs": 9,
      "status": "certified",
      "previous_fails": true
    },
    {
      "K": 8,
      "largest_batch": 6,
      "pairs": 96,
      "status": "certified",
      "previous_fails": true
    },
    {
      "K": 10,
      "largest_batch": 20,
      "pairs": 330,
      "status": "certified",
      "previous_fails": true
    },
    {
      "K": 12,
      "largest_batch": 66,
      "pairs": 1070,
      "status": "certified",
      "previous_fails": true
    }
  ]
}