{
  "table": "T477",
  "sage_version": "10.9",
  "controls_passed": true,
  "certified_rows": [
    {
      "n": "31",
      "normalisation": "separation",
      "number": "0.2175472916191",
      "significant_digits": 13,
      "contains_certified_interval": true,
      "certified_lower": "2175472916191243/10000000000000000",
      "certified_upper": "27193411452391/125000000000000"
    },
    {
      "n": "31",
      "normalisation": "container",
      "number": "11.193403352047",
      "significant_digits": 14,
      "contains_certified_interval": true,
      "certified_lower": "304386822904782/27193411452391",
      "certified_upper": "24350945832382486/2175472916191243"
    },
    {
      "n": "32",
      "normalisation": "separation",
      "number": "0.21317456258988",
      "significant_digits": 14,
      "contains_certified_interval": true,
      "certified_lower": "532936406474691/2500000000000000",
      "certified_upper": "2131745625898779/10000000000000000"
    },
    {
      "n": "32",
      "normalisation": "container",
      "number": "11.381982426523",
      "significant_digits": 14,
      "contains_certified_interval": true,
      "certified_lower": "24263491251797558/2131745625898779",
      "certified_upper": "6065872812949382/532936406474691"
    },
    {
      "n": "33",
      "normalisation": "separation",
      "number": "0.21132838414326",
      "significant_digits": 14,
      "contains_certified_interval": true,
      "certified_lower": "2113283841432631/10000000000000000",
      "certified_upper": "422656768286529/2000000000000000"
    },
    {
      "n": "33",
      "normalisation": "container",
      "number": "11.463944032450",
      "significant_digits": 14,
      "contains_certified_interval": true,
      "certified_lower": "4845313536573058/422656768286529",
      "certified_upper": "24226567682865262/2113283841432631"
    }
  ],
  "conversion_interval_checks_passed": 99,
  "scope": "Precision counts and source-bound containment, not a new optimality proof."
}