{
  "floor": {
    "exact": "3/20",
    "decimal": 0.15
  },
  "attaining_stages": [
    {
      "exact": "1/2",
      "decimal": 0.5
    },
    {
      "exact": "3/10",
      "decimal": 0.3
    },
    {
      "exact": "3/10",
      "decimal": 0.3
    },
    {
      "exact": "1/2",
      "decimal": 0.5
    }
  ],
  "recorded_floor": {
    "exact": "513/4000",
    "decimal": 0.12825
  },
  "all_negative_bound": {
    "exact": "104462679078823045214220130535947324996563533729223232496024288935563434763817791772401291489425830886884730471022740471468667359095251068371489201177588342726820120822807203362818754061917714190359074889196662427025308191531677978273274070567017490236335950805904209529397345931300988209123090758820345050973193267422403717548515096526574356099508299620435325113182050607613424130315576319145304928699820920386365951569238428711185206067589108469800265726567986312367651807592853012665474684049369714437743921674242986991409469082099321766690952774567327708069139418419868460808997345709341165003751963186246765161637530047497349156532844496268968000833522932665580402306470147061631388540655076854864073793216748586052024392327955685610387392896223578283690072116138541606155050376442169599303646500626471713824788930908078277904513892380823919465848193659263787049419627727690069879511341281803892671218101270474316023541030806670202552573745001870518346725317971832497829015241041661585515925599173919368422965509856156664451624690124736591991228886716930265911275365652312083042153000681609478984314093567970757507679735641422113648068303729101951298017168133323424203157143324362133164534469536520941584205120556582666880101611939007096479201281311663358399210861130308192155673173693658908990232834029943898890413655150947802652969969567687386168385935733152641441007981827240836398295109185667068813952315037473623315770074142362073875613200484248831432436436162066250624245776614292156918394938209345891564156516878924895476163134576502372240504561380556607538165568658906581277474516451577103600449756961706968913630171124406055256626801790828869324252267583963464921047626950919177899891359004813529226378032418522270659546660210451690483697852845683172933523050941068186298382082786315954633167379130888088936831958025584541824099/6668014432879854274079851790721257797144758322315908160396257811764037237817632071521432200871554290742929910593433240445888801654119365080363356052330830046095157579514014558463078285911814024728965016135886601981690748037476461291163877376000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "decimal": 0.01566623469855127
  },
  "stage_mismatch_zero_path": {
    "stages": [
      1,
      0,
      0,
      1
    ],
    "complete_paths": [
      0,
      0
    ]
  },
  "full_range": [
    {
      "coverage": {
        "exact": "0",
        "decimal": 0.0
      },
      "floor": {
        "exact": "0",
        "decimal": 0.0
      },
      "attaining_stages": [
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        }
      ]
    },
    {
      "coverage": {
        "exact": "1/2",
        "decimal": 0.5
      },
      "floor": {
        "exact": "0",
        "decimal": 0.0
      },
      "attaining_stages": [
        {
          "exact": "1/2",
          "decimal": 0.5
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "1/2",
          "decimal": 0.5
        }
      ]
    },
    {
      "coverage": {
        "exact": "1",
        "decimal": 1.0
      },
      "floor": {
        "exact": "0",
        "decimal": 0.0
      },
      "attaining_stages": [
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        }
      ]
    },
    {
      "coverage": {
        "exact": "3/2",
        "decimal": 1.5
      },
      "floor": {
        "exact": "1/2",
        "decimal": 0.5
      },
      "attaining_stages": [
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "1/2",
          "decimal": 0.5
        },
        {
          "exact": "1/2",
          "decimal": 0.5
        },
        {
          "exact": "1",
          "decimal": 1.0
        }
      ]
    },
    {
      "coverage": {
        "exact": "2",
        "decimal": 2.0
      },
      "floor": {
        "exact": "1",
        "decimal": 1.0
      },
      "attaining_stages": [
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        }
      ]
    }
  ],
  "scope": "Type-level stage and representation assumptions; conditional calibration validity; independent eligible units and equal allocation."
}