{
  "checkpoint": "RMO93",
  "status": "CONDITIONAL_JOINT_MODEL_SUPPORTED",
  "result_sentence": "The fast-shock interpretation of this model survives the adopted input ranges together with a field-to-normal angle from 83.3 to 90 degrees.",
  "source_record": "results/solar_magnetic_bounds/RMO_solar_magnetic_bounds.json",
  "source_sha256": "19b61278366956ea2b6c72ebbb8d98f2774236d5d1648eb5227bfda61ad1ea3f",
  "scalar_domain": {
    "compression": [
      "22500/18769",
      "32400/16129"
    ],
    "front_speed_km_s": [
      "49577/100",
      "66703/100"
    ],
    "sound_speed_km_s": [
      "126",
      "186"
    ],
    "dimensionless_p1": [
      "1944000/90801841",
      "207576000/2457878929"
    ]
  },
  "chosen_h_domain": [
    "0",
    "1/100"
  ],
  "common_angle_degrees": [
    83.3,
    90
  ],
  "terminal_common_angle_outward": [
    "83.231591939875001708461977142396395250102557688468",
    "83.231591939875001708461977142396395250102557688573"
  ],
  "minimum_angle_in_larger_h_domain_outward": [
    "75.865873793039808242951853915555039189007745766092",
    "75.865873793039808242951853915555039189007745766243"
  ],
  "angle_source": "chosen model extension; no observed field angle or angular error inferred",
  "error_semantics": "saved ranges treated as simultaneous hard outer bounds; no confidence probability or covariance invented",
  "upstream_solar_frame_flow_assumed_km_s": 0,
  "gamma_exact": "5/3",
  "reconstruction": "joint r,b,h -> field amplitude, pressure and velocity on both sides; not independently noisy downstream components",
  "envelopes": {
    "field_squared": [
      "0.15717840595137323928695079089487821730492971792866",
      "0.72150703482797933352971825131170437031664704836643"
    ],
    "pressure_after": [
      "0.027125355308899838322627029145093055218846205956256",
      "0.36542959718274231635345862480890189392035251453595"
    ],
    "upstream_fast_Mach": [
      "1.1199803342954961148975377192067523747727135650837",
      "1.9843537938201525349807875020541435216014529586962"
    ],
    "downstream_fast_Mach": [
      "0.58242253303646670785744819921850002723746603127782",
      "0.94331002409022115466976821740450554779053545434143"
    ],
    "upstream_trace_margin": [
      "0.21013770613271311351068852036010076663743197134149",
      "0.73679998654955536078360208624427111863623822130158"
    ],
    "downstream_characteristic_polynomial": [
      "-1.9103189287921635178794930861297965455986627707271",
      "-0.14566960489867674324599891868853230378147086329172"
    ]
  },
  "entropy_lower_outward": "0.0014871475049217420582322361124611737540351547578899",
  "certificate_shape": [
    8,
    4,
    4
  ],
  "covering_cells": [
    {
      "index": [
        0,
        0,
        0
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.59641263860859826796841451661304276785447059673595",
          "0.72150703482797933352971825131170437031664704836643"
        ],
        "pressure_after": [
          "0.027152987576805644088076356730370000994100219285579",
          "0.067238489862681231317049097279235704440404057259997"
        ],
        "upstream_fast_Mach": [
          "1.1202124921967541250276361501604636839089185522209",
          "1.2694856092814391539780087219903085488643391970106"
        ],
        "downstream_fast_Mach": [
          "0.78306269916642580709585273353638740382573417477619",
          "0.93615854086430196098083663304137928657576722857952"
        ],
        "upstream_trace_margin": [
          "0.21404251595497174054203291503096139623057902456418",
          "0.36790526547442577556391870997869560890377156269343"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61075725214380978663228497834977457439507668379368",
          "-0.17000971838133556502804415360712476743477903842409"
        ]
      }
    },
    {
      "index": [
        0,
        0,
        1
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.59405553916035953698482612543320653603718685135612",
          "0.71930798826153827427939874035349991541699577465110"
        ],
        "pressure_after": [
          "0.027143824263414940604385051665199990982920139776105",
          "0.067275796963819034664361994368964056522328312849843"
        ],
        "upstream_fast_Mach": [
          "1.1201351294218527975572669858984030128700666101322",
          "1.2694896619780788953035517693002303201567036233781"
        ],
        "downstream_fast_Mach": [
          "0.78303934473950750148419643988168095803060397226956",
          "0.93613936077461339228723673400010037377227853937469"
        ],
        "upstream_trace_margin": [
          "0.21374156252141279979235242598916585113023029827951",
          "0.36776236492266450654750710115853184072105530807326"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61064913701102060253375244021835407799298654084024",
          "-0.17008510195139876010046665543694333039187330411776"
        ]
      }
    },
    {
      "index": [
        0,
        0,
        2
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.59169901520365671507939873051580615247341546278789",
          "0.71710894546566771943991183130356910314650515480996"
        ],
        "pressure_after": [
          "0.027134613629944961803824560423716939956997787748368",
          "0.067313325186626090098432839803795113926615034529695"
        ],
        "upstream_fast_Mach": [
          "1.1200577434606630632714665185112345492191754713293",
          "1.2694931291695848210808964327210467944420900085812"
        ],
        "downstream_fast_Mach": [
          "0.78301575524468815779243566071103433829529438398451",
          "0.93612027920412232041297227795707823491825113981574"
        ],
        "upstream_trace_margin": [
          "0.21344060531728335463183933503909666340072091812065",
          "0.36761888887936732845293449607593222428482669664149"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61054160052463731137419900720539918741462096261759",
          "-0.17016051969316185029091614141095411823554587297944"
        ]
      }
    },
    {
      "index": [
        0,
        0,
        3
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.58934307120785598969879316103207697415068866597795",
          "0.71490990647398994290443411370405830062445381971997"
        ],
        "pressure_after": [
          "0.027125355308899838322627029145093055218846205956256",
          "0.067351076502849993536912989807324942405149699786870"
        ],
        "upstream_fast_Mach": [
          "1.1199803342954961148975377192067523747727135650837",
          "1.2694960058538597571610520530496482417488902102011"
        ],
        "downstream_fast_Mach": [
          "0.78299192859345066265020196882238516376920056686999",
          "0.93610129708348879842480951664360088073043081855057"
        ],
        "upstream_trace_margin": [
          "0.21313964430896113116731705263860746592277225321064",
          "0.36747483287516805383354006555966140260755349345143"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61043464784446475527913090627524231679752526558395",
          "-0.17023597187200813065960745579087692199986248556452"
        ]
      }
    },
    {
      "index": [
        0,
        1,
        0
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.57155766158828989231309334164222381902042801280932",
          "0.69600615931416079152941596839742163868162558571737"
        ],
        "pressure_after": [
          "0.046436353365783203680632243558103907405398629599726",
          "0.094203318436597380619785630204177443127964464641325"
        ],
        "upstream_fast_Mach": [
          "1.1203292525182000844052747243373430009341526700307",
          "1.2668969853467619832962266318343896344882624756313"
        ],
        "downstream_fast_Mach": [
          "0.78200558953739210312906033918513482316461938189404",
          "0.93892521609846505072137276420348825340536333612367"
        ],
        "upstream_trace_margin": [
          "0.21327503816871731308175313769617151765458440071453",
          "0.36649188919466118175865782470044194752679806012135"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61751632605173493958490942765255763873313690662038",
          "-0.16190656961538199858321385681575835138250864930819"
        ]
      }
    },
    {
      "index": [
        0,
        1,
        1
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.56929879220566015428039879524957790845324168251690",
          "0.69388483563888083300337011223898891769307371429105"
        ],
        "pressure_after": [
          "0.046418625872471202700427444166329285230396373058477",
          "0.094251877163337096293308334771499402672959514508897"
        ],
        "upstream_fast_Mach": [
          "1.1202541721613936756719686930636687282784354459467",
          "1.2669099510611093792649153397221501616646478038867"
        ],
        "downstream_fast_Mach": [
          "0.78197329290866826816543056981114502536991650998672",
          "0.93892073558987466340600292424280979196585540132899"
        ],
        "upstream_trace_margin": [
          "0.21289636184399727160779899385460423864313627214085",
          "0.36625075857729091979135237109308785809398439041377"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61736352685535379667214073787665555956121445229714",
          "-0.16195338302576611286916880153419592751673668327576"
        ]
      }
    },
    {
      "index": [
        0,
        1,
        2
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.56704047433145803008207480169917125483314967203125",
          "0.69176351560090469622583014417825280709552513936182"
        ],
        "pressure_after": [
          "0.046400806832973547129755785456253892714018110799593",
          "0.094300723700879205339029701910303506059526726011833"
        ],
        "upstream_fast_Mach": [
          "1.1201790537176368867805995984554957290585636784642",
          "1.2669223691559783100595647963002903873232760849169"
        ],
        "downstream_fast_Mach": [
          "0.78194073277092083070231643726276694362321801293753",
          "0.93891639643358999419081037803987908873691593901315"
        ],
        "upstream_trace_margin": [
          "0.21251768188197340838533896191534034924068484707008",
          "0.36600907645149304398967636464349451171407640089942"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61721128306514524883202328640194066157362972454669",
          "-0.16200025396534413327031437790636779246932675437924"
        ]
      }
    },
    {
      "index": [
        0,
        1,
        3
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.56478271224879276575675260515923313429483679513452",
          "0.68964219923266631266272823088115459017521782717762"
        ],
        "pressure_after": [
          "0.046382895536326823565812173668024262701359270673921",
          "0.094349860615640014298586243703083004677954499041166"
        ],
        "upstream_fast_Mach": [
          "1.1201038971574121238478295311469470299021605306908",
          "1.2669342345600236742009337041161318904171156350932"
        ],
        "downstream_fast_Mach": [
          "0.78190790680616223191035626974507386541323196695263",
          "0.93891219998080878105422811289716214606455278035124"
        ],
        "upstream_trace_margin": [
          "0.21213899825021179194844087521243856616099215925428",
          "0.36576683853415830831499856118343263225238927779615"
        ],
        "downstream_characteristic_polynomial": [
          "-0.61705959963368038182133583537260355429057638288835",
          "-0.16204718288089766818840461009009538259373194480692"
        ]
      }
    },
    {
      "index": [
        0,
        2,
        0
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.54670268456798151665777216667140487018638542888270",
          "0.67050528380034224952911368548313890704660412306838"
        ],
        "pressure_after": [
          "0.065719719154760763273188130385837813816697039913869",
          "0.12116814701051352992252216312911918181552487202267"
        ],
        "upstream_fast_Mach": [
          "1.1204463200919300666956246055540334614426503264854",
          "1.2643334976757138155119623998407839577533007807403"
        ],
        "downstream_fast_Mach": [
          "0.78112666873120207827456201619591424470982688930454",
          "0.94129042559523082529949321436531750167783798144340"
        ],
        "upstream_trace_margin": [
          "0.21250756038246288562147336036138163907858977686479",
          "0.36507851291489658795339693942218828614982455754927"
        ],
        "downstream_characteristic_polynomial": [
          "-0.62427539995966009253753387695534070307119712944728",
          "-0.15380342084942843213838356002439193533023826019229"
        ]
      }
    },
    {
      "index": [
        0,
        2,
        1
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.54454204525096077157597146506594928086929651367768",
          "0.66846168301622339172734148412447791996915165393105"
        ],
        "pressure_after": [
          "0.065693427481527464796469836667458579477872606340846",
          "0.12122795736285515792225467517403474882359071616797"
        ],
        "upstream_fast_Mach": [
          "1.1203735529359167710662534966266882260403224506810",
          "1.2643543535249731058738078468669736593938583539505"
        ],
        "downstream_fast_Mach": [
          "0.78108580927966208626671811967147255666884379807621",
          "0.94130047254081316425512584173120604501357508964279"
        ],
        "upstream_trace_margin": [
          "0.21205116116658174342324556172004262615604224600212",
          "0.36473915223191733303519764102764387546691347275429"
        ],
        "downstream_characteristic_polynomial": [
          "-0.62407791669968699081052903553495704112944236375434",
          "-0.15382166410013346563787094763144852464160006243366"
        ]
      }
    },
    {
      "index": [
        0,
        2,
        2
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.54238193345925934508475087288253635719288388127461",
          "0.66641808573614167301174845705293651104454512391373"
        ],
        "pressure_after": [
          "0.065667000036002132455687010488790845471038433850814",
          "0.12128812221513232057962656401681189819243841749399"
        ],
        "upstream_fast_Mach": [
          "1.1203007337017418252141844705541569799105432694131",
          "1.2643747043207998366753703334552837885674179474250"
        ],
        "downstream_fast_Mach": [
          "0.78104465862525208452866469032565924399624564733164",
          "0.94131070756094182975405777172927026317241122753521"
        ],
        "upstream_trace_margin": [
          "0.21159475844666346213883858879158403508064877601944",
          "0.36439926402361875952641823321105679914332610515736"
        ],
        "downstream_characteristic_polynomial": [
          "-0.62388096560565318628984756559848213573263848647589",
          "-0.15383998823752641624971261440178146670310763577904"
        ]
      }
    },
    {
      "index": [
        0,
        2,
        3
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.54022235328972954181471204928638929443898492429108",
          "0.66437449199134268242102234805825087972598183463532"
        ],
        "pressure_after": [
          "0.065640435763753808808997318190955470183872335391584",
          "0.12134864472843003506025949759884106695075929829548"
        ],
        "upstream_fast_Mach": [
          "1.1202278623389555616807681822344983298504164015022",
          "1.2643945449814520517013651151010731526184303726691"
        ],
        "downstream_fast_Mach": [
          "0.78100321423340284392367798963057907876386448034019",
          "0.94132113243679446223302103836664460368870873372206"
        ],
        "upstream_trace_margin": [
          "0.21113835219146245272956469778626966639921206529785",
          "0.36405884419314856279645705680720386189722506214089"
        ],
        "downstream_characteristic_polynomial": [
          "-0.62368455142289600836354076446996479178362750019285",
          "-0.15385839388978720571720176438931384318760140404932"
        ]
      }
    },
    {
      "index": [
        0,
        3,
        0
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.52184770754767314100245099170058592135234284495607",
          "0.64500440828652370752881140256885617541158266041932"
        ],
        "pressure_after": [
          "0.085003084943738322865744017213571720227995450228014",
          "0.14813297558442967922525869605406092050308527940402"
        ],
        "upstream_fast_Mach": [
          "1.1205636963029658610118909502834952521822943604467",
          "1.2617946530470937137970732795088483329498421150769"
        ],
        "downstream_fast_Mach": [
          "0.78042255577062644926733392425899287102243245017926",
          "0.94323692052294376475922989357302635906107244526240"
        ],
        "upstream_trace_margin": [
          "0.21174008259620845816119358302659176050259515301514",
          "0.36366513663513199414813605414393462477285105497721"
        ],
        "downstream_characteristic_polynomial": [
          "-0.63103447386758524549015832625812376740925735227418",
          "-0.14570027208347486569355326323302551927796787107649"
        ]
      }
    },
    {
      "index": [
        0,
        3,
        1
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51978529829626138887154413488232065328535134483845",
          "0.64303853039356595045131285600996692224522959357100"
        ],
        "pressure_after": [
          "0.084968229090583726892512229168587873725348839623218",
          "0.14820403756237321955120101557657009497422191782704"
        ],
        "upstream_fast_Mach": [
          "1.1204932733802030515418908304097466220277175229490",
          "1.2618224153653215592596497342878611051173437617915"
        ],
        "downstream_fast_Mach": [
          "0.78037350621994453627924569996187772079045087384532",
          "0.94326104994061338410778354362530807561878508633496"
        ],
        "upstream_trace_margin": [
          "0.21120596048916621523869212958548101366894821986346",
          "0.36322754588654374627904291096219989283984255509483"
        ],
        "downstream_characteristic_polynomial": [
          "-0.63079230654402018494891733319325852269767027521124",
          "-0.14568994517450081840657309372870112176646344159176"
        ]
      }
    },
    {
      "index": [
        0,
        3,
        2
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51772339258706066008742694406590145955261809051797",
          "0.64107265587137864979766676992762021499356510846560"
        ],
        "pressure_after": [
          "0.084933193239030717781618235521327798228058756902038",
          "0.14827552072938543582022342612332029032535010897614"
        ],
        "upstream_fast_Mach": [
          "1.1204227853223233963452989188528430515848173823721",
          "1.2618497186391983682123956266328867282892469968898"
        ],
        "downstream_fast_Mach": [
          "0.78032413841114844209564734063119469568837126543620",
          "0.94328541705704215708253631564034732848253499507552"
        ],
        "upstream_trace_margin": [
          "0.21067183501135351589233821566782772092061270496886",
          "0.36278945159574447506316010177861908657257580941531"
        ],
        "downstream_characteristic_polynomial": [
          "-0.63055064814616112374767184479502360989164724840509",
          "-0.14567972250970869922911085089719514093688851717884"
        ]
      }
    },
    {
      "index": [
        0,
        3,
        3
      ],
      "exact_domain": [
        [
          "22500/18769",
          "787108275/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51566199433066631787267149341354545458313305344765",
          "0.63910678475001905217931646523534716927674584209297"
        ],
        "pressure_after": [
          "0.084897975991180794052182462713886677666385400109249",
          "0.14834742884122005582193275149459912922356409754980"
        ],
        "upstream_fast_Mach": [
          "1.1203522320496874619263834275393311119280587969712",
          "1.2618765578380862648062231011281934399780690392849"
        ],
        "downstream_fast_Mach": [
          "0.78027444960424463856210500644026332596778864351794",
          "0.94331002409022115466976821740450554779053545434143"
        ],
        "upstream_trace_margin": [
          "0.21013770613271311351068852036010076663743197134149",
          "0.36235084985213881727791555243097509154206084648563"
        ],
        "downstream_characteristic_polynomial": [
          "-0.63030950321211163490574569356732602927667861749705",
          "-0.14566960489867674324599891868853230378147086329172"
        ]
      }
    },
    {
      "index": [
        1,
        0,
        0
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51770519151477742546476603520392073451165347854136",
          "0.62720906852972395026344438379980331330146048673289"
        ],
        "pressure_after": [
          "0.033172767241277537423712158015405032990229068003612",
          "0.079478407458994672679992880785122815494754695194035"
        ],
        "upstream_fast_Mach": [
          "1.1932676266084135714604569160645954851334345087695",
          "1.3582828262200684927307545626844168020067203437528"
        ],
        "downstream_fast_Mach": [
          "0.74224580814762346975465425632940803115054416155935",
          "0.88921508062590910320686811746590694088383059310056"
        ],
        "upstream_trace_margin": [
          "0.30834048225322712380830678254286245324576558619772",
          "0.44661271256824661806756719138781764224658868088802"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79024501472197307630774536929802344688830970145435",
          "-0.30018453782444322570582963235590017933818073266549"
        ]
      }
    },
    {
      "index": [
        1,
        0,
        1
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51543171445851651867779195234669368193965738907380",
          "0.62502112301417789619723457867550803717703779205166"
        ],
        "pressure_after": [
          "0.033167409141408128376121622697291112331897613145198",
          "0.079530219782715414267001340030828526303895962868819"
        ],
        "upstream_fast_Mach": [
          "1.1931861303070246751583190896576237976074869758283",
          "1.3582105563954914161739218330909873717697979521593"
        ],
        "downstream_fast_Mach": [
          "0.74221424729199060240308910002298664718476262163864",
          "0.88919427493937338900133210972306325403126292577955"
        ],
        "upstream_trace_margin": [
          "0.30802842776877317787451658766715772937018828087895",
          "0.44638618962450752485454127424504469481858477035558"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79008255669753968910288442465673314868914374130649",
          "-0.30025512772324387702927957087989619434232386628944"
        ]
      }
    },
    {
      "index": [
        1,
        0,
        2
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51315903952644657546101185992352351053561568225247",
          "0.62283324940914483380107218985360736382511945110119"
        ],
        "pressure_after": [
          "0.033162022612956815175044550384780531364150154377780",
          "0.079582346089014339059820385817456892254976954783644"
        ],
        "upstream_fast_Mach": [
          "1.1931045399756115434631870526143107895810545248299",
          "1.3581372501112183332137415778437554149992410231674"
        ],
        "downstream_fast_Mach": [
          "0.74218239533877905614086468825479048157261178465662",
          "0.88917357168845986452622600671940708466825510187428"
        ],
        "upstream_trace_margin": [
          "0.30771630137380624027067897648905840272210662182942",
          "0.44615886455657746807132136666821486622262647717691"
        ],
        "downstream_characteristic_polynomial": [
          "-0.78992088689323296490048476748010590219491743318242",
          "-0.30032578155704640960857523314557467588993920674899"
        ]
      }
    },
    {
      "index": [
        1,
        0,
        3
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.51088717311931839558035298612368174845643597617428",
          "0.62064544837027773842297395967279610860589827717687"
        ],
        "pressure_after": [
          "0.033156607429070611201746977966774790303394881480975",
          "0.079634789240666346426876967460674287663942957254513"
        ],
        "upstream_fast_Mach": [
          "1.1930228550368764882354444527504737925623746474044",
          "1.3580628988900062936523903445520241313053200564601"
        ],
        "downstream_fast_Mach": [
          "0.74215024965488465460645338487181736918902702051924",
          "0.88915297189408941258022051491685644119567291351261"
        ],
        "upstream_trace_margin": [
          "0.30740410241267333564877720666986965794132779575374",
          "0.44593073096370564795198024046805662830180618325510"
        ],
        "downstream_characteristic_polynomial": [
          "-0.78976001249574716821862888397523104466457117944196",
          "-0.30039649983603617757558118212407282837571818730265"
        ]
      }
    },
    {
      "index": [
        1,
        1,
        0
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.49325578077310792802125096871850811230844063507619",
          "0.60211639253460651711244135979616568396540658316639"
        ],
        "pressure_after": [
          "0.055377073539985936766532005471099023445426302169692",
          "0.10982340100371389559648946597642820083264842264930"
        ],
        "upstream_fast_Mach": [
          "1.1931656964531480177975691021992900683395677796728",
          "1.3544081868632865261554962791811412954752198837259"
        ],
        "downstream_fast_Mach": [
          "0.74153606727010493618195579933344236872516481156783",
          "0.89184894047106265373017808194827524594057170855117"
        ],
        "upstream_trace_margin": [
          "0.30716480494827158749872774629742747237080340326551",
          "0.44479377000984314605050019762415765423878543785448"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79705937484430587823178877726166438809918760578055",
          "-0.29010611516054205167864594635393630164439048937769"
        ]
      }
    },
    {
      "index": [
        1,
        1,
        1
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.49108967210965306079733762794184225697254035205966",
          "0.60001597988596442026307144241553208961573172798315"
        ],
        "pressure_after": [
          "0.055361905796495221308082286598616775456816469092067",
          "0.10988704614327364404970270715338648075102710889979"
        ],
        "upstream_fast_Mach": [
          "1.1930876812725627578110367178201716272092339426520",
          "1.3543553338843854900160634423183222444762620188322"
        ],
        "downstream_fast_Mach": [
          "0.74149555623401299952233466758226914317596216116689",
          "0.89184315611884357821200363699484817804831994037170"
        ],
        "upstream_trace_margin": [
          "0.30676521759691368434809766367806106672047825844875",
          "0.44445987867329801327441353840082350957468572087101"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79682146984560399134828551547741872877488103315139",
          "-0.29012477731833412060782153733005219488131471045574"
        ]
      }
    },
    {
      "index": [
        1,
        1,
        2
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.48892432768886095898979142641684111701832575439595",
          "0.59791563627092027402332774256155575415895022425230"
        ],
        "pressure_after": [
          "0.055346657577192438809401463598656647367568133430191",
          "0.10995107697225190819772779784694463942840359313866"
        ],
        "upstream_fast_Mach": [
          "1.1930095549859459819371410696612619216475628421933",
          "1.3543014847096005872004899768298239511397825631173"
        ],
        "downstream_fast_Mach": [
          "0.74145472645198441431477149451513088716178778217001",
          "0.89183751855910949169779755436119637259706456116227"
        ],
        "upstream_trace_margin": [
          "0.30636556121195783058784136353203740217725976217960",
          "0.44412522309409011508195973992582464952890031853472"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79658430595771539143720151830114973244393151486122",
          "-0.29014353868866996830646573886632157662165789577279"
        ]
      }
    },
    {
      "index": [
        1,
        1,
        3
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.48675975360919728417488384564700766572473833394114",
          "0.59581536231889642586748026959197854396742407400876"
        ],
        "pressure_after": [
          "0.055331328239900699141870293757356388630370123644532",
          "0.11001549700721955215544917954103290798054257232736"
        ],
        "upstream_fast_Mach": [
          "1.1929313169874893941656909524452101063313996234034",
          "1.3542466305277549058425399069611445478135772995196"
        ],
        "downstream_fast_Mach": [
          "0.74141357506786996491456000512267199862455273927606",
          "0.89183202926214541399905046683077018388413417746973"
        ],
        "upstream_trace_margin": [
          "0.30596583516398167874368883650161461236878591242314",
          "0.44378979717375378989686732069565810082248773898953"
        ],
        "downstream_characteristic_polynomial": [
          "-0.79634788993780936542156104709484944058244265907046",
          "-0.29016240006324092648210450655069662464132051250675"
        ]
      }
    },
    {
      "index": [
        1,
        2,
        0
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.46880637003143843057773590223309549010522779161098",
          "0.57702371653948908396143833579252805462935267959990"
        ],
        "pressure_after": [
          "0.077581379838694336109351852926793013900623536335771",
          "0.14016839454843311851298605116773358617054215010458"
        ],
        "upstream_fast_Mach": [
          "1.1930634898747196274358812564413565659349254683083",
          "1.3505847673026948226254377631443212620752774368516"
        ],
        "downstream_fast_Mach": [
          "0.74101602181108417543227694171847994073038634631818",
          "0.89403135590296317773538844217280503043930840575246"
        ],
        "upstream_trace_margin": [
          "0.30598912764331605118914871005199249149584122033327",
          "0.44297482745143967403343320386049766623098219482099"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80387373496663868015583218522530532931006551010665",
          "-0.28002769249664087765146226035197242395060024608979"
        ]
      }
    },
    {
      "index": [
        1,
        2,
        1
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.46674762976078960291688330353699083200542331504550",
          "0.57501083675775094432890830615555614205442566391467"
        ],
        "pressure_after": [
          "0.077556402451582314240042950499942438581735325038934",
          "0.14024387250383187383240407427594443519815825493076"
        ],
        "upstream_fast_Mach": [
          "1.1929889388957077034686300025291670814782510258419",
          "1.3505491967137739059853047490722374559084007510725"
        ],
        "downstream_fast_Mach": [
          "0.74096699358549302898487975247850276296427493541382",
          "0.89404022831467444953618552515083162216916142058889"
        ],
        "upstream_trace_margin": [
          "0.30550200742505419082167873968896440407076823601850",
          "0.44253356772208850169428580255660232433078667138647"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80356038299366829359368660629810430886061832499629",
          "-0.27999442691342436418636350378020819542030555462214"
        ]
      }
    },
    {
      "index": [
        1,
        2,
        2
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.46468961585127534251857099291015872350103582653941",
          "0.57299802313269571424558329526950414449278099740343"
        ],
        "pressure_after": [
          "0.077531292541428062443758376812532763370986112482600",
          "0.14031980785548947733563520987643238660183023149368"
        ],
        "upstream_fast_Mach": [
          "1.1929142615309366113257834933324428070374914714445",
          "1.3505126857204447188832309352233277098220942451737"
        ],
        "downstream_fast_Mach": [
          "0.74091761971218597518485485930231885763068217252495",
          "0.89404929537888924010709874360048611527725552755619"
        ],
        "upstream_trace_margin": [
          "0.30501482105010942090500375057501640163241290252974",
          "0.44209158163160276209259811318343443283517415989256"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80324772502219781797391826912219356269294559654022",
          "-0.27996129582029352700435624458706847735337658479669"
        ]
      }
    },
    {
      "index": [
        1,
        2,
        3
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.46263233409907617276941470517033358299304069170798",
          "0.57098527626751511331198657951116097932894987084068"
        ],
        "pressure_after": [
          "0.077506049050730787081993609547937986957345365808088",
          "0.14039620477377275788402139162139152829714218740020"
        ],
        "upstream_fast_Mach": [
          "1.1928394571336570832175965216990597660010094520062",
          "1.3504752252954837928744219724776267986779241742338"
        ],
        "downstream_fast_Mach": [
          "0.74086789712535872063449855314297005417366419411621",
          "0.89405855901810129265090354329985376821861342753583"
        ],
        "upstream_trace_margin": [
          "0.30452756791529002183860046633335956679624402909249",
          "0.44164886338380193184175440092325957334316929472399"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80293576737987156262449321021446783650031413869896",
          "-0.27992830029044567538862783097732042090692283771085"
        ]
      }
    },
    {
      "index": [
        1,
        3,
        0
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44435695928976893313422083574768286790201494814581",
          "0.55193104054437165081043531178889042529329877603339"
        ],
        "pressure_after": [
          "0.099785686137402735452171700382487004355820770501842",
          "0.17051338809315234142948263635903897150843587755983"
        ],
        "upstream_fast_Mach": [
          "1.1929610059004990445753026747729543935654353150640",
          "1.3468112072302991407286946435207236331655793626237"
        ],
        "downstream_fast_Mach": [
          "0.74068345039930842105420944743862255084438951661115",
          "0.89574488691313267439917634450060637120453768357057"
        ],
        "upstream_trace_margin": [
          "0.30481345033836051487956967380655751062087903740107",
          "0.44115588489303620201636621009683767822317895178747"
        ],
        "downstream_characteristic_polynomial": [
          "-0.81068809508897148207987559318894627052094341443295",
          "-0.26994926983273970362427857435000854625681000280199"
        ]
      }
    },
    {
      "index": [
        1,
        3,
        1
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44240558741192614503642897913213940703830627803136",
          "0.55000569362953746839474516989558019449311959984616"
        ],
        "pressure_after": [
          "0.099750899106669407172003614401268101706654180985793",
          "0.17060069886439010361510544139850238964528940096172"
        ],
        "upstream_fast_Mach": [
          "1.1928899020193018378124306828743583885724638758692",
          "1.3467908937079369343407182949914985750704522073493"
        ],
        "downstream_fast_Mach": [
          "0.74062633423252747830135496847637488278996044429014",
          "0.89576772252465239706566741046330748464767277661384"
        ],
        "upstream_trace_margin": [
          "0.30423879725319469729525981569986774142105821358830",
          "0.44060725677087899011415806671238113908688762190192"
        ],
        "downstream_characteristic_polynomial": [
          "-0.81029929614173259583908769711878988894635561684099",
          "-0.26986407650851460776490547023036419595929639878854"
        ]
      }
    },
    {
      "index": [
        1,
        3,
        2
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44045490401368972604735055940347632998374589868289",
          "0.54808040999447115446783884797745253482661177055455"
        ],
        "pressure_after": [
          "0.099715927505663686078115290026408879374404091535001",
          "0.17068853873872704647354262190592013377525686984869"
        ],
        "upstream_fast_Mach": [
          "1.1928186582626109627526663415308271503772253236682",
          "1.3467697073985537739412198201460495389617868509661"
        ],
        "downstream_fast_Mach": [
          "0.74056884614743742560622958423859996015195812980300",
          "0.89579080270409505388083547985900559827299453007873"
        ],
        "upstream_trace_margin": [
          "0.30366408088826101122216613761799540108756604287991",
          "0.44005794016911540910323648644104421614144800125039"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80991114408668024451063501994323739294195967821902",
          "-0.26977905295191708570224675030781537808509527382049"
        ]
      }
    },
    {
      "index": [
        1,
        3,
        3
      ],
      "exact_domain": [
        [
          "787108275/605450402",
          "424205775/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.43850491458895506136394556469365950026134304947485",
          "0.54615519021613380075649288943034341469047566767257"
        ],
        "pressure_after": [
          "0.099680769861560875022116925338519585284320607971635",
          "0.17077691254032596361259360370175014861374180247304"
        ],
        "upstream_fast_Mach": [
          "1.1927472739324923747191394743394190305804101304136",
          "1.3467476391970348504724055258157179695222759092025"
        ],
        "downstream_fast_Mach": [
          "0.74051098287996716744165565545794366510414864391876",
          "0.89581412982309534643422729338888925367042959323545"
        ],
        "upstream_trace_margin": [
          "0.30308930066659836493351209616510452122370214576189",
          "0.43950792959385007378664148115086104586385085045843"
        ],
        "downstream_characteristic_polynomial": [
          "-0.80952364482193375982742537333408623241818561832746",
          "-0.26969420051765042429515115540394421717252516291495"
        ]
      }
    },
    {
      "index": [
        2,
        0,
        0
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.45066470684347885194109616247968107104820817308228",
          "0.54764349916725143979255983908620845208786610525379"
        ],
        "pressure_after": [
          "0.040956101609475279089093365857275900600890186181995",
          "0.094074021144200195159961269388542809844775320589963"
        ],
        "upstream_fast_Mach": [
          "1.2675259232459158225261188118218417456437192689896",
          "1.4505846074951188981165900271043317158735628711939"
        ],
        "downstream_fast_Mach": [
          "0.70681208434207373397709641874563044452495995423552",
          "0.84939825627858832297622355022464137230945983409238"
        ],
        "upstream_trace_margin": [
          "0.38790605161569963427919132725645731445935996767682",
          "0.51365319723954519159123706411205730571003398634710"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97186432395433960944619971271547316765446120626793",
          "-0.42829538088901085687788954031365926755011148838079"
        ]
      }
    },
    {
      "index": [
        2,
        0,
        1
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44847949036364468309062919932063267091203259883161",
          "0.54548194402544976938820286041955309094186237026000"
        ],
        "pressure_after": [
          "0.040958532910741209214507776124796532874407797172039",
          "0.094145966085002031993087988052061937080761978012999"
        ],
        "upstream_fast_Mach": [
          "1.2674289835826430146993339857657328874220316421604",
          "1.4503995784707129581930651089069558271441265728750"
        ],
        "downstream_fast_Mach": [
          "0.70677370861889796417726546217418162211418904680657",
          "0.84937491640935972524144321794430566412132068969995"
        ],
        "upstream_trace_margin": [
          "0.38756760675750130468354830592311267560536370267061",
          "0.51333841371937936044170402727110570584620956059777"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97161304364593466445299213973038584675619165197804",
          "-0.42835037003575988399922408462731509181537228361821"
        ]
      }
    },
    {
      "index": [
        2,
        0,
        2
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44629533280050971755585746737378089083285912426581",
          "0.54332060678465302993210120440958766063469886881968"
        ],
        "pressure_after": [
          "0.040960977368054220198764579262806910614517235168343",
          "0.094218353929454427308604863194636817956999951610693"
        ],
        "upstream_fast_Mach": [
          "1.2673317686992599937890151895548017346105987338564",
          "1.4502128568555715873494436104765839011919721636569"
        ],
        "downstream_fast_Mach": [
          "0.70673499354187617706014487804589049507323400857900",
          "0.84935167746412326919543592825319549514412232603103"
        ],
        "upstream_trace_margin": [
          "0.38722894399829804413964996193307810591252720411093",
          "0.51302257128251432597647575921795748592538303516357"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97136269608086709323684843595844025592813784491195",
          "-0.42840543861960952316930418424482286447690535072074"
        ]
      }
    },
    {
      "index": [
        2,
        0,
        3
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.44411224277226862548182738585691686775748579774131",
          "0.54115948946321989139544755818399942104640795779208"
        ],
        "pressure_after": [
          "0.040963435088487299858316515048489967618299183288017",
          "0.094291188780055317496888112785893429277545564117708"
        ],
        "upstream_fast_Mach": [
          "1.2672342764185812561004642626173451475144598717068",
          "1.4500244294632090874657097378200429970028133477980"
        ],
        "downstream_fast_Mach": [
          "0.70669593599899449273132498309602680990283969434349",
          "0.84932854050974880317815851113077892885327113518090"
        ],
        "upstream_trace_margin": [
          "0.38689006131973118267630360815866634550081811513853",
          "0.51270566131075541805050584073482150900075636168807"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97111328989888870622571075085215231606031014435336",
          "-0.42846058728707370472996107559813728734526229722787"
        ]
      }
    },
    {
      "index": [
        2,
        1,
        0
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.42660822897176636205334235445203369094851833187847",
          "0.52294655701197335361817157752596153511832560769401"
        ],
        "pressure_after": [
          "0.066237973487771963676863264661464023918496277482739",
          "0.12794568212060218182698550988620513710012603641428"
        ],
        "upstream_fast_Mach": [
          "1.2671342967477098877977361183927046472079068615754",
          "1.4450048434487457052561312570606475664687984601717"
        ],
        "downstream_fast_Mach": [
          "0.70645307311621394811675441212708388921037198420741",
          "0.85185387525492325008929995842373309011292095860493"
        ],
        "upstream_trace_margin": [
          "0.38633464047090475099299752856763162121788437873789",
          "0.51144132181118471201840881189063207559870774105220"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97855577856691877168670284929042740572146748041803",
          "-0.41596331717336268540579787084089161712893653689839"
        ]
      }
    },
    {
      "index": [
        2,
        1,
        1
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.42453965932735942323432287024310280025851828358909",
          "0.52088248098273979616631068018003353015473468137223"
        ],
        "pressure_after": [
          "0.066229056617203370793724522806055989865019871819599",
          "0.12802966692835531827323167264999532480733942951345"
        ],
        "upstream_fast_Mach": [
          "1.2670430237823904373822726821406416883934097400345",
          "1.4448566338871965024168211278258594074927493762981"
        ],
        "downstream_fast_Mach": [
          "0.70640581292356920981725883297342246264872473108983",
          "0.85184593290130521463408181438409792473808082370513"
        ],
        "upstream_trace_margin": [
          "0.38589871650013830844485842591355962618147530505967",
          "0.51100989145559165083742829609956296628870778934158"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97818899981964230975206659155941938451695348613524",
          "-0.41593539446311109705096992110217790578481145524591"
        ]
      }
    },
    {
      "index": [
        2,
        1,
        2
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.42247209207468810495204586850819915733906274750807",
          "0.51881861302788395224899754782794129097696393243485"
        ],
        "pressure_after": [
          "0.066220091496436146333848463413924549187434837620059",
          "0.12811416875895301819408525483941747823391871149337"
        ],
        "upstream_fast_Mach": [
          "1.2669514573417466581530147829991958518639594100490",
          "1.4447067571852590424743267595322901795565868735929"
        ],
        "downstream_fast_Mach": [
          "0.70635818729382300744414517847597189747598846768554",
          "0.85183813579611079963115335537519118556637047001854"
        ],
        "upstream_trace_margin": [
          "0.38546258445499415236217155826565186535924605399705",
          "0.51057745870826296911970529783446660920816332542260"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97782307755521218146875905477111711962047057386125",
          "-0.41590760360987871235378360268445504898748284979014"
        ]
      }
    },
    {
      "index": [
        2,
        1,
        3
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.42040553537190792578679881286242271291665360666592",
          "0.51675495507474307480849909210600572437310004794626"
        ],
        "pressure_after": [
          "0.066211077732776884864166439556775462113441339635369",
          "0.12819919240143946809317966915642361669262949852311"
        ],
        "upstream_fast_Mach": [
          "1.2668595951757694927169891981218811878690689125001",
          "1.4445551991648325933739027088198645406753239786818"
        ],
        "downstream_fast_Mach": [
          "0.70631019290729309294214152976892843358335659032793",
          "0.85183048546618686967847745157438945280722401042745"
        ],
        "upstream_trace_margin": [
          "0.38502624240813502980267001398758743196310993848564",
          "0.51014401541104314828495235348024305363057246626475"
        ],
        "downstream_characteristic_polynomial": [
          "-0.97745801970699968600514815048044805146606865086536",
          "-0.41587994568680892491368995696145810176544504745057"
        ]
      }
    },
    {
      "index": [
        2,
        2,
        0
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.40255175110005387216558854642438631084882849067467",
          "0.49824961485669526744378331596571461814878511013420"
        ],
        "pressure_after": [
          "0.091519845366068648264633163465652147236102368783472",
          "0.16181734309700416849400975038386746435547675223858"
        ],
        "upstream_fast_Mach": [
          "1.2667415625000168820720794453260062476288724402875",
          "1.4395228601023737291209124470177616644936670648150"
        ],
        "downstream_fast_Mach": [
          "0.70629736468189730455018465154779007702404729659456",
          "0.85380159743547688744618561748231664006477236949591"
        ],
        "upstream_trace_margin": [
          "0.38476322932610986770680372987880592797640878979897",
          "0.50922944638282423244558055966920684548738149575730"
        ],
        "downstream_characteristic_polynomial": [
          "-0.98524723317949793392720598586538164378847375456833",
          "-0.40363125345771451393370620136812396670776158541609"
        ]
      }
    },
    {
      "index": [
        2,
        2,
        1
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.40059982829107416337801654116557292960500396834661",
          "0.49628301794002982294441849994051396936760699248445"
        ],
        "pressure_after": [
          "0.091499580323665532372941269487315446855631946467149",
          "0.16191336777170860455337535724792871253391688101385"
        ],
        "upstream_fast_Mach": [
          "1.2666558404245427238314860562148179185346209305695",
          "1.4394072380413468850684794112592676604718611642343"
        ],
        "downstream_fast_Mach": [
          "0.70624170870025736751853635541955708362785858990637",
          "0.85380844790294960418700102835813832861200119769859"
        ],
        "upstream_trace_margin": [
          "0.38422982624277531220616854590400657675758690744872",
          "0.50868136919180394123315256492802022673120601808536"
        ],
        "downstream_characteristic_polynomial": [
          "-0.98476495599334995505114104338845292227771532029214",
          "-0.40352041889046231010271575757704071975425062687381"
        ]
      }
    },
    {
      "index": [
        2,
        2,
        2
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.39864885134886649234823426964261742384526637075035",
          "0.49431661927111487456589389124629492131922899605000"
        ],
        "pressure_after": [
          "0.091479205624818072468932347565042187760352440071765",
          "0.16200998358845160907956564648419813851083747137603"
        ],
        "upstream_fast_Mach": [
          "1.2665698103240051865593522802480742194634824867288",
          "1.4392900159707205435059236738392580415677287361944"
        ],
        "downstream_fast_Mach": [
          "0.70618566188492182541525821292472251516205024005604",
          "0.85381549097310497723670406970654926176185638016586"
        ],
        "upstream_trace_margin": [
          "0.38369622491169026058469315459822562480596490388317",
          "0.50813234613401161226293483645097573249094361568162"
        ],
        "downstream_characteristic_polynomial": [
          "-0.98428345902955726970066967358379398331280330281055",
          "-0.40340976860014790153826302112408723349806034885944"
        ]
      }
    },
    {
      "index": [
        2,
        2,
        3
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.39669882797154722609177023986792855807582141559057",
          "0.49235042068626625822155062602801202769979213810042"
        ],
        "pressure_after": [
          "0.091458720377066469870016364065060956608583495982712",
          "0.16210719602282361868947122552695380410771343292848"
        ],
        "upstream_fast_Mach": [
          "1.2664834698614553401607323183083217618731192816652",
          "1.4391711789392482544255133242592468800914718833633"
        ],
        "downstream_fast_Mach": [
          "0.70612922072164785873275488415401440698669575051309",
          "0.85382272862566255870233760178154411965981031571598"
        ],
        "upstream_trace_margin": [
          "0.38316242349653887692903641981650851842540176183275",
          "0.50758236951133087851939886622566459826038857084140"
        ],
        "downstream_characteristic_polynomial": [
          "-0.98380274951511066578458555010874378687182715737716",
          "-0.40329930408654414509741883832477891618562779767337"
        ]
      }
    },
    {
      "index": [
        2,
        3,
        0
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.37849527322834138227783473839673893074913864947087",
          "0.47355267270141718126939505440546770117924461257443"
        ],
        "pressure_after": [
          "0.11680171724436533285240306226984027055370846008418",
          "0.19568900407340615516103399088152979161082746806288"
        ],
        "upstream_fast_Mach": [
          "1.2663477184551887105227812443460355806859031970486",
          "1.4341352346054013129900677180993845648293598357142"
        ],
        "downstream_fast_Mach": [
          "0.70634432100964867407015100436759685410699088851777",
          "0.85522507172526923186635322608714729253391592406518"
        ],
        "upstream_trace_margin": [
          "0.38319181818131498442060993118998023473493320086003",
          "0.50701757095446375287275230744778161537605525046241"
        ],
        "downstream_characteristic_polynomial": [
          "-0.99193868779207709616770912244033588185548002871833",
          "-0.39129918974206634246161453189535631628658663393359"
        ]
      }
    },
    {
      "index": [
        2,
        3,
        1
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.37665999725478890352171021208804305895148965310412",
          "0.47168355489731984972252631970099440858047930359669"
        ],
        "pressure_after": [
          "0.11677010403012769395215801616857490384624402111468",
          "0.19579706861506189083351904184586210026049433251427"
        ],
        "upstream_fast_Mach": [
          "1.2662674305006968119839627939804879856537048830775",
          "1.4340482482393593401359096185787391131565630103181"
        ],
        "downstream_fast_Mach": [
          "0.70628075961754304674614284938401485280996872755886",
          "0.85524571950572341630497498451011779659714010691639"
        ],
        "upstream_trace_margin": [
          "0.38256093598541231596747866589445352733369850983777",
          "0.50635284692801623162887683375647748717370424682916"
        ],
        "downstream_characteristic_polynomial": [
          "-0.99134091216705760035021549521748646003847715444904",
          "-0.39110544331781352315446159405190353372368979850151"
        ]
      }
    },
    {
      "index": [
        2,
        3,
        2
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.37482561062304487974442267077703569035146999399261",
          "0.46981462551434579688279023466464855166149405966517"
        ],
        "pressure_after": [
          "0.11673831975319999860401623171615982633327004252346",
          "0.19590579841795019996504603812897879878775623125868"
        ],
        "upstream_fast_Mach": [
          "1.2661868235652722480171959678629916499541147495245",
          "1.4339597604116874638479329479918563357510578351233"
        ],
        "downstream_fast_Mach": [
          "0.70621678256925639468636555126640624370400139090902",
          "0.85526660826962643031697697735381779286095985059575"
        ],
        "upstream_trace_margin": [
          "0.38192986536838636880721475093079938425268375376929",
          "0.50568723355976025540616437506748485577372390594067"
        ],
        "downstream_characteristic_polynomial": [
          "-0.99074384050390235793258029239647084700513603175975",
          "-0.39091193359041709072274243956371941800863784792884"
        ]
      }
    },
    {
      "index": [
        2,
        3,
        3
      ],
      "exact_domain": [
        [
          "424205775/302725201",
          "909714825/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.37299212057118652639674166687343440323498922451520",
          "0.46794588629778944163460215995001833102648422825459"
        ],
        "pressure_after": [
          "0.11670636302135605487586628857334645110372565233004",
          "0.19601519964420776928576278189748399152279736733387"
        ],
        "upstream_fast_Mach": [
          "1.2661058952166261354112403294205159478941631949744",
          "1.4338697557017704760140567927962568835704049079291"
        ],
        "downstream_fast_Mach": [
          "0.70615238616687675216804648270785945195277955662205",
          "0.85528774043282173397128246749446932930245663379267"
        ],
        "upstream_trace_margin": [
          "0.38129860458494272405540282564542960488769358517987",
          "0.50502072361161860875384537897108614289020467541808"
        ],
        "downstream_characteristic_polynomial": [
          "-0.99014747932322164556402294973703952227758566388906",
          "-0.39071866248627936528114771968809973060581054789617"
        ]
      }
    },
    {
      "index": [
        3,
        0,
        0
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.39303582118469422063990777947072065420264127428351",
          "0.47978550584940602345727864272518834435535256608977"
        ],
        "pressure_after": [
          "0.050708777152816224927483731590092103448500630795132",
          "0.11112730963904174658361235099907819048074017364516"
        ],
        "upstream_fast_Mach": [
          "1.3432455529732151064349224852782617827165172624572",
          "1.5469066682872017699616288219220345676088748597884"
        ],
        "downstream_fast_Mach": [
          "0.67575694088122120507771320843843517479072948770671",
          "0.81511748328761628970497480290412154866535154156896"
        ],
        "upstream_trace_margin": [
          "0.45576404493354505061447252361747742219187350684084",
          "0.57128208289832982289242544712101772255560088514587"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1553147837562300325082517996394141657889473890308",
          "-0.55389079798287901792975612868351176108523623683619"
        ]
      }
    },
    {
      "index": [
        3,
        0,
        1
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.39094347434604732922007976474020279851908606305563",
          "0.47766347657098619548783716794611431803057285867899"
        ],
        "pressure_after": [
          "0.050723484795930111269795838527262825005604127277440",
          "0.11122503509767828263371025813771882697507869464994"
        ],
        "upstream_fast_Mach": [
          "1.3431175661482070440730714866574044315255872992123",
          "1.5465619742589042543217013851951963646118900637455"
        ],
        "downstream_fast_Mach": [
          "0.67571329444391254622422699845765660910005477892703",
          "0.81509111667205737196325426166190262815334849530776"
        ],
        "upstream_trace_margin": [
          "0.45538607421196487858391399839655144851665321425162",
          "0.57087442973697671431225346185153557823915609637375"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1549265927272134178497555069798461018087218411797",
          "-0.55391079404647521600012328701699532276618536694279"
        ]
      }
    },
    {
      "index": [
        3,
        0,
        2
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.38885246611697676625164750362285338428642500058184",
          "0.47554187813044203897470921611808272723997748728514"
        ],
        "pressure_after": [
          "0.050738273064934050072293571745048495404145663159916",
          "0.11132336813539032581256821135556133421286788430197"
        ],
        "upstream_fast_Mach": [
          "1.3429889671192074000255755564919020161609653195045",
          "1.5462146731944326068220198629820944256904530683450"
        ],
        "downstream_fast_Mach": [
          "0.67566927003037583794042854456395146474137316080434",
          "0.81506484544227105619245828404563956073123123997028"
        ],
        "upstream_trace_margin": [
          "0.45500767265250903509704195022458303930724858564547",
          "0.57046543796604727728068572296888499247181715884754"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1545393514014901281067735842776383560759865215679",
          "-0.55393083322272370658486855462449300739766526362129"
        ]
      }
    },
    {
      "index": [
        3,
        0,
        3
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.38676280753492976463640505660522972171025563193942",
          "0.47342071455821278702876724451167357696309152265341"
        ],
        "pressure_after": [
          "0.050753142624625322630847000879729710222395339831671",
          "0.11142231443601089410802988809595152458420077749746"
        ],
        "upstream_fast_Mach": [
          "1.3428597506455665562035652863883252652343195403297",
          "1.5458647461439749247091591445684309774844535907227"
        ],
        "downstream_fast_Mach": [
          "0.67562486414053173269728720775670832927503119292278",
          "0.81503867066949855138978555106674130746601123178580"
        ],
        "upstream_trace_margin": [
          "0.45462883622473828704298392183099218958413455027720",
          "0.57005509654809427889592816998650865504798652748996"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1541530686634262540411238964192174817793359255463",
          "-0.55395091586710799522878638857781382475917241856380"
        ]
      }
    },
    {
      "index": [
        3,
        1,
        0
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.36936022387756302630282401530948232965426402947555",
          "0.45547239369798770360535795749067134846655511771598"
        ],
        "pressure_after": [
          "0.079217618029252335069504760859840804914290633845705",
          "0.14866507822566450443623196137106372070322729236686"
        ],
        "upstream_fast_Mach": [
          "1.3424848862609223597103835221870271168643238710295",
          "1.5390898519020717338017323234738096533243276245686"
        ],
        "downstream_fast_Mach": [
          "0.67575484356418315341722002762880398128076796778500",
          "0.81734112636129263876668980614693097308842153188587"
        ],
        "upstream_trace_margin": [
          "0.45380880378489040100581114860292180786965486871592",
          "0.56868932690538804776892715103318343689296204345512"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1616881965854636565606433565527469848121711612808",
          "-0.53901327686355024695816491428156825185591252288979"
        ]
      }
    },
    {
      "index": [
        3,
        1,
        1
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.36739391532476330265833298333563830589686258956791",
          "0.45345789817205894922799133096462875831438786829212"
        ],
        "pressure_after": [
          "0.079219039028152175771978411560249231711823429242147",
          "0.14877454508289786961009065463966834672091817729618"
        ],
        "upstream_fast_Mach": [
          "1.3423662855538016309712063056483914936194926181266",
          "1.5388097703220278342833205741558549125609464266912"
        ],
        "downstream_fast_Mach": [
          "0.67570243676976378277515552132068675891762297516378",
          "0.81733053480708969891328787793733949579851858922773"
        ],
        "upstream_trace_margin": [
          "0.45332329931081915538317777512896439802182211813978",
          "0.56815563545818777141341818300702746065036348336276"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1611338634023715602161068731539955083001484177847",
          "-0.53891061858573816571288581631750323695066978353569"
        ]
      }
    },
    {
      "index": [
        3,
        1,
        2
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.36542886474669806253038751025808207248445138963731",
          "0.45144381165131300132736993316440484155646675663253"
        ],
        "pressure_after": [
          "0.079220467816831804852089030234761790138878921626983",
          "0.14888469251787263873414364990236692918959181806150"
        ],
        "upstream_fast_Mach": [
          "1.3422470539415910495093087659999220141629742508409",
          "1.5385270532663918844086585542730882001137707468428"
        ],
        "downstream_fast_Mach": [
          "0.67564962812549798118050256834976646924593514549786",
          "0.81732008122197580114204155231363035406522896138953"
        ],
        "upstream_trace_margin": [
          "0.45283738583156510328379917292918831477974322979937",
          "0.56762068603625301154136365608458369406277468329336"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1605803719041346329385585684898007066002409228597",
          "-0.53880808165806378824218603563676922771275396682029"
        ]
      }
    },
    {
      "index": [
        3,
        1,
        3
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.36346508251594344590812187257071980235935379869655",
          "0.44943013796194673908869603725468584080023161865955"
        ],
        "pressure_after": [
          "0.079221904459521513868012757673648280283500581355247",
          "0.14899552689731603109357450484518899655386721955036"
        ],
        "upstream_fast_Mach": [
          "1.3421271859891567377573563443275218439121643393914",
          "1.5382416793196715605784078877546221717535069515868"
        ],
        "downstream_fast_Mach": [
          "0.67559641394649940241967890480100325179954619708396",
          "0.81730976712624043749225647815804211728959660477333"
        ],
        "upstream_trace_margin": [
          "0.45235105952093136552247306883890731553597836777235",
          "0.56708446826700762816362929377194596418787227423412"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1600277299646187851976690300932251645365042042473",
          "-0.53870566708111441445503776431455727184150840661970"
        ]
      }
    },
    {
      "index": [
        3,
        2,
        0
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34568462657043183196574025114824400510588678466758",
          "0.43115928154656938375343727225615435257775766934221"
        ],
        "pressure_after": [
          "0.10772645890568844521152579012958950638008063689624",
          "0.18620284681228726228885157174304925092571441108855"
        ],
        "upstream_fast_Mach": [
          "1.3417219325955260733967863184340974297176577400474",
          "1.5314510280385494189875688754671258692958764491839"
        ],
        "downstream_fast_Mach": [
          "0.67597222315494673457449740179282273032399843819739",
          "0.81899500974065330742737212480905661928602122988748"
        ],
        "upstream_trace_margin": [
          "0.45185356263623575139714977358836619354743623059096",
          "0.56609657091244627264542885494534915123032320176439"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1680616094146972806130349134660798038353949335304",
          "-0.52413575574422147598657369987962474262658880894339"
        ]
      }
    },
    {
      "index": [
        3,
        2,
        1
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34384435630347927609658620193107381327463911608020",
          "0.42925231977313170296814549398314319859820287790524"
        ],
        "pressure_after": [
          "0.10771459326037424027416098459323563841804273120682",
          "0.18632405506811745658647105114161786646675765994240"
        ],
        "upstream_fast_Mach": [
          "1.3416124211655969629159345837401697617603706786806",
          "1.5312274832551939652358922007826695564859682986260"
        ],
        "downstream_fast_Mach": [
          "0.67591160472521270299084920659350479367758588687664",
          "0.81899929301674069071680855216536695059322728833299"
        ],
        "upstream_trace_margin": [
          "0.45126052440967343218244155186137734752699102202793",
          "0.56543684117939882851458290416251934306157087035177"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1673411340775297025824582393281449147915749943894",
          "-0.52391044312500111542564834561801115113515420012859"
        ]
      }
    },
    {
      "index": [
        3,
        2,
        2
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34200526337641935880912751689331076068247777869278",
          "0.42734574517218396368003065021072695587295602597992"
        ],
        "pressure_after": [
          "0.10770266256872955963188448872447508487361218009401",
          "0.18644601690035495165571908844917252416631575182101"
        ],
        "upstream_fast_Mach": [
          "1.3415022678356578142985289654695132537526169493029",
          "1.5310013746948035411526306148184755277597282103433"
        ],
        "downstream_fast_Mach": [
          "0.67585056114631925493209674280904339238263335621641",
          "0.81900375931397855982717664864984096852199479312552"
        ],
        "upstream_trace_margin": [
          "0.45066709901062117147055639563379359025223787395325",
          "0.56477593410645874580204158920028239565373220773919"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1666213924067791377703435527019630571244953241515",
          "-0.52368533009340386989950351664904544802784267001919"
        ]
      }
    },
    {
      "index": [
        3,
        2,
        3
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34016735749695712717983868853620988300845196545369",
          "0.42543956136568069114862482999769810463737171466569"
        ],
        "pressure_after": [
          "0.10769066629441770510517851446756685034460582287878",
          "0.18656873935862116807911912159442646852353366160325"
        ],
        "upstream_fast_Mach": [
          "1.3413914669656687638087040266382009794053993144185",
          "1.5307726788515328291916720153571098203673299521975"
        ],
        "downstream_fast_Mach": [
          "0.67578908856067137013957491967726789991930818827127",
          "0.81900841058135933994150182503594033637577239744255"
        ],
        "upstream_trace_margin": [
          "0.45007328281712444400196221584682244148782218526748",
          "0.56411383998592097743133041755738327332775802097828"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1659023912658113163542141637672328472936724829481",
          "-0.52346041829512083368128914005130071892384439467550"
        ]
      }
    },
    {
      "index": [
        3,
        3,
        0
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.32200902926330063762865648698700568055750953985961",
          "0.40684616939515106390151658702163735668896022096842"
        ],
        "pressure_after": [
          "0.13623529978212455535354681939933820784587063994682",
          "0.22374061539891002014147118211503478114820152981024"
        ],
        "upstream_fast_Mach": [
          "1.3409566933930573961562231046119546032770527104488",
          "1.5239821489569954406605238192080159656534920730172"
        ],
        "downstream_fast_Mach": [
          "0.67641055916686578774679510376170298960455635665100",
          "0.82006577477617321357545476785855133187897465678336"
        ],
        "upstream_trace_margin": [
          "0.44989832148758110178848839857381057922521759246604",
          "0.56350381491950449752193055885751486556768436007367"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1744350222439309046654264703794126228586187057801",
          "-0.50925823462489270501498248547768123339726509499709"
        ]
      }
    },
    {
      "index": [
        3,
        3,
        1
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.32029479728219524953483942052650932065241564259249",
          "0.40504674137420445670829965700165763888201788751837"
        ],
        "pressure_after": [
          "0.13621014749259630477634355762622204512426203317152",
          "0.22387356505333704356285144764356738621259714258864"
        ],
        "upstream_fast_Mach": [
          "1.3408559721566422487609094279827781632841309813934",
          "1.5238077423669434502544194043096517100388650825257"
        ],
        "downstream_fast_Mach": [
          "0.67634228817144205707695239987507706057368055411968",
          "0.82008357845436177584918877605451316899860383761183"
        ],
        "upstream_trace_margin": [
          "0.44919774950852770898170532859379029703215992591609",
          "0.56271804690060988561574762531801122547277825734079"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1735484047526878449488096055022943212830015709942",
          "-0.50891026766426406513841087491851906531963861672149"
        ]
      }
    },
    {
      "index": [
        3,
        3,
        2
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31858166200614065508786752352853944888050416774825",
          "0.40324767869305492603269136725704907018944529532732"
        ],
        "pressure_after": [
          "0.13618485732062731441167994721418837960834543856108",
          "0.22400734128283726457729452699597811914303968558053"
        ],
        "upstream_fast_Mach": [
          "1.3407546053440865780694099870087938982198293916744",
          "1.5236309170286101941728063198232711602669125129473"
        ],
        "downstream_fast_Mach": [
          "0.67627356920389867013680510453707380158767717076574",
          "0.82010161002941235722324491876128071781611052850805"
        ],
        "upstream_trace_margin": [
          "0.44849681218967723965731361833839886572473251810714",
          "0.56193118217666448006271952231598109724468973218503"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1726624129094236426021285369141254076487497254430",
          "-0.50856257852874395155682099766132166834293137321809"
        ]
      }
    },
    {
      "index": [
        3,
        3,
        3
      ],
      "exact_domain": [
        [
          "909714825/605450402",
          "485509050/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31686963247797080845155550450169996365755013221082",
          "0.40144898476941464320855362274071036847451181067182"
        ],
        "pressure_after": [
          "0.13615942812931389634234427126148542040571106440236",
          "0.22414195181992630506466373834366394049320010365615"
        ],
        "upstream_fast_Mach": [
          "1.3406525871149055754414614301798006929659317606469",
          "1.5234516480112454745976508683989242134495401548340"
        ],
        "downstream_fast_Mach": [
          "0.67620439824365734640560124442010468947406567799435",
          "0.82011987184531357919002454020368454739294725192204"
        ],
        "upstream_trace_margin": [
          "0.44779550611331752248145136285473756743966600276264",
          "0.56114321170483432669903154134282058246764376772246"
        ],
        "downstream_characteristic_polynomial": [
          "-1.1717770525670038475107592974412405300508407616489",
          "-0.50821516950912725290754051578804416600618038273140"
        ]
      }
    },
    {
      "index": [
        4,
        0,
        0
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34310149411738048702663804040387337894431789585150",
          "0.42137671024150003419238580325554097518165968082637"
        ],
        "pressure_after": [
          "0.062557028985240984419802875277480497681127815063514",
          "0.13068096823347320188877702141692899522411579377917"
        ],
        "upstream_fast_Mach": [
          "1.4206822743231720498949246158359101496310707714950",
          "1.6478052291115301644109046194377640721595703223150"
        ],
        "downstream_fast_Mach": [
          "0.64832525106490329465136960868672422546665713136289",
          "0.78521190253329942690714079163088123055266168708913"
        ],
        "upstream_trace_margin": [
          "0.51417284054145103987936536308712479136556639210424",
          "0.62121640996564355650569518618786499781392426357788"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3403052934150983557233445296677569173748748807327",
          "-0.67655620100311856405813843628642386901736288116179"
        ]
      }
    },
    {
      "index": [
        4,
        0,
        1
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.34110646526255377806244401982804741480249978124299",
          "0.41930558275614925683053957396675156459254141687027"
        ],
        "pressure_after": [
          "0.062588640229064773818698243518361794870001746938986",
          "0.13080976005920622366132131248636452066114917295707"
        ],
        "upstream_fast_Mach": [
          "1.4205026779515248724173932583660462038512998632677",
          "1.6472415334524338302026087309411379308660826320481"
        ],
        "downstream_fast_Mach": [
          "0.64827791818500079164932704193573799908073603294319",
          "0.78518215225153582186713890016151683913317135045289"
        ],
        "upstream_trace_margin": [
          "0.51374396802680181724121159237591420195468465606034",
          "0.62071143882047026546988920676369096195574237818639"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3397171916253230053231782018660274246060184935353",
          "-0.67651219022090589086018416959709674889804051857576"
        ]
      }
    },
    {
      "index": [
        4,
        0,
        2
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.33911306918679966037932625429632900699744259225109",
          "0.41723515426341310294617216714534080983876009511158"
        ],
        "pressure_after": [
          "0.062620425955790216141188075625943113274782150295822",
          "0.13093935615942524767115677047763246152416742652681"
        ],
        "upstream_fast_Mach": [
          "1.4203219242051309462835175504192781137672443121988",
          "1.6466739968860983700363974921765634386356951086739"
        ],
        "downstream_fast_Mach": [
          "0.64823017927676011844532882256202968452595018849361",
          "0.78515248779030170810457413770752131139930521511709"
        ],
        "upstream_trace_margin": [
          "0.51331439651953797112557899919732495670846597781903",
          "0.62020483489622438315300697229540936976079956717829"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3391298643270451777125709660879126141432771130935",
          "-0.67646809259347841836963391325582926549852573396865"
        ]
      }
    },
    {
      "index": [
        4,
        0,
        3
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.33712131944607592321910129824250737651488730676874",
          "0.41516543133136490215119397540278360191856604280383"
        ],
        "pressure_after": [
          "0.062652387614041249222090178493243950329801146820644",
          "0.13106976409148308521248574812416585907427682659240"
        ],
        "upstream_fast_Mach": [
          "1.4201400029136135375010631614364515147872048368929",
          "1.6461025943405432093234926149474196042546960409218"
        ],
        "downstream_fast_Mach": [
          "0.64818203055780900982212612983658291244528848555959",
          "0.78512291017558810542844577280194344216183099141804"
        ],
        "upstream_trace_margin": [
          "0.51288411945158617192055719093988216462866003012678",
          "0.61969658463694812031323192834923100024335485266064"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3385433187977622919890976159913034956495548815773",
          "-0.67642390739981388106438136251815538872837253567813"
        ]
      }
    },
    {
      "index": [
        4,
        1,
        0
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31979527107199314387482666025916324292088616343460",
          "0.39743605283789887823610671525212970309571159690107"
        ],
        "pressure_after": [
          "0.094435460891678303732548272087053789791804282905454",
          "0.17201765910945157195605326870488494552048692128711"
        ],
        "upstream_fast_Mach": [
          "1.4194649592350987583385529938437316155410057550845",
          "1.6370757713669384465327171197936536456249675934218"
        ],
        "downstream_fast_Mach": [
          "0.64868878951366658635212016602289706566958724852132",
          "0.78714307026003862158527025117072147518101015935020"
        ],
        "upstream_trace_margin": [
          "0.51184514464497922637506239084146345324049838953083",
          "0.61825427971095793019692450608350252362633990949607"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3461496415781660734665886542997110407013325430836",
          "-0.65882864559138596714984033425254027500459550726469"
        ]
      }
    },
    {
      "index": [
        4,
        1,
        1
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31793576068114802206572713012699781296612232041418",
          "0.39548259714683769792004714942961632024774353842082"
        ],
        "pressure_after": [
          "0.094451331781096826581518171423379594267778193475493",
          "0.17215725103981295969051762259474525746838299676002"
        ],
        "upstream_fast_Mach": [
          "1.4193007557144451699510661069223481527476459991246",
          "1.6366198605790424570633671414025876618534494536321"
        ],
        "downstream_fast_Mach": [
          "0.64863286686256312378923295371341785982871545751298",
          "0.78712943816673535915852310886223055171910745422618"
        ],
        "upstream_trace_margin": [
          "0.51129860033604040669112195666397683608846644801108",
          "0.61761379010180305200602403621566795358110375251649"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3453328296898744127221887156219324152471255564116",
          "-0.65861231865127218545708617157617977780336754706696"
        ]
      }
    },
    {
      "index": [
        4,
        1,
        2
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31607777215784085206965559050912860249837645141833",
          "0.39352980073489414985650085595939310664466373899871"
        ],
        "pressure_after": [
          "0.094467290272219761724321929811642392155700494425756",
          "0.17229771468875898955207429481445825676020456461933"
        ],
        "upstream_fast_Mach": [
          "1.4191353748590474752009815876874428574939892111371",
          "1.6361599489845960721544989592526003152169949792591"
        ],
        "downstream_fast_Mach": [
          "0.64857651704692852963065383669707597317148355870446",
          "0.78711593093072773154137630387822204377572459686712"
        ],
        "upstream_trace_margin": [
          "0.51075139674798395475466825013420004969154624743319",
          "0.61697177862511022200209557583353716404884962151234"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3445166543663717610242283099275863013083605884805",
          "-0.65839602253524368409185408281551546808513070135625"
        ]
      }
    },
    {
      "index": [
        4,
        1,
        3
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.31422131813719934442921371463564202591677941970786",
          "0.39157766979697430129053129981863825138772509956878"
        ],
        "pressure_after": [
          "0.094483337092350041451760826099591125172879788346547",
          "0.17243905824737990617675220301214006384793240699359"
        ],
        "upstream_fast_Mach": [
          "1.4189688059992311538140007821012859961108623933062",
          "1.6356960059402336308401716694558710774563278870434"
        ],
        "downstream_fast_Mach": [
          "0.64851973612838444362890515941520292808393215903849",
          "0.78710254999239236365116403770630597789857577682744"
        ],
        "upstream_trace_margin": [
          "0.51020352768590380332063780627495490494848488686312",
          "0.61632823264575172964253745170702374063044665322281"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3437011215891293468098054407001219182820308289209",
          "-0.65817975749921383551608187086252148180473538344163"
        ]
      }
    },
    {
      "index": [
        4,
        2,
        0
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29648904802660580072301528011445310689745443101769",
          "0.37349539543429772227982762724871843100976351297576"
        ],
        "pressure_after": [
          "0.12631389279811562304529366889662708190248075074737",
          "0.21335434998542994202332951599284089581685804879506"
        ],
        "upstream_fast_Mach": [
          "1.4182436557691617468145158296732151979280481985281",
          "1.6266588536856150236995351967957395474598718308632"
        ],
        "downstream_fast_Mach": [
          "0.64929111297765115361592607735820304762912161512163",
          "0.78843882068566472024875528842064183772647536498338"
        ],
        "upstream_trace_margin": [
          "0.50951744874850741287075941859580211511543038695741",
          "0.61529214945627230388815382597914004943875555541428"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3519939897412337912098327789316651640277902054346",
          "-0.64110109017965337024154223221865668099182813336749"
        ]
      }
    },
    {
      "index": [
        4,
        2,
        1
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29476505609974226606901024042594821112974485958534",
          "0.37165961153752613900955472489248107590294565997136"
        ],
        "pressure_after": [
          "0.12631402333312887934433809932839739366555464001198",
          "0.21350474202041969571971393270312599427561682056296"
        ],
        "upstream_fast_Mach": [
          "1.4180942408183244838812904090613116163114160084801",
          "1.6262957737924607248272764669357052203105107693286"
        ],
        "downstream_fast_Mach": [
          "0.64922721618688353759078336361868443258526726779638",
          "0.78844005112058803949042521048542179498072016880278"
        ],
        "upstream_trace_margin": [
          "0.50885323264527899614103232095203947022224823996181",
          "0.61451614138313583854215886566764494520646512684663"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3509484677544258201211992293778374058882326192878",
          "-0.64071244708163848005398817355526280670869457555806"
        ]
      }
    },
    {
      "index": [
        4,
        2,
        2
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29304247512888204375998492672192819799931031058554",
          "0.36982444720637519676682954477344540345056738288585"
        ],
        "pressure_after": [
          "0.12631415458864930730745578399734167103661883855568",
          "0.21365607321809273143299181915128405199624170271184"
        ],
        "upstream_fast_Mach": [
          "1.4179436443823561583361076179545899859469490299942",
          "1.6259287568733927033840427049557471695530551404549"
        ],
        "downstream_fast_Mach": [
          "0.64916287151352637955628266930101097467202949949581",
          "0.78844144731582053266828398325595307313739062821630"
        ],
        "upstream_trace_margin": [
          "0.50818839697642993838375750107107514267462651704732",
          "0.61373872235399606085118417937166495833689967584643"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3499034444056983443358856537672599884734440638674",
          "-0.64032395247700894981407425237520167067173566874395"
        ]
      }
    },
    {
      "index": [
        4,
        2,
        3
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29132131682832276563932613102877667531867153264697",
          "0.36798990826258370042986862423449290085688415633373"
        ],
        "pressure_after": [
          "0.12631428657065883368143147370593830001595842987243",
          "0.21380835240327672714101865790011426862158798739477"
        ],
        "upstream_fast_Mach": [
          "1.4177918552972686752422381300539214781549417946059",
          "1.6255577673215923911194221847603926593523846190641"
        ],
        "downstream_fast_Mach": [
          "0.64909807487365525075316173782912646706897669774672",
          "0.78844301109004426059688605055131714805580155798716"
        ],
        "upstream_trace_margin": [
          "0.50752293592022143472071842161002764526830974359944",
          "0.61295988065455533897184297506481648101753845378500"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3488589243804964016305132654089403409145067762649",
          "-0.63993560759861378996778237920688757488109823120493"
        ]
      }
    },
    {
      "index": [
        4,
        3,
        0
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27318282498121845757120389996974297087402269860077",
          "0.34955473803069656632354853924530715892381542905045"
        ],
        "pressure_after": [
          "0.15819232470455294235803906570620037401315721858931",
          "0.25469104086140831209060576328079684611322917630301"
        ],
        "upstream_fast_Mach": [
          "1.4170183794108516959746947941225337966721797933182",
          "1.6165365169490451236965620890772004205155352437499"
        ],
        "downstream_fast_Mach": [
          "0.65013650022056133528190415085729584785622210113848",
          "0.78909137404623659659187396043343931662461820069838"
        ],
        "upstream_trace_margin": [
          "0.50718975285203559936645644635014077699036238438401",
          "0.61233001920158667757938314587477757525117120133251"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3578383379043015089530769035636192873542478677855",
          "-0.62337353476792077333324413018477308697906075947029"
        ]
      }
    },
    {
      "index": [
        4,
        3,
        1
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27159435151833651007229335072489860929336739875650",
          "0.34783662592821458009906230035534583155814778152191"
        ],
        "pressure_after": [
          "0.15817671488516093210715802723341519306333108654849",
          "0.25485223300102643174891024281150673108285064436590"
        ],
        "upstream_fast_Mach": [
          "1.4168831443700547218538036360591161298832483579022",
          "1.6162528743992951711735957802789885024583571948099"
        ],
        "downstream_fast_Mach": [
          "0.65006526805903058991091144430889178519903254867600",
          "0.78910569833320935760893922423089484070344600499497"
        ],
        "upstream_trace_margin": [
          "0.50640786495451758559094268524010210435603003191255",
          "0.61141849266446862507829369511962193683182650117678"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3565641058189772275202097431337423965293396821638",
          "-0.62281257551200477465089017553434583561402160404926"
        ]
      }
    },
    {
      "index": [
        4,
        3,
        2
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27000717809992323545031426293472779350024416975276",
          "0.34611909367785624367715823358749770025647102677298"
        ],
        "pressure_after": [
          "0.15816101890507885289058963818304094991753718268562",
          "0.25501443174742647331390934348810984723227884080435"
        ],
        "upstream_fast_Mach": [
          "1.4167467384779432006876975244490502734807368794726",
          "1.6159655156468331520444068236762403199567085066698"
        ],
        "downstream_fast_Mach": [
          "0.64999356764630295250847158369411350106844037729378",
          "0.78912022780074582876295628305268446473691206190000"
        ],
        "upstream_trace_margin": [
          "0.50562539720487592201284675200795023565770678666148",
          "0.61050566608288189970027278290979275262494973018052"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3552902344450249276475429976069336756385275392542",
          "-0.62225188241877421553629442193488787325834063613155"
        ]
      }
    },
    {
      "index": [
        4,
        3,
        3
      ],
      "exact_domain": [
        [
          "485509050/302725201",
          "1032321375/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.26842131551944618684943854742191132472056364558608",
          "0.34440214672819309956920594865034755032604321309868"
        ],
        "pressure_after": [
          "0.15814523604896762591110212131228547485903707139834",
          "0.25517764655917354810528511278808847339524356779597"
        ],
        "upstream_fast_Mach": [
          "1.4166091501193616245122208792445728124242466849239",
          "1.6156744015970292184608813962890842129408724830878"
        ],
        "downstream_fast_Mach": [
          "0.64992139476089427904544163713104801709805333751579",
          "0.78913496459344437503910252806528163861659837224917"
        ],
        "upstream_trace_margin": [
          "0.50484234415453906612079903694510038558813460033578",
          "0.60959152866335894830114849842260922140463025434720"
        ],
        "downstream_characteristic_polynomial": [
          "-1.3540167271718634564512210901177587635469827236083",
          "-0.62169145769801374441948288755125366795746107896843"
        ]
      }
    },
    {
      "index": [
        5,
        0,
        0
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29953194725794904886078279252621994827481649405476",
          "0.37069742792513097519297364999076465858101962320036"
        ],
        "pressure_after": [
          "0.076571990553315409688398511976067839233470162253454",
          "0.15273831475011772846276544091432972635146519425539"
        ],
        "upstream_fast_Mach": [
          "1.5000974782806527503299889357089420320601529173111",
          "1.7538879322053016080515424684859211056152819796564"
        ],
        "downstream_fast_Mach": [
          "0.62393713332954535912688849585794648999929026803459",
          "0.75880792309419325440620655958090995791855354518312"
        ],
        "upstream_trace_margin": [
          "0.56485212285782009887877751635190110796620644973025",
          "0.66478595682507499467155043406551842848342566537462"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5265559980907639767467107556522699860427098362533",
          "-0.79590799408785655451469183568213181161776860121519"
        ]
      }
    },
    {
      "index": [
        5,
        0,
        1
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29763844505904319279108770956283880782664529160125",
          "0.36868711248109300075039647784695905504267660349240"
        ],
        "pressure_after": [
          "0.076624956184679925810866326287654483642361556945417",
          "0.15290277597151569980860245017117382307219544083583"
        ],
        "upstream_fast_Mach": [
          "1.4998400080583679711491807047779147226430018591054",
          "1.7530313438859815271937175943013947780516710632880"
        ],
        "downstream_fast_Mach": [
          "0.62388767430413038236834900865495614900073864411587",
          "0.75877443501798028000786562002805706614532034705338"
        ],
        "upstream_trace_margin": [
          "0.56436243830185807332135468849570671150454946943821",
          "0.66417945902398085074124551702889956893159686782813"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5256889282616183278111246383390926772889080386785",
          "-0.79576044356576278585584256008669643912892063943474"
        ]
      }
    },
    {
      "index": [
        5,
        0,
        2
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29574687502778700199695370331255123943642690652764",
          "0.36667780713231027632435136453203130867781183042943"
        ],
        "pressure_after": [
          "0.076678214494024695991432735638563147539259103572653",
          "0.15306826348626015689902838183142160794731122331241"
        ],
        "upstream_fast_Mach": [
          "1.4995805674051098957988605258860347677695867029598",
          "1.7521692857781360752336141513274017937275624905785"
        ],
        "downstream_fast_Mach": [
          "0.62383779205810736563266053098854421193312099272979",
          "0.75874101853805812207383918331865537234189302362329"
        ],
        "upstream_trace_margin": [
          "0.56387174365064079774739980181063445786941424250118",
          "0.66357102905523704153537952327918713732181525290174"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5248222036176943471372875707308930403885513873297",
          "-0.79561253979417475425541260284089875498017870420120"
        ]
      }
    },
    {
      "index": [
        5,
        0,
        3
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.29385725322373655329729022822419301973278911590830",
          "0.36466952136337761817423415574866268787805147536292"
        ],
        "pressure_after": [
          "0.076731767913994960488834780385006648952310189259657",
          "0.15323478693104279138135123090034997133045342307194"
        ],
        "upstream_fast_Mach": [
          "1.4993191390417671482486495807488417364037762532738",
          "1.7513017279291973910971826929803983916956987321780"
        ],
        "downstream_fast_Mach": [
          "0.62378748263920113179725959635385986095153380396120",
          "0.75870767457354826171698150646121248943953316462429"
        ],
        "upstream_trace_margin": [
          "0.56338002941957345589751701059400307866917459756769",
          "0.66296065085928749023504299836754535702545304352108"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5239558274002130453850179998960624402667293491011",
          "-0.79546427983699627613098192809812655311670050170166"
        ]
      }
    },
    {
      "index": [
        5,
        1,
        0
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27658410568408104071988001225711880806653141286558",
          "0.34711834775598545072234364195882116105267468504173"
        ],
        "pressure_after": [
          "0.11195626053371728717457302843404427606797497037345",
          "0.19800051679537960620042917910077293913690986521319"
        ],
        "upstream_fast_Mach": [
          "1.4983279624553590374389989199838047201370010641929",
          "1.7393867427391563590417089137124589524363385866495"
        ],
        "downstream_fast_Mach": [
          "0.62467754097482030416089932635892282718730392390393",
          "0.76038097223497355692477995975359164694172645499131"
        ],
        "upstream_trace_margin": [
          "0.56216284972689265388882546413477199528353530139017",
          "0.66146544509887003335187115408554695848069466006509"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5316453518694946386965392426006231197373222743049",
          "-0.77501370458471613165975858525131226443296689241689"
        ]
      }
    },
    {
      "index": [
        5,
        1,
        1
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27483566910798450306631604750790380843171656950102",
          "0.34523590314527253605640188314953843200181874478915"
        ],
        "pressure_after": [
          "0.11199039487996309130014089500686947793279707784230",
          "0.19817405230967094701547922405877561349107098467511"
        ],
        "upstream_fast_Mach": [
          "1.4980952019256216693597345264569650762520967120551",
          "1.7387035356934445461913941032308525770776760945606"
        ],
        "downstream_fast_Mach": [
          "0.62461969987464766022510593024477388937983845617289",
          "0.76036388976804201168403435083585845498987732893717"
        ],
        "upstream_trace_margin": [
          "0.56154529433760556855476722294405472433439124164275",
          "0.66071388167496657100543511883476195811550950342965"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5304737246427066321001430728325955157006472066991",
          "-0.77463307104395443166946046844084770020260151690804"
        ]
      }
    },
    {
      "index": [
        5,
        1,
        2
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27308901667166439522338895055978765624704191108566",
          "0.34335440438033481614222395447565346869740022882217"
        ],
        "pressure_after": [
          "0.11202471784609804126919808225656107220535382494575",
          "0.19834867074394903178031667012747407620370509095932"
        ],
        "upstream_fast_Mach": [
          "1.4978604450023457062899386112235210478683481743661",
          "1.7380144272305336694618219490969093423794139881678"
        ],
        "downstream_fast_Mach": [
          "0.62456141757823084843245745051674703597076851883605",
          "0.76034691260618293129010550480270766117640528198082"
        ],
        "upstream_trace_margin": [
          "0.56092679310254328846894515161793968763880975760973",
          "0.65996053411128667884836221578287811030018416184501"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5293022831393567472954896128795720102034693771450",
          "-0.77425226163697802980712187775139141645637094806780"
        ]
      }
    },
    {
      "index": [
        5,
        1,
        3
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.27134416320431672066491231298312378895870178981346",
          "0.34147386034247718748931715384909058759020716108770"
        ],
        "pressure_after": [
          "0.11205923099986999139749373881034399433041411813208",
          "0.19852438226661851274042756407914189087166624371576"
        ],
        "upstream_fast_Mach": [
          "1.4976236732143174691750430325757504750741135526059",
          "1.7373193755120932785670729663152815641891713160144"
        ],
        "downstream_fast_Mach": [
          "0.62450269001050822832858739099699520273359567762063",
          "0.76033004202442148028070141532532437514380305384530"
        ],
        "upstream_trace_margin": [
          "0.56030733714040091712185195224450256874600282534420",
          "0.65920538757863435340683885335954197758852428311721"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5281310291033513627278604444883830396604371995707",
          "-0.77387127490204351187580736285016709842733013262886"
        ]
      }
    },
    {
      "index": [
        5,
        2,
        0
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25363626411021303257897723198801766785824633167639",
          "0.32353926758683992625171363392687766352432974688312"
        ],
        "pressure_after": [
          "0.14734053051411916466074754489202071290247977849348",
          "0.24326271884064148393809291728721615192235453617100"
        ],
        "upstream_fast_Mach": [
          "1.4965519417036536865907080162770058684994062522376",
          "1.7254191872652403767579355294717761804177998185769"
        ],
        "downstream_fast_Mach": [
          "0.62567986311471470983967430728660550447573837117166",
          "0.76125144813608140095670845740193721461170916932434"
        ],
        "upstream_trace_margin": [
          "0.55947357659596520889887341191764288260086415305005",
          "0.65814493337266507203219187410557548847796365475558"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5367347056482253006463677295489762534319347123567",
          "-0.75411941508157570880482533482049271724816518361869"
        ]
      }
    },
    {
      "index": [
        5,
        2,
        1
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25203289315692581334154438545296880903678784740077",
          "0.32178469380945207136240728845211780896096088608591"
        ],
        "pressure_after": [
          "0.14735583357524625678941546372608447222323259873921",
          "0.24344532864782619422235599794637740390994652851440"
        ],
        "upstream_fast_Mach": [
          "1.4963427913273818671692218453242606949713166742303",
          "1.7248823436440357375252907669838256843415842981556"
        ],
        "downstream_fast_Mach": [
          "0.62561433221365894467263874280609092448144152839602",
          "0.76124909988359653688025369765173120647182763339984"
        ],
        "upstream_trace_margin": [
          "0.55872815037335306378817975739240273716423301384726",
          "0.65724830432595229126962472064062434729942213903120"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5352585210237949363891615073260983541123863747197",
          "-0.75350569852214607748307837679499896127628239438134"
        ]
      }
    },
    {
      "index": [
        5,
        2,
        2
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25043115831554178844982419780702407305765691564367",
          "0.32003100162835935596009654441927562871698862721492"
        ],
        "pressure_after": [
          "0.14737122119817138654696342887455899687144854631887",
          "0.24362907800163790666160495842352654446009895860625"
        ],
        "upstream_fast_Mach": [
          "1.4961316502713306928427636778865823390802442071773",
          "1.7243396399854537500750355039413828526840424805540"
        ],
        "downstream_fast_Mach": [
          "0.62554834236881135973203057833664355172299334668821",
          "0.76124689196693989866220414424269874674198338084643"
        ],
        "upstream_trace_margin": [
          "0.55798184255444577919049050142524491740820527271825",
          "0.65635003916733631616134490828656908327855307078830"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5337823626610191474536916550282509800183873669604",
          "-0.75289198347978130535883115266188407793256319193440"
        ]
      }
    },
    {
      "index": [
        5,
        2,
        3
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.24883107318489688803253439774205455818461446371859",
          "0.31827819932157675680440015194951848730236284681250"
        ],
        "pressure_after": [
          "0.14738669408574502230615269723568133970851804700453",
          "0.24381397760219423409950389725793381041287906435960"
        ],
        "upstream_fast_Mach": [
          "1.4959184989130714067046412112867707433437025727899",
          "1.7237910235565804598318587197103442050614738726114"
        ],
        "downstream_fast_Mach": [
          "0.62548188939064133360961591004988466622659914961723",
          "0.76124482596449296097205091574249218906656834392745"
        ],
        "upstream_trace_margin": [
          "0.55723464486122837834618689389500205882283105312067",
          "0.65545012429798121657863470835153859815159552271338"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5323062308064896800707028890807036390541450500401",
          "-0.75227826996709074762063279760220764373795976355626"
        ]
      }
    },
    {
      "index": [
        5,
        3,
        0
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.23068842253634502443807445171891652764996125048721",
          "0.29996018741769440178108362589493416599598480872449"
        ],
        "pressure_after": [
          "0.18272480049452104214692206134999714973698458661351",
          "0.28852492088590336167575665547365936470779920712879"
        ],
        "upstream_fast_Mach": [
          "1.4947694665315087315947447626909028672066664459674",
          "1.7119468172570518825195424348423052520415538289396"
        ],
        "downstream_fast_Mach": [
          "0.62695205878357559757856903427953472678760554362797",
          "0.76142039769017264800605881910949712954475465583272"
        ],
        "upstream_trace_margin": [
          "0.55678430346503776390892135970051376991819300470997",
          "0.65482442164646011071251259412560401847523264944607"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5418240594269559625961962164973293871265471504083",
          "-0.73322512557843528594989208438967317006336347482049"
        ]
      }
    },
    {
      "index": [
        5,
        3,
        1
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22923011720586712361677272339803380964185912530054",
          "0.29833348447363160666841269375469718592010302738266"
        ],
        "pressure_after": [
          "0.18272127227052942227869003244529946651366811963613",
          "0.28871660498598144142923277183397919432882207235368"
        ],
        "upstream_fast_Mach": [
          "1.4945828185758655676238577909659906764864054701443",
          "1.7115327787080626807415212292482025848761088219697"
        ],
        "downstream_fast_Mach": [
          "0.62687957170791172257016606305176065808566803665446",
          "0.76143055300035131488890425135671633199842520196443"
        ],
        "upstream_trace_margin": [
          "0.55591100640910055902159229184075074999407478605180",
          "0.65378272697693801153381432244648673648333477463274"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5400433174048832406781799418196011925241255427404",
          "-0.73237832600033772329669628514915022234996327185474"
        ]
      }
    },
    {
      "index": [
        5,
        3,
        2
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22777329995941918167625944505426048986827192020169",
          "0.29670759887638389577796913436289778873657702560765"
        ],
        "pressure_after": [
          "0.18271772455024473182472877549255692153754326769200",
          "0.28890948525932678154289324671957901271649282625317"
        ],
        "upstream_fast_Mach": [
          "1.4943942149411696738577296684789747338644669789468",
          "1.7111132358918469823553347255333113978947063292479"
        ],
        "downstream_fast_Mach": [
          "0.62680660814846795895043393391974542544635423132531",
          "0.76144088092015025575174277402593164213409778415095"
        ],
        "upstream_trace_margin": [
          "0.55503689200634826991203585123255014717760078782681",
          "0.65273954422338595347432760079026005625692197973159"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5382624421826815476118936971769299498333053567758",
          "-0.73153170532258458091054042757237673940875543580120"
        ]
      }
    },
    {
      "index": [
        5,
        3,
        3
      ],
      "exact_domain": [
        [
          "1032321375/605450402",
          "546812325/302725201"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22631798316547705540015648250098532741052713762373",
          "0.29508253830067632611948315004994638701451853253729"
        ],
        "pressure_after": [
          "0.18271415717162005321481165566101868508662197587698",
          "0.28910357293776995545858023043672572995409188500342"
        ],
        "upstream_fast_Mach": [
          "1.4942036349903813999740864099510304943889561622786",
          "1.7106881285236801446507347901224370536931093907407"
        ],
        "downstream_fast_Mach": [
          "0.62673316380703995485416352827204377835642965377311",
          "0.76145138326124310168672353859653775290315540814461"
        ],
        "upstream_trace_margin": [
          "0.55416195258205583957052183554550154889965928089717",
          "0.65169486101732807975043056334353521871466676230955"
        ],
        "downstream_characteristic_polynomial": [
          "-1.5364814325096279974135453336730242384478529005097",
          "-0.73068526503213798336545823235424818904858939448356"
        ]
      }
    },
    {
      "index": [
        6,
        0,
        0
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.26128172813272299190518159287740331209956814507378",
          "0.32641553304050366481570811823079953415995131706602"
        ],
        "pressure_after": [
          "0.092786177291482375430856498583285605175787291325617",
          "0.17727631296069502955892639879349479644433837298856"
        ],
        "upstream_fast_Mach": [
          "1.5817658019281165235824623519210433372325409640075",
          "1.8658240955324792579294780056893986256106449024789"
        ],
        "downstream_fast_Mach": [
          "0.60213922346708107517707262276342416833107598738552",
          "0.73523090550004739608073332038829922986771667416831"
        ],
        "upstream_trace_margin": [
          "0.60913401774244740925604304811186623238727475586459",
          "0.70303617595030105162715163371433506465867401435560"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7137991993663333077970103316929792965411572839068",
          "-0.91158920198673632717814932676849066598111841939779"
        ]
      }
    },
    {
      "index": [
        6,
        0,
        1
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25949367673566408145021274686342109211308715089508",
          "0.32447469960163331373274065111664617373099580580973"
        ],
        "pressure_after": [
          "0.092864496629751080745187944254573413166474143604278",
          "0.17748009511657987287273701244664749943361842645924"
        ],
        "upstream_fast_Mach": [
          "1.5813976560938003449857970707257341727205860533258",
          "1.8645840104706236846249712707428069797521636271716"
        ],
        "downstream_fast_Mach": [
          "0.60208913712179679488929769973814133336465032389654",
          "0.73519327686572625129529425766419529084712369533103"
        ],
        "upstream_trace_margin": [
          "0.60857485118131776033901051522601959281623026712088",
          "0.70232422734735996208212047972831728464515500853430"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7125570398352924055978167080209981870121684580522",
          "-0.91128728339920457930083277272500104024978256990681"
        ]
      }
    },
    {
      "index": [
        6,
        0,
        2
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25770785229930965443005298210850768353595463142476",
          "0.32253521773842314425327216518209270217009918547109"
        ],
        "pressure_after": [
          "0.092943246863731484914729823487012231197112357385730",
          "0.17768514181230151622328036410582740514475202926775"
        ],
        "upstream_fast_Mach": [
          "1.5810263910223902103646753740743284168030947591846",
          "1.8633363258390054409910082625315073372393927824673"
        ],
        "downstream_fast_Mach": [
          "0.60203862104472198800468892414887551696679446328138",
          "0.73515570019564857066191587849268484562615485889690"
        ],
        "upstream_trace_margin": [
          "0.60801433304452792981847900116057306437712688745952",
          "0.70161005178371438910228024448323069322228752800462"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7113144877409044799112379731572309939889777003328",
          "-0.91098456826203254384667634326643257710637432377045"
        ]
      }
    },
    {
      "index": [
        6,
        0,
        3
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.25592427325272539396384243581099512843053340430440",
          "0.32059710007053023827640003599800009740767168971529"
        ],
        "pressure_after": [
          "0.093022431559272485715415088749948220601309514527119",
          "0.17789146485486387138040821409876957247324938863365"
        ],
        "upstream_fast_Mach": [
          "1.5806519800199308140249571210994131339687029288365",
          "1.8620810112027248085290849904664787369720611569475"
        ],
        "downstream_fast_Mach": [
          "0.60198767122591660193379950570680993404388846469709",
          "0.73511817623012738869505325316088013085614846634922"
        ],
        "upstream_trace_margin": [
          "0.60745245071242083579535113034466566913955438321532",
          "0.70089363083029864956849079078074324832770875512498"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7100715394178069703510336247490387343648386430277",
          "-0.91068104998342647646680127429744724336613703844698"
        ]
      }
    },
    {
      "index": [
        6,
        1,
        0
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.23868175864405826032726932538297220819298192972876",
          "0.30318762171434705126480449374669750341994340534353"
        ],
        "pressure_after": [
          "0.13180653326430230129819377031330889534778134677685",
          "0.22658475680506535032514155180531562923744024915280"
        ],
        "upstream_fast_Mach": [
          "1.5793412716955058124340879763238857393089265475363",
          "1.8464572162677984982759652738519781637332502245402"
        ],
        "downstream_fast_Mach": [
          "0.60327039399427138794441663717918900802794273336538",
          "0.73637699900623913694004125362254511886257997452931"
        ],
        "upstream_trace_margin": [
          "0.60609357576853105334636461234689565291626658108837",
          "0.69936779213889281374448184095969355835424414320191"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7178936308496311707492674830924922940893136352177",
          "-0.88719994670382864589406029065633382205823388413259"
        ]
      }
    },
    {
      "index": [
        6,
        1,
        1
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.23704836753383413667932032902765463135664519936101",
          "0.30138489906511037280565629604824785415576081795781"
        ],
        "pressure_after": [
          "0.13186216597801190439879271107865106572977518071603",
          "0.22679495816614844565006752021020392720445826826590"
        ],
        "upstream_fast_Mach": [
          "1.5790118372586623681772060849367219316173632769503",
          "1.8454883499813194642677620493987148845524188191163"
        ],
        "downstream_fast_Mach": [
          "0.60321216308898047200339995469369020101935214753840",
          "0.73635600045674936209685290009459039706984749531185"
        ],
        "upstream_trace_margin": [
          "0.60539629841776773180551281004534530218044916847409",
          "0.69850118324911693739243083731501113519058087356966"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7162564134521019159259453700925188490171427941529",
          "-0.88659186658323324197822714357373132734261155370301"
        ]
      }
    },
    {
      "index": [
        6,
        1,
        2
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.23541701075988440920323979796368008084623665880050",
          "0.29958343181265631807878538332698492217502803991802"
        ],
        "pressure_after": [
          "0.13191810477063250893121447998793998308878085968953",
          "0.22700646390049074513346149624873186040007575604411"
        ],
        "upstream_fast_Mach": [
          "1.5786792389074358336009216319206425834027734488374",
          "1.8445109466041078890337310285005946234801290446405"
        ],
        "downstream_fast_Mach": [
          "0.60315348796781742893533565738181439026424671232449",
          "0.73633508066697633283841502688136601189119420146205"
        ],
        "upstream_trace_margin": [
          "0.60469776567022178653238372276660823416118194651388",
          "0.69763254002306666486851136837898568570098941413017"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7146186397277619757532366351172258578874008943642",
          "-0.88598325592144516918595587781154784769608539310275"
        ]
      }
    },
    {
      "index": [
        6,
        1,
        3
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.23378770515722405904361706090020181807852991174327",
          "0.29778323167862013486768229984597285259385381450185"
        ],
        "pressure_after": [
          "0.13197435217509985269573206676068226214602409690211",
          "0.22721928618702068238134845980969386501431643751632"
        ],
        "upstream_fast_Mach": [
          "1.5783434473014573043467821196928683033097398433435",
          "1.8435249511878029585626230992664613367062043397370"
        ],
        "downstream_fast_Mach": [
          "0.60309436453426938527500264110617718456737665426949",
          "0.73631424065365468438384463228825147563143374091707"
        ],
        "upstream_trace_margin": [
          "0.60399796580425796974348680624762030374235617193005",
          "0.69676184562572701502813410544246394846869616118740"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7129803044821899181580135939623767324536964303806",
          "-0.88537411032800595754480541424158887657618948160278"
        ]
      }
    },
    {
      "index": [
        6,
        2,
        0
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.21608178915539352874935705788854110428639571438373",
          "0.27995971038819043771390086926259547267993549362102"
        ],
        "pressure_after": [
          "0.17082688923712222716553104204333218551977540222810",
          "0.27589320064943567109135670481713646203054212531703"
        ],
        "upstream_fast_Mach": [
          "1.5769064304112377158273807615581683462514223032815",
          "1.8279813903193049281003233786878465899343954585792"
        ],
        "downstream_fast_Mach": [
          "0.60469126796089781143290477979949016449808380379356",
          "0.73675488847186186147740546242397958108442464333742"
        ],
        "upstream_trace_margin": [
          "0.60305313379461469743668617658192507344525840631215",
          "0.69569940832748457586181204820505205204981427204824"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7219880623329290337015246344920052916374699865283",
          "-0.86281069142092096460997125454417697813534934886739"
        ]
      }
    },
    {
      "index": [
        6,
        2,
        1
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.21460305833200419190842791119188817060020324782694",
          "0.27829509852858743187857194097984953458052583010588"
        ],
        "pressure_after": [
          "0.17085983532627272805239747790272871829307621782779",
          "0.27610982121571701842739802797376035497529811007256"
        ],
        "upstream_fast_Mach": [
          "1.5766138421651289071269913179419241654351503147696",
          "1.8272359411375073054815654673127660224963318925240"
        ],
        "downstream_fast_Mach": [
          "0.60462567448846556537258133957665859930594235535389",
          "0.73674837684521367430624438791759439080511361765166"
        ],
        "upstream_trace_margin": [
          "0.60221774565421770327201510486467101154466806982729",
          "0.69467813915087391270274119490170498573600673860503"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7199557870689114262540740321640395110221171302534",
          "-0.86189644976726190465562151442246161443544053749911"
        ]
      }
    },
    {
      "index": [
        6,
        2,
        2
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.21312616922045916397642661381885247815651868617623",
          "0.27663164588688949190429860147187714217995689436493"
        ],
        "pressure_after": [
          "0.17089296267753353294769913648886773498044936199335",
          "0.27632778598867997404364262839163631565539948282048"
        ],
        "upstream_fast_Mach": [
          "1.5763181071234705095808740761377208373770428970260",
          "1.8264819730981695241221733320951326391291210552817"
        ],
        "downstream_fast_Mach": [
          "0.60455962233122339197039301335555020908684912875953",
          "0.73674197176112944045641135377342592679505047990395"
        ],
        "upstream_trace_margin": [
          "0.60138119829591564324628844437264340394523700556824",
          "0.69365502826241894063474249227474067817969130025574"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7179227917146194715952352970772207217858240883953",
          "-0.86098194358085779452523541235666311828579646243485"
        ]
      }
    },
    {
      "index": [
        6,
        2,
        3
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.21165113706172272412339168598940850772652641918214",
          "0.27496936328671003145896456369394560778003593928839"
        ],
        "pressure_after": [
          "0.17092627279092721967604904477141630369073867927712",
          "0.27654710751917749338228870552061815755538348639899"
        ],
        "upstream_fast_Mach": [
          "1.5760191934057462314207911385274866618024688343842",
          "1.8257194086319490778909534810136968249336632968993"
        ],
        "downstream_fast_Mach": [
          "0.60449310731189355016482560626863409737003078428288",
          "0.73673567444576010759286294404647385401142309341049"
        ],
        "upstream_trace_margin": [
          "0.60054348089609510369162248215057493834515796064478",
          "0.69263006042115538048777742010418464860968356724983"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7158890695465728659649935631757147305425542177333",
          "-0.86006717067258543862280955418573050978624192475868"
        ]
      }
    },
    {
      "index": [
        6,
        3,
        0
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.19348181966672879717144479039411000037980949903871",
          "0.25673179906203382416299724477849344193992758189853"
        ],
        "pressure_after": [
          "0.20984724520994215303286831377335547569176945767936",
          "0.32520164449380599185757185782895729482364400148128"
        ],
        "upstream_fast_Mach": [
          "1.5744614008851770655726868901236972216639196180383",
          "1.8103170514174458878407729557277470958340021167588"
        ],
        "downstream_fast_Mach": [
          "0.60641463747630324049508565316929028439798815790280",
          "0.73637821237860046590537224221691261258954516623351"
        ],
        "upstream_trace_margin": [
          "0.60001269182069834152700774081695449397425023153593",
          "0.69203102451607633797914225545041054574538440089457"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7260824938162268966537817858915182891856263378394",
          "-0.83842143613801328332588221843202013421246481360219"
        ]
      }
    },
    {
      "index": [
        6,
        3,
        1
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.19215774913017424713753549335612170984376129629287",
          "0.25520529799206449095148758591145121500529084225397"
        ],
        "pressure_after": [
          "0.20985750467453355170600224472680637085637725493955",
          "0.32542468426528559120472853573731678274613795187921"
        ],
        "upstream_fast_Mach": [
          "1.5742037779844480350395118660136655385967177445138",
          "1.8097546378314064804730173405951708751231031941830"
        ],
        "downstream_fast_Mach": [
          "0.60634253021670701536131738623913308531286997214175",
          "0.73638346084085532051125997032090305555661608708686"
        ],
        "upstream_trace_margin": [
          "0.59903919289066767473851739968399672090888697118049",
          "0.69085509505263088801305155248839883628143260364041"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7236551606857209365822026942355601730270914663543",
          "-0.83720103295129056733301588527119190152826952129541"
        ]
      }
    },
    {
      "index": [
        6,
        3,
        2
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.19083532768103391874961342967402487546680071355197",
          "0.25367985996112266572981181961676936218488574881185"
        ],
        "pressure_after": [
          "0.20986782058443455696418379298979548687211786429717",
          "0.32564910807686920295382376053454077091072320959684"
        ],
        "upstream_fast_Mach": [
          "1.5739430820642001619421184192878317351606295921241",
          "1.8091843165786084731461105222286637091769746859127"
        ],
        "downstream_fast_Mach": [
          "0.60626994987139900072890671786429860208396042900553",
          "0.73638883981974637534237504378496768328677121249664"
        ],
        "upstream_trace_margin": [
          "0.59806463092160949996019316597867857372929206462261",
          "0.68967751650177121640097361617049567065839318638131"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7212269437014769674372339590372155856842472824268",
          "-0.83598063124027041986451494690177838887550753176715"
        ]
      }
    },
    {
      "index": [
        6,
        3,
        3
      ],
      "exact_domain": [
        [
          "546812325/302725201",
          "1154927925/605450402"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.18951456896622138920316631107861519737452292662101",
          "0.25215549489479992805024682754191836296621806407495"
        ],
        "pressure_after": [
          "0.20987819340675458665636602278215034523545326165213",
          "0.32587492885133430438322895123154245009645053528166"
        ],
        "upstream_fast_Mach": [
          "1.5736792790441323024672478223866134112111818282492",
          "1.8086059951896366777624509332693214801753347729039"
        ],
        "downstream_fast_Mach": [
          "0.60619689218562611966103356602243639035208941017097",
          "0.73639435066778845493432219386268746289112982666711"
        ],
        "upstream_trace_margin": [
          "0.59708899598793223763975815805352957294795974935951",
          "0.68849827521658374594742073476590534875067097331227"
        ],
        "downstream_characteristic_polynomial": [
          "-1.7187978346109558137719735323890527286314120050865",
          "-0.83476023101716491970081369412987214299629436791448"
        ]
      }
    },
    {
      "index": [
        7,
        0,
        0
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22751791753346868274873114034746725812200393812780",
          "0.28748346856622142803467841626692428784745717870536"
        ],
        "pressure_after": [
          "0.11120483212024105938952848223842353993995179941195",
          "0.20425428834050623736352674560382912748194403196864"
        ],
        "upstream_fast_Mach": [
          "1.6659829594533219150595985952538687420104408568474",
          "1.9843537938201525349807875020541435216014529586962"
        ],
        "downstream_fast_Mach": [
          "0.58257171083315036048527662731262185787899028291418",
          "0.71394850362876889127472373744897209326866546844906"
        ],
        "upstream_trace_margin": [
          "0.64806608221672964603707275007574147869976889422525",
          "0.73679998654955536078360208624427111863623822130158"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9017796483180911494494659701489155771996657605658",
          "-1.0232661033301525372596480543122241887455473205206"
        ]
      }
    },
    {
      "index": [
        7,
        0,
        1
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22583893399869504557608293391538772622896443498140",
          "0.28561972400139522049479434074843079157181086893829"
        ],
        "pressure_after": [
          "0.11131181574684367141210979281061930727360203537909",
          "0.20449986716039848827177152366746030955316040953347"
        ],
        "upstream_fast_Mach": [
          "1.6654638551351506190627894929221963988036110937489",
          "1.9826209662597590238610065735672315592829686032334"
        ],
        "downstream_fast_Mach": [
          "0.58252241230640760378572400380285328908721831236344",
          "0.71390628103748604326078922623232521766564680191338"
        ],
        "upstream_trace_margin": [
          "0.64742982678155585357695682559423497497541520399232",
          "0.73597897008432899795625029267635065052927772444798"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9000483283307503617802898240931143719847774028013",
          "-1.0227470232358137196520922584022104987448996796787"
        ]
      }
    },
    {
      "index": [
        7,
        0,
        2
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22416245747955965478283931913271397954562796209504",
          "0.28375769020159358658033529015575692149092736042333"
        ],
        "pressure_after": [
          "0.11141938231324587036621698181388045246860594752908",
          "0.20474695411929235811433253866202454856877265021608"
        ],
        "upstream_fast_Mach": [
          "1.6649400692040846869786340700679845691986919720081",
          "1.9808777382842959268251906070894304607562388887674"
        ],
        "downstream_fast_Mach": [
          "0.58247268769449405739409371480493366730965633056084",
          "0.71386408487464898224903379086977237201511720185846"
        ],
        "upstream_trace_margin": [
          "0.64679186058135748749141587618690884505629871250728",
          "0.73515544660346438874949390745902439721261419733434"
        ],
        "downstream_characteristic_polynomial": [
          "-1.8983155277098326772745036280985393621081403917136",
          "-1.0222264917219681143326508049444320509733167921498"
        ]
      }
    },
    {
      "index": [
        7,
        0,
        3
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "1944000/90801841",
          "8295658215336000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.22248850852264117488164441459080286001403329346657",
          "0.28189738297447967333756263212215321823908200395191"
        ],
        "pressure_after": [
          "0.11152753659700798182929724272971097000527846287637",
          "0.20499556315256352623470103561468767728587879543740"
        ],
        "upstream_fast_Mach": [
          "1.6644115634356353139332997335061633272559760677723",
          "1.9791240891766554266935390751629002411077397539118"
        ],
        "downstream_fast_Mach": [
          "0.58242253303646670785744819921850002723746603127782",
          "0.71382191562574273089660612671822281949528549871594"
        ],
        "upstream_trace_margin": [
          "0.64615216780847140073418853422051254830814406897870",
          "0.73432939556038286865068881200093551674420886596281"
        ],
        "downstream_characteristic_polynomial": [
          "-1.8965812327741156652685297030438743427167085620185",
          "-1.0217044968933149435679584910779020180787974057333"
        ]
      }
    },
    {
      "index": [
        7,
        1,
        0
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.20525576621371487269152970259931885572891433269523",
          "0.26459676022070033188639677250182541096806709350263"
        ],
        "pressure_after": [
          "0.15398587107510748442331900671092604115108837789101",
          "0.25772418556928763828433434786026768141315412091509"
        ],
        "upstream_fast_Mach": [
          "1.6627945551397338800840216826783296513266221505892",
          "1.9587265119177426023497724375407111854747857825782"
        ],
        "downstream_fast_Mach": [
          "0.58411048298548117192148394357229863685055842400605",
          "0.71459800675171060043572760826560070140781697794348"
        ],
        "upstream_trace_margin": [
          "0.64468443726217777272477233359176774536814289292927",
          "0.73279378456923620138022146374334691081831174023544"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9046260751427819389261416754758758999993314306195",
          "-0.99504266710704209539980763166034518280991760089959"
        ]
      }
    },
    {
      "index": [
        7,
        1,
        1
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.20374106769842330527994315488083463150919846054305",
          "0.26288138932931859244521881391043130267714385833310"
        ],
        "pressure_after": [
          "0.15406541720968900127565442430774224283253543326144",
          "0.25797245253486939333031490449692704219235712469947"
        ],
        "upstream_fast_Mach": [
          "1.6623346858799262721823760983489410741879094136253",
          "1.9574084451805061446036399732046593220498021331353"
        ],
        "downstream_fast_Mach": [
          "0.58405330166773512111586972407949281911662104153408",
          "0.71457258286143511453792766316462802810852485256943"
        ],
        "upstream_trace_margin": [
          "0.64389980815355951216595029218316185365906612809880",
          "0.73180848308452776879180801146183113503802761238762"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9023931550140704849911877042865909058698709580605",
          "-0.99413081119393092128058729318507635278921888536559"
        ]
      }
    },
    {
      "index": [
        7,
        1,
        2
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.20222863089254485400060391546169065524804169933475",
          "0.26116759300806868929011567463139710904225816967528"
        ],
        "pressure_after": [
          "0.15414539678076190859998997604279390421250187175803",
          "0.25822224414778747693162118021312271007628732729521"
        ],
        "upstream_fast_Mach": [
          "1.6618700444936614943261420325443883040088148557892",
          "1.9560781750681619813905148642812558754933557983743"
        ],
        "downstream_fast_Mach": [
          "0.58399568352334164099673918591275431962108688322142",
          "0.71454720409739656371962080805648303282975787054708"
        ],
        "upstream_trace_margin": [
          "0.64311360447480941532105343146219604729395181675662",
          "0.73082091989040622007114725088097511129918437359592"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9001586148687813079406198724661586749668865272682",
          "-0.99321789821654911502573857213030767247749277632860"
        ]
      }
    },
    {
      "index": [
        7,
        1,
        3
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "8295658215336000/223179931708308289",
          "11813199792696000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.20071847433221852968341320669216131244433210162060",
          "0.25945538580615749065925728374263501918307050459653"
        ],
        "pressure_after": [
          "0.15422581334061237109454531009451307313464107653657",
          "0.25847357449595645627428689867942574949737003513691"
        ],
        "upstream_fast_Mach": [
          "1.6614005872380756205918558324111739624722417646979",
          "1.9547356311792681538657122191395621352516113273292"
        ],
        "downstream_fast_Mach": [
          "0.58393762454270612507792994604466674840404293070704",
          "0.71452187112715735023596162467178904492760505867325"
        ],
        "upstream_trace_margin": [
          "0.64232581167672061395191182235095813715313948183537",
          "0.72983107645073254438833795965050445410289397131007"
        ],
        "downstream_characteristic_polynomial": [
          "-1.8979224397377772174346020303985823756349340342237",
          "-0.99230391951158646083580331472486461335456265205741"
        ]
      }
    },
    {
      "index": [
        7,
        2,
        0
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.18299361489396106263432826485117045333582472726265",
          "0.24171005187517923573811512873672653408867700829991"
        ],
        "pressure_after": [
          "0.19676691002997390945710953118342854236222495637010",
          "0.31119408279806903920514195011670623534436420986154"
        ],
        "upstream_fast_Mach": [
          "1.6595900004318043485214329654082901413574589646762",
          "1.9345603453513049289428072069687537838832174218128"
        ],
        "downstream_fast_Mach": [
          "0.58597243996280172734385315932524842385400680536511",
          "0.71441888510433190319398843051515521236077285512063"
        ],
        "upstream_trace_margin": [
          "0.64130279230762589941247191710779401203651689163326",
          "0.72878758258891704197684084124242270300038525916932"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9074725019674727284028173808028362227989971006734",
          "-0.96681923088393165353996720900846617687428788127859"
        ]
      }
    },
    {
      "index": [
        7,
        2,
        1
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.18164320139815156498380337584628153678943248610470",
          "0.24014305465724196439564328707243181378247684772791"
        ],
        "pressure_after": [
          "0.19681901867253433113919905580486517839146883114380",
          "0.31144503790934029838885828532639377483155383986546"
        ],
        "upstream_fast_Mach": [
          "1.6591863576817522332311216363144122770907512648190",
          "1.9335740296182883261437989927574940182034656791382"
        ],
        "downstream_fast_Mach": [
          "0.58590826464728275129067702803078628893551660546709",
          "0.71440759794574156689079205482376002189048074318859"
        ],
        "upstream_trace_margin": [
          "0.64036978952556317075494375877208873234271705220526",
          "0.72763799608472653962736573024731161954677750032727"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9047379816973906082020855844800674397549645133202",
          "-0.96551459915204812290908232796794220683353809105249"
        ]
      }
    },
    {
      "index": [
        7,
        2,
        2
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.18029480430553005321836851179066733095045543657446",
          "0.23857749581454379199989605910703729659358897892723"
        ],
        "pressure_after": [
          "0.19687141124827794683376297027170735595639779598698",
          "0.31169753417628259574890982176422087158380200437435"
        ],
        "upstream_fast_Mach": [
          "1.6587779697367859344808794195037484336528301839912",
          "1.9325755607159470961222385359351607125629449607173"
        ],
        "downstream_fast_Mach": [
          "0.58584364155496467158992741437714811466657545863914",
          "0.71439637566170418127928281694134590530645088231903"
        ],
        "upstream_trace_margin": [
          "0.63943534836826134315069098673748324953160492100594",
          "0.72648639317734805139280059430292582538575454985751"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9020017020277299386067361168337779878256326628227",
          "-0.96420930471113011571882633931618329398166876050730"
        ]
      }
    },
    {
      "index": [
        7,
        2,
        3
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "11813199792696000/223179931708308289",
          "15330741370056000/223179931708308289"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.17894844014179588448518199879351976487463090977462",
          "0.23701338863783530798095193536311682012705900524116"
        ],
        "pressure_after": [
          "0.19692409008421676035979337745931517626400369019679",
          "0.31195158583934938631387276174416382170886127483644"
        ],
        "upstream_fast_Mach": [
          "1.6583647875393808494608297038065932819963745973629",
          "1.9315648233622946102084317862261780395193063673414"
        ],
        "downstream_fast_Mach": [
          "0.58577856663067292424928310715720536331697287051690",
          "0.71438521902582903627764389218299547842631646188704"
        ],
        "upstream_trace_margin": [
          "0.63849945554496982716963511048140372599813489469201",
          "0.72533275734108222012598710730007339146157907665735"
        ],
        "downstream_characteristic_polynomial": [
          "-1.8992636467014387696006743577532904085531595064288",
          "-0.96290334212985797810364813837182720863032789838161"
        ]
      }
    },
    {
      "index": [
        7,
        3,
        0
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "0",
          "1/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.16073146357420725257712682710302205094273512183009",
          "0.21882334352965813958983348497162765720928692309718"
        ],
        "pressure_after": [
          "0.23954794898484033449090005565593104357336153484918",
          "0.36466398002685044012594955237314478927557429880798"
        ],
        "upstream_fast_Mach": [
          "1.6563695515203549666708480096776197186342247372926",
          "1.9116952937052004917585238643771301636809815051004"
        ],
        "downstream_fast_Mach": [
          "0.58817673377904536776241873554027474619494938935940",
          "0.71344135599025434952232731899468806646087986421284"
        ],
        "upstream_trace_margin": [
          "0.63792114735307402610017150062382027870489089033728",
          "0.72478138060859788257346021874149849518245877810319"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9103189287921635178794930861297965455986627707271",
          "-0.93859579466082121168012678635658717093865816165749"
        ]
      }
    },
    {
      "index": [
        7,
        3,
        1
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/400",
          "1/200"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.15954533509787982468766359681172844206966651166637",
          "0.21740471998516533634606776023443232488780983712272"
        ],
        "pressure_after": [
          "0.23957262013537966100274368730198811395040222902615",
          "0.36491762328381120344740166615586050747075055503145"
        ],
        "upstream_fast_Mach": [
          "1.6560190956338601517862529643256281736553970811389",
          "1.9109731717938693931373905646343803647864074106151"
        ],
        "downstream_fast_Mach": [
          "0.58810655523023239510194861996964526818056010310280",
          "0.71344096662776256389991838536293257677190133753993"
        ],
        "upstream_trace_margin": [
          "0.63683977089756682934393722536101561102636797631174",
          "0.72346750908492531046292344903279210405552738826691"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9070828083807107314129834646735439736400580685795",
          "-0.93689838711016532453757736275080806087785729673929"
        ]
      }
    },
    {
      "index": [
        7,
        3,
        2
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "1/200",
          "3/400"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.15836097771851525243613310811964400665286917381418",
          "0.21598739862101889470967644358267748414491978817917"
        ],
        "pressure_after": [
          "0.23959742571579398506753596450062080770029372021593",
          "0.36517282420477771456619846331531903309131668145349"
        ],
        "upstream_fast_Mach": [
          "1.6556640285088288932205064616602299613745886898754",
          "1.9102400017925835433993942302110362582164905655514"
        ],
        "downstream_fast_Mach": [
          "0.58803591790720613271934016064251195107494412193104",
          "0.71344065746456641289427220492426188898709814932317"
        ],
        "upstream_trace_margin": [
          "0.63575709226171327098032854201277045176925802525529",
          "0.72215186646428988271445393772487653947232472611910"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9038447891866785692728523612013973006843787983773",
          "-0.93520071120571111641191410650205891548584474468610"
        ]
      }
    },
    {
      "index": [
        7,
        3,
        3
      ],
      "exact_domain": [
        [
          "1154927925/605450402",
          "32400/16129"
        ],
        [
          "15330741370056000/223179931708308289",
          "207576000/2457878929"
        ],
        [
          "3/400",
          "1/100"
        ]
      ],
      "bounds": {
        "field_squared": [
          "0.15717840595137323928695079089487821730492971792866",
          "0.21457139146951312530264658698359862107104750588580"
        ],
        "pressure_after": [
          "0.23962236682782114962504144482411727939336630385700",
          "0.36542959718274231635345862480890189392035251453595"
        ],
        "upstream_fast_Mach": [
          "1.6553042965348471873764149849512570852295171884702",
          "1.9094956414979227222381556896906725062191098517682"
        ],
        "downstream_fast_Mach": [
          "0.58796481770983232358319530151914237462511017542131",
          "0.71344042929292067887843763434487413929144412860493"
        ],
        "upstream_trace_margin": [
          "0.63467309941321904038735839861184931484313030754866",
          "0.72083443823143189586363625494964232882026418200462"
        ],
        "downstream_characteristic_polynomial": [
          "-1.9006048536651003217667466851079984414713849786339",
          "-0.93350276474812949537149296201878980390609314470581"
        ]
      }
    }
  ],
  "controls": [
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "126",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_00",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.03875536702646105,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.8315074194033762,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.0534759458942517,
          "u": [
            0.8341777777777778,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.9967988138193812,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_00",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 0.0,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.8694808030660006
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.9503646767746681
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 1.1987852309659546,
            "entropy_over_cv": 0.019781465666401543,
            "tangential_field_ratio": 1.1987852309659546,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.13051919693399938,
            "fast_margin_downstream": 0.11618689899689028,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-241",
        "0E-80",
        "3.44628255313381450E-62",
        "3.13471502773358037E-62"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "126",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_01",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.03875536702646105,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.8260264336733735,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.05348656408347612,
          "u": [
            0.8341777777777778,
            0.016619416652477115,
            0.0
          ],
          "B": [
            0.1,
            0.9922206001981446,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_01",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.008309708326238558,
            0.0
          ],
          "rh_scaled_inf": 1.7348196823093751e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 1.6149694517032406e-16,
            "t1_momentum": 1.3877787807814457e-17,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 1.7348196823093751e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.029228925829607386,
              "alfven_n": 0.1,
              "fast": 0.8695157372925659
            },
            "right": {
              "slow": 0.02620579565752494,
              "alfven_n": 0.09133333333333335,
              "fast": 0.9504034209503451
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 1.1987852309659546,
          "pressure_ratio": 1.3801072777083245,
          "entropy_over_cv": 0.01998000605707695,
          "tangential_field_ratio": 1.2011971527178602
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "1E-79",
        "0E-81",
        "0E-79",
        "3E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "0E-81",
        "0E-80",
        "0E-79",
        "0E-79"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "186",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_02",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.0844533054703607,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.7859286176506498,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.11528504946856337,
          "u": [
            0.8341777777777778,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.9421596194330876,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_02",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.670994543376226e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 1.593665180841343e-16,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 1.670994543376226e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.8708842065163022
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.9490788084251949
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 1.1987852309659546,
            "entropy_over_cv": 0.009027741305358106,
            "tangential_field_ratio": 1.1987852309659546,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.12911579348369784,
            "fast_margin_downstream": 0.11490103064741708,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-240",
        "0E-80",
        "1.26043207807484283E-62",
        "1.14648039319521797E-62"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "186",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_03",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.0844533054703607,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.7807480703246441,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.11529453549670614,
          "u": [
            0.8341777777777778,
            0.01570842887392821,
            0.0
          ],
          "B": [
            0.1,
            0.9378323590639261,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_03",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.007854214436964106,
            0.0
          ],
          "rh_scaled_inf": 0.0,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.04307886762339047,
              "alfven_n": 0.1,
              "fast": 0.8709002638633253
            },
            "right": {
              "slow": 0.03852695850321974,
              "alfven_n": 0.09133333333333335,
              "fast": 0.9491232843253361
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 1.1987852309659546,
          "pressure_ratio": 1.365186772200045,
          "entropy_over_cv": 0.009110021166773785,
          "tangential_field_ratio": 1.2011971527178602
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "3E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "-1E-81",
        "1E-80",
        "0E-79",
        "-1E-79"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "126",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_04",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.021409257550185575,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.8481672401069473,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.030014330037189244,
          "u": [
            0.8341777777777778,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            1.016770360829363,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_04",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 0.0,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.8689475030792205
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.9508523137973135
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 1.1987852309659546,
            "entropy_over_cv": 0.03567028367274716,
            "tangential_field_ratio": 1.1987852309659544,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.13105249692077947,
            "fast_margin_downstream": 0.1166745360195357,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "-2E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-240",
        "-2E-80",
        "4.74738384647176452E-62",
        "4.31818786083639284E-62"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "126",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_05",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.021409257550185575,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.8425764390735451,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.030025377974247727,
          "u": [
            0.8341777777777778,
            0.016952398048875092,
            0.0
          ],
          "B": [
            0.1,
            1.012100419562296,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_05",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.008476199024437546,
            0.0
          ],
          "rh_scaled_inf": 1.1102230246251565e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 1.1102230246251565e-16,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.021737525702072366,
              "alfven_n": 0.1,
              "fast": 0.8689905819830173
            },
            "right": {
              "slow": 0.019624460708800542,
              "alfven_n": 0.09133333333333335,
              "fast": 0.950888295505621
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 1.1987852309659546,
          "pressure_ratio": 1.4024483522543951,
          "entropy_over_cv": 0.036038304689140876,
          "tangential_field_ratio": 1.2011971527178602
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "-1E-81",
        "0E-79",
        "4E-80",
        "0E-80",
        "1E-79"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "2E-81",
        "-2E-80",
        "0E-79",
        "0E-79"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "186",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_06",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.04665373357308013,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.8238099241540011,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.0641589432585021,
          "u": [
            0.8341777777777778,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.9875711701989996,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_06",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.714236839007041e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 1.714236839007041e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.8697235271949479
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.9501425535175738
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 1.1987852309659546,
            "entropy_over_cv": 0.016429307640575763,
            "tangential_field_ratio": 1.1987852309659544,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.13027647280505206,
            "fast_margin_downstream": 0.11596477573979602,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-161",
        "0E-80",
        "2.94900307908140284E-62",
        "2.68239302097355641E-62"
      ]
    },
    {
      "source_values": {
        "compression": "22500/18769",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "186",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_07",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.04665373357308013,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.8183796774320143,
            0.0
          ]
        },
        "right": {
          "rho": 1.1987852309659546,
          "p": 0.06416936576661886,
          "u": [
            0.8341777777777778,
            0.016465566094148218,
            0.0
          ],
          "B": [
            0.1,
            0.9830353383734965,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_07",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.008232783047074109,
            0.0
          ],
          "rh_scaled_inf": 1.7251713183533412e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 1.6130791814995883e-16,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 1.7251713183533412e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.03206052850025831,
              "alfven_n": 0.1,
              "fast": 0.8697549319019767
            },
            "right": {
              "slow": 0.028710440787893636,
              "alfven_n": 0.09133333333333335,
              "fast": 0.9501824489984098
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.8341777777777778
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 1.1987852309659546,
          "pressure_ratio": 1.3754390238908019,
          "entropy_over_cv": 0.016591742698262524,
          "tangential_field_ratio": 1.2011971527178602
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "3E-80",
        "0E-80",
        "1E-79"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "0E-81",
        "0E-80",
        "0E-79",
        "-1E-79"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "126",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_08",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.03875536702646105,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.4770313007566115,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.19559274861844234,
          "u": [
            0.49780864197530866,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.9582623934846681,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_08",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.1102230246251565e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 1.1102230246251565e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.5405100741697418
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.7870201757134796
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 2.008804017608035,
            "entropy_over_cv": 0.45619955285468605,
            "tangential_field_ratio": 2.008804017608035,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.45948992583025816,
            "fast_margin_downstream": 0.28921153373817093,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "-1E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "1E-80"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-239",
        "0E-80",
        "3.066258540754183767E-61",
        "2.0381909375352564440E-61"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "126",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_09",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.03875536702646105,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.4701394615980893,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.19627006777089462,
          "u": [
            0.49780864197530866,
            0.04840012135186656,
            0.0
          ],
          "B": [
            0.1,
            0.9541406751167549,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_09",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.02420006067593328,
            0.0
          ],
          "rh_scaled_inf": 3.3306690738754696e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 1.9404897942053582e-16,
            "t1_momentum": -1.3877787807814457e-17,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 3.3306690738754696e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.046918479554519686,
              "alfven_n": 0.1,
              "fast": 0.5416844542770898
            },
            "right": {
              "slow": 0.03616762710935255,
              "alfven_n": 0.07055555555555557,
              "fast": 0.7872158438017823
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 2.008804017608035,
          "pressure_ratio": 5.0643325771340795,
          "entropy_over_cv": 0.45965647603616033,
          "tangential_field_ratio": 2.029484340398608
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "0E-80",
        "0E-80",
        "1E-80"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "0E-81",
        "1E-80",
        "-1E-79",
        "2E-80"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "186",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_10",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.0844533054703607,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.4029368397077855,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.3402424189715673,
          "u": [
            0.49780864197530866,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.8094211424472844,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_10",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.9049282922557495e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": -1.9049282922557495e-16,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.5505575409627639
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.7800245453497541
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 2.008804017608035,
            "entropy_over_cv": 0.23089369544439386,
            "tangential_field_ratio": 2.008804017608035,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.4494424590372361,
            "fast_margin_downstream": 0.2822159033744454,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "0E-80"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-239",
        "0E-80",
        "1.50116835102546607E-62",
        "9.97850536120247369E-63"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "49577/100",
        "sound_speed_km_s": "186",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_11",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.0844533054703607,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.39711546931572783,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.3407256708545973,
          "u": [
            0.49780864197530866,
            0.04088241569905857,
            0.0
          ],
          "B": [
            0.1,
            0.8059396263063136,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_11",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.020441207849529287,
            0.0
          ],
          "rh_scaled_inf": 1.1102230246251565e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 5.551115123125783e-17,
            "t2_induction": 0.0,
            "energy": 1.1102230246251565e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.06806472472458404,
              "alfven_n": 0.1,
              "fast": 0.5512017764260971
            },
            "right": {
              "slow": 0.04808233168326638,
              "alfven_n": 0.07055555555555557,
              "fast": 0.7801959906207003
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 2.008804017608035,
          "pressure_ratio": 4.034485908596872,
          "entropy_over_cv": 0.2323130041355741,
          "tangential_field_ratio": 2.029484340398608
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "0E-80",
        "0E-80",
        "-1E-80"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "-1E-81",
        "1E-80",
        "0E-79",
        "1E-80"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "126",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_12",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.021409257550185575,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.5023025891098726,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.14068635452075817,
          "u": [
            0.49780864197530866,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            1.00902745905883,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_12",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.9349226633642662e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": -1.9349226633642662e-16,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": -1.1102230246251565e-16,
            "t2_induction": 0.0,
            "energy": -1.1102230246251565e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.5366469854042389
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.7896593634698437
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 2.008804017608035,
            "entropy_over_cv": 0.7201436708953,
            "tangential_field_ratio": 2.0088040176080346,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.46335301459576106,
            "fast_margin_downstream": 0.291850721494535,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "2E-80",
        "0E-80",
        "8E-80"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-241",
        "1E-80",
        "6.142122049772427568E-61",
        "4.0827664506080687524E-61"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "126",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_13",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.021409257550185575,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.49504564675082013,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.14143733809256484,
          "u": [
            0.49780864197530866,
            0.05096417411124704,
            0.0
          ],
          "B": [
            0.1,
            1.0046873878632905,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_13",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.02548208705562352,
            0.0
          ],
          "rh_scaled_inf": 1.1102230246251565e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 5.551115123125783e-17,
            "t2_induction": 0.0,
            "energy": 1.1102230246251565e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.035106377638053646,
              "alfven_n": 0.1,
              "fast": 0.5380704698578507
            },
            "right": {
              "slow": 0.03059987766325184,
              "alfven_n": 0.07055555555555557,
              "fast": 0.7898582403893348
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 2.008804017608035,
          "pressure_ratio": 6.6063635210618905,
          "entropy_over_cv": 0.7254674729383102,
          "tangential_field_ratio": 2.029484340398608
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "-2E-81",
        "0E-79",
        "2E-80",
        "0E-80",
        "4E-80"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "-3E-81",
        "3E-80",
        "0E-79",
        "2E-80"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "186",
        "h": "0"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_14",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.04665373357308013,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.46506951587050843,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.2205937914707182,
          "u": [
            0.49780864197530866,
            0.0,
            0.0
          ],
          "B": [
            0.0,
            0.9342335119477013,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_14",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one exact planar ideal-MHD discontinuity; Bn=0, Bt nonzero, 1<gamma<2",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Full RH, compression, nondecreasing entropy and super-fast to sub-fast normal-flow transition pass."
          },
          "slow_shock": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "rotational_discontinuity": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          },
          "contact": {
            "status": "NOT_ASSESSED",
            "reason": "Required checks not completed."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.0,
            0.0
          ],
          "rh_scaled_inf": 1.1102230246251565e-16,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 5.551115123125783e-17,
            "t2_induction": 0.0,
            "energy": -1.1102230246251565e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.5422599719819169
            },
            "right": {
              "slow": 0.0,
              "alfven_n": 0.0,
              "fast": 0.7858155127288
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "perpendicular": {
            "upstream_side": "left",
            "compression": 2.008804017608035,
            "entropy_over_cv": 0.3910041233411583,
            "tangential_field_ratio": 2.0088040176080355,
            "Bt_over_rho_continuous": true,
            "tangential_velocity_continuous": true,
            "compressed": true,
            "entropy_accepted": true,
            "field_amplified": true,
            "upstream_superfast": true,
            "downstream_subfast": true,
            "fast_margin_upstream": 0.4577400280180831,
            "fast_margin_downstream": 0.28800687075349135,
            "normal_slow_and_alfven_speeds": [
              0.0,
              0.0,
              0.0,
              0.0
            ],
            "speed_tolerance": 1e-09,
            "entropy_allowance": -1e-10
          }
        },
        "result_sentence": "A fast shock passes conservation, entropy and characteristic-speed checks for these exact states; the field lies along the front surface (90 degrees to its normal).",
        "next_action": "Assess measurement errors and geometry before applying this local result to an observed front.",
        "diagnostic_extension": "RMO-exact-perpendicular-0.1",
        "geometry": "exactly perpendicular as supplied: field along the front surface; not inferred from observations",
        "baseline_status": "DEGENERATE_NOT_CLASSIFIED",
        "solar_identification": false,
        "stability_tested": false,
        "field_to_normal_angle_degrees": {
          "left": 90.0,
          "right": 90.0
        },
        "geometry_subtype": "perpendicular"
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-238",
        "0E-79",
        "0E-80",
        "0E-80",
        "-1E-80"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "0E-239",
        "0E-80",
        "2.109333146983244748E-61",
        "1.4021073719917061773E-61"
      ]
    },
    {
      "source_values": {
        "compression": "32400/16129",
        "speed_km_s": "66703/100",
        "sound_speed_km_s": "186",
        "h": "1/100"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_15",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.04665373357308013,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.1,
            0.45835049282982404,
            0.0
          ]
        },
        "right": {
          "rho": 2.008804017608035,
          "p": 0.22123756831293082,
          "u": [
            0.49780864197530866,
            0.04718646547822883,
            0.0
          ],
          "B": [
            0.1,
            0.9302151476121123,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_15",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.023593232739114414,
            0.0
          ],
          "rh_scaled_inf": 5.551115123125783e-17,
          "rh_components": {
            "mass": 0.0,
            "normal_momentum": 0.0,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 5.551115123125783e-17,
            "t2_induction": 0.0,
            "energy": 0.0
          },
          "characteristics": {
            "left": {
              "slow": 0.05132204159239779,
              "alfven_n": 0.1,
              "fast": 0.5433299595512205
            },
            "right": {
              "slow": 0.03845819677089308,
              "alfven_n": 0.07055555555555557,
              "fast": 0.786008653740302
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.49780864197530866
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 2.008804017608035,
          "pressure_ratio": 4.742119255394129,
          "entropy_over_cv": 0.39391825464281993,
          "tangential_field_ratio": 2.029484340398608
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "1E-80",
        "0E-80",
        "2E-80"
      ],
      "independent_newton_iterations": 6,
      "newton_residuals": [
        "0E-81",
        "1E-80",
        "1E-79",
        "1E-80"
      ]
    },
    {
      "source_values": {
        "compression": "39/25",
        "speed_km_s": "600",
        "sound_speed_km_s": "156",
        "h": "1/400"
      },
      "request": {
        "schema_version": "rmo-local-discontinuity-0.1",
        "case_id": "R93_16",
        "model": "ideal_mhd_single_planar_discontinuity",
        "units": "normalized_mu0_1",
        "frame": "common_inertial_local_basis",
        "gamma": 1.6666666666666667,
        "front_speed": 0.0,
        "basis": {
          "normal": [
            1,
            0,
            0
          ],
          "t1": [
            0,
            1,
            0
          ],
          "t2": [
            0,
            0,
            1
          ]
        },
        "left": {
          "rho": 1.0,
          "p": 0.04056,
          "u": [
            1.0,
            0.0,
            0.0
          ],
          "B": [
            0.05,
            0.6426496227981997,
            0.0
          ]
        },
        "right": {
          "rho": 1.56,
          "p": 0.1020834027401386,
          "u": [
            0.6410256410256411,
            0.018064641540356984,
            0.0
          ],
          "B": [
            0.05,
            1.0039424536053394,
            0.0
          ]
        },
        "uncertainty": {
          "mode": "exact_synthetic"
        }
      },
      "result": {
        "case_id": "R93_16",
        "status": "SUPPORTED_LOCAL_CLASS",
        "family": "fast_shock",
        "scope": "one planar discontinuity, ideal MHD, exact supplied states",
        "candidates": {
          "fast_shock": {
            "status": "SUPPORTED",
            "reason": "Requires compression, nondecreasing entropy and the 1 to 2 characteristic transition."
          },
          "slow_shock": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires compression, nondecreasing entropy and the 3 to 4 characteristic transition."
          },
          "rotational_discontinuity": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires unchanged density/pressure and Alfvenic field/velocity rotation."
          },
          "contact": {
            "status": "INCOMPATIBLE_FOR_EXACT_PAIR",
            "reason": "Requires zero normal mass flux, continuous pressure/velocity/field and a density jump."
          }
        },
        "coverage": {
          "intermediate_switch_limits": "NOT_IMPLEMENTED; never automatically excluded",
          "full_fan_and_compound": "NOT_TESTED by a two-state discontinuity check",
          "smooth_waves_and_image_alternatives": "NOT_TESTED; require their own spatial/observational model"
        },
        "global_uniqueness": false,
        "uncertainty_propagated": false,
        "checks": {
          "front_speed": 0.0,
          "evaluation_boost": [
            0.0,
            0.009032320770178492,
            0.0
          ],
          "rh_scaled_inf": 2.2204460492503126e-16,
          "rh_components": {
            "mass": 2.2204460492503126e-16,
            "normal_momentum": 1.7823322596688014e-16,
            "t1_momentum": 0.0,
            "t2_momentum": 0.0,
            "t1_induction": 0.0,
            "t2_induction": 0.0,
            "energy": -2.1882146109144335e-16
          },
          "characteristics": {
            "left": {
              "slow": 0.01871039276814772,
              "alfven_n": 0.05,
              "fast": 0.6948010210737532
            },
            "right": {
              "slow": 0.015199723905159005,
              "alfven_n": 0.04003203845127178,
              "fast": 0.8697844727918967
            }
          },
          "front_relative_normal_velocity": {
            "left": 1.0,
            "right": 0.6410256410256411
          },
          "upstream_side": "left",
          "characteristic_transition": [
            1,
            2
          ],
          "compression": 1.56,
          "pressure_ratio": 2.5168491799836934,
          "entropy_over_cv": 0.1818647583753239,
          "tangential_field_ratio": 1.5621925509487
        },
        "result_sentence": "For these supplied states and front speed, a fast shock passes the local ideal-MHD checks.",
        "next_action": "Next assess uncertainty and unresolved spatial structure; this exact-state result does not classify an EUV image or establish full-fan uniqueness."
      },
      "flux_residuals": [
        "0E-79",
        "0E-79",
        "0E-81",
        "0E-79",
        "-2E-80",
        "0E-80",
        "0E-79"
      ],
      "independent_newton_iterations": 5,
      "newton_residuals": [
        "1E-81",
        "-2E-80",
        "9.753280635273667296E-61",
        "7.618580156132584876E-61"
      ]
    }
  ],
  "observed_solar_type_identified": false,
  "observed_angle_inferred": false,
  "global_riemann_uniqueness": false,
  "maximal_angle_threshold_found": false,
  "confidence_probability": null,
  "remaining_dependencies": [
    "matched radio/EUV/thermal front patch",
    "measured or model-constrained normal and magnetic angle",
    "upstream plasma flow",
    "measurement error semantics and covariance",
    "independent emission and non-wave comparisons"
  ],
  "primary_sources": [
    "https://arxiv.org/html/1310.2330v1#S2.SS2",
    "https://farside.ph.utexas.edu/teaching/plasma/Plasma/node105.html",
    "https://arxiv.org/html/1106.6056v1",
    "https://arxiv.org/html/1406.2372v1"
  ]
}