{
  "configured": {
    "loading": {
      "exact": "5/2",
      "decimal": 2.5
    },
    "chord_status": "certified",
    "bound": [
      {
        "exact": "47806098493525953400000290229146507094194924518087693310149598727665436179739388377143378603960011890205311363149515821316714632747918805604888402948396620809365629658315561553249355606443223059877804400464077326959832282973490412106602606389285712567095610667285437772045151015355495719339707990030772426726524762633183855667425820794148467913479968411277/1311360850090430238733278169067106674880770000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.03645533454062571
      },
      {
        "exact": "7010753725827271795065743569882889830588484666206201857438536666061217752349630900147881109374057026814404207132101605663550448545439829983213456483679528094779067054438531992832331446053013585292265268188411188288952387745995233106223232687926142243508066017288405894192899180388374254009974326737698202889149615276743931475057417420457279967605663609/192310777398421901382409887028842126441584497019648551940917968750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.03645533454062571
      }
    ],
    "numerical": {
      "status": "numerical illustration",
      "bound": 0.03645533454062568,
      "tangent": 0.0,
      "gate_probability": 0.8939367423492415,
      "source_states": [
        [
          0.09999909928259547,
          0.0
        ],
        [
          0.9000009007174046,
          2.0
        ]
      ]
    }
  },
  "rows": [
    {
      "loading": {
        "exact": "1/2",
        "decimal": 0.5
      },
      "chord_status": "certified",
      "pairs": 3,
      "bound": [
        {
          "exact": "27273562015726937470692663727784130358887282433599922480287760999889885838245912098309264521554517767298124085920561/1023804452765952000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.026639425079704983
        },
        {
          "exact": "31572557228455895989510594847876103906721874442229625063069480025796887693568772498208944849288526705521942132875140011/1185181629633185184000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.026639425079704983
        }
      ],
      "previous_fails": true,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.0006242890707894998,
        "tangent": 0.0,
        "gate_probability": 0.568909072308586,
        "source_states": [
          [
            0.09999909928117959,
            0.0
          ],
          [
            0.9000009007188204,
            2.0
          ]
        ]
      }
    },
    {
      "loading": {
        "exact": "1",
        "decimal": 1.0
      },
      "chord_status": "certified",
      "pairs": 4,
      "bound": [
        {
          "exact": "195712038901716113698032585396878270751743353354269011649857462529751184787704726396632431656648621757569318519874123835586351905621598572354695096202831681/4274003859090452763793945312500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04579126396562624
        },
        {
          "exact": "21834888840124663763005893248125938636496592829728109508432357144367614859827030724180805794123394268177757536316189468806333418301971334319260270039722836321/476835250857353208541870594024658203125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04579126396562624
        }
      ],
      "previous_fails": true,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.010466853184394737,
        "tangent": 0.0,
        "gate_probability": 0.7781990239058533,
        "source_states": [
          [
            0.09999909928231186,
            0.0
          ],
          [
            0.9000009007176881,
            2.0
          ]
        ]
      }
    },
    {
      "loading": {
        "exact": "2",
        "decimal": 2.0
      },
      "chord_status": "certified",
      "pairs": 7,
      "bound": [
        {
          "exact": "53626958694024907236682468206981013386897695360117363801698624301885588713795585010599810700976106294190000357568818124559295566169839667521601144662219435567418255045987519475894665381307144754523395481009715703838250763500721381490153348020099921934938762714001728663/1243399351365385856184845041459275359232000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04312931210325689
        },
        {
          "exact": "8786240912429040801658055591031769233315583526084391500289563611076960133543008241394248479709020020739335125182231264022620463470032262638291330671415044678823729549635309395741450532852024845173605541631120308109150596030796464380678943356818470513450368094387574459612918147561/203718549727704818677325011592687674856570880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04312931210325689
        }
      ],
      "previous_fails": true,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.0328044941784325,
        "tangent": 0.0,
        "gate_probability": 0.8835168092211644,
        "source_states": [
          [
            0.09999909928174451,
            0.0
          ],
          [
            0.9000009007182554,
            2.0
          ]
        ]
      }
    },
    {
      "loading": {
        "exact": "9/4",
        "decimal": 2.25
      },
      "chord_status": "certified",
      "pairs": 7,
      "bound": [
        {
          "exact": "258089453945372204383482259473514544945002644135499047711961362325488684234139582066163034915256320288942756012096441919111364563484841926064508778971751611722419430898729776879489513019171269942888194938963182906781144088650920178297036262358460585925100099714806136285593/5685410843005879543597828264560015360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04539504023053507
        },
        {
          "exact": "118371990535621367244872892068622774523945619123048112014431299327664832546382330911724554873653886596549727063341451995556897802174141851588240918074074051810011046726278182738976534931416695782830188586122489623401351084483921326193252124039671485920343457495350644623102393/2607597436514621679069760148386402238164107264000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.04539504023053507
        }
      ],
      "previous_fails": true,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.035036629965438736,
        "tangent": 0.0,
        "gate_probability": 0.8900027938268033,
        "source_states": [
          [
            0.09999909928271349,
            0.0
          ],
          [
            0.9000009007172866,
            2.0
          ]
        ]
      }
    },
    {
      "loading": {
        "exact": "5/2",
        "decimal": 2.5
      },
      "chord_status": "certified",
      "pairs": 7,
      "bound": [
        {
          "exact": "4361120872426066372129055440904137284292454471583797462572001025944850865817708442299918134689845675158678487733065122227081779513966186447806656382985132675740955065645101895743968330398623322615953239179050002853761696179789009176640473953726144520231543263298573263957702533/93149771251808330442306818286551291658240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.046818374471761286
        },
        {
          "exact": "4547963785169509485171434521320985908867988424283000060762422703119893588621942197996307173005734305741044603781192776432664575730133202760911221153639650220237489404034596020298452081517967871450724769647699804729359726522916070702364468132409148849560365111350070414534729/97140574325420770014441018864005887440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
          "decimal": 0.046818374471761286
        }
      ],
      "previous_fails": true,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.03645533454062568,
        "tangent": 0.0,
        "gate_probability": 0.8939367423492415,
        "source_states": [
          [
            0.09999909928259547,
            0.0
          ],
          [
            0.9000009007174046,
            2.0
          ]
        ]
      }
    },
    {
      "loading": {
        "exact": "3",
        "decimal": 3.0
      },
      "chord_status": "invalid",
      "pairs": null,
      "bound": null,
      "previous_fails": null,
      "numerical_envelope": {
        "status": "numerical illustration",
        "bound": 0.0393120337027789,
        "tangent": 0.5016736101546484,
        "gate_probability": 0.8977699881539156,
        "source_states": [
          [
            0.2011732074360908,
            0.23216667178107667
          ],
          [
            0.7988267925639092,
            2.0
          ]
        ]
      }
    }
  ],
  "counterexample": {
    "two_point_source": [
      {
        "exact": "24569929976650311410024491412950049964808988123908467313605680089862230194486067042554215340070347334545381513250086153209023797449291451931189614187427337234119473731344731412697923711554424234506470101338942067534302490682956255040217466195532334227875165195514593310674078045065968839613544330459973900570658340386087285797024007885093491482940272094731395145372653033261523437480803/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.0393118879626405
      },
      {
        "exact": "93726844698525663032625165607261848315633114704057308813343265492802735402462614124852679280524331833125335701278510031244774316220755712638985922184111775776839393513030663571705491394734761327940315325667114501886456987056905341501201309083003586126782138487023716116476591580584808329881607697784245794104569817462174628800163787111270367481698218351235586366238610106327552771/2384185791015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.0393118879626405
      }
    ],
    "invalid_chord_upper": {
      "exact": "97037174715462980629735090883158391375015971554753614920022051515020265979268906950021183879445324843437322088616696196233901996453052977063755619715351205761656693527121366454534334155870873461085273082998827642641816719271692894843275272968549190858000976198048796118344475182987506390241238203762168681413411815413988431446787841966331479700190796021/2561251660332871560025933923959192724376503906250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "decimal": 0.03788662247381486
    },
    "heavy_loading": [
      {
        "exact": "48531391874470742678402366498502301344011461843517077223061341589348749846133543881650266543774523549196148177256823223465029046168960177367436660142245558160476376114362830575178045781918073292459412029446538372636624233941849818413928290084751213510415318218638382752537220020049796308234110673878784862503948839970387042582076196069416233706163918384739840296628683292297/64000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.7583029980386053
      },
      {
        "exact": "94787874754825669293754622067387307312607699373601048255060755328505534066266399890829934179512535749273257685655939612552263984094547595075318346880809955762720025238635167784360181922755968088480921862294963441508688427375751062884317849558865204017521583328705003329925634601014363810994019160571064193479541647042283842256652559641231090871905673498069546057097491909/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "decimal": 0.7583029980386053
      }
    ]
  }
}