{
  "scope": "Dimensionless exact stationary examples and numerical local continuation. Universal uniqueness is the paper theorem, not a solver inference; Lean is not rerun.",
  "type_ii": {
    "species": [
      "F0",
      "T1",
      "F1",
      "T2",
      "F2",
      "T0"
    ],
    "product_matrix": [
      [
        0,
        0,
        0,
        0,
        0,
        1
      ],
      [
        2,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1,
        0,
        0
      ],
      [
        1,
        0,
        0,
        0,
        3,
        0
      ]
    ],
    "forward": [
      "1",
      "4/3",
      "4/3",
      "16/15",
      "16/15",
      "6/5"
    ],
    "reverse": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "loss": [
      "1/5",
      "0",
      "0",
      "1/3",
      "0",
      "0"
    ],
    "exact_state": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "currents": [
      "0",
      "1/3",
      "1/3",
      "1/15",
      "1/15",
      "1/5"
    ],
    "admissibility_shift": [
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    "min_one_way_flows": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "certificate": {
      "status": "all_principal_minors_nonnegative",
      "count": 64,
      "zero_minors": 32,
      "minimum": "0",
      "det_minus_H": "90368/1125",
      "lower_bound_from_nonnegative_minors": "36",
      "ratio_to_lower_bound": "22592/10125",
      "scope": "Exact certificate for this triple. The paper proves the universal bound for separated Type II skeletons only."
    },
    "numerical_continuation": [
      {
        "scale": 0.0,
        "status": "numerical_root",
        "x": [
          1.252757645174036,
          1.0954451150103321,
          1.4605934866804429,
          1.7777777777777777,
          1.8962962962962961,
          1.0439647043116969
        ],
        "relative_residual": 1.2761615637461363e-15,
        "spectral_abscissa": -0.17711073292478255,
        "det_minus_H": 616.4178373231924
      },
      {
        "scale": 0.025,
        "status": "numerical_root",
        "x": [
          1.245627332793257,
          1.092716729416306,
          1.4423998388828783,
          1.7466960406635705,
          1.8610663978198199,
          1.0432128912143528
        ],
        "relative_residual": 2.1284687602600474e-16,
        "spectral_abscissa": -0.1792465329079758,
        "det_minus_H": 580.933855496395
      },
      {
        "scale": 0.05,
        "status": "numerical_root",
        "x": [
          1.2385452287237784,
          1.0900086292691393,
          1.424735907338751,
          1.7165359012060744,
          1.8268431438574004,
          1.0424422341758468
        ],
        "relative_residual": 2.6881840588688865e-16,
        "spectral_abscissa": -0.18137570575009238,
        "det_minus_H": 547.8154589933981
      },
      {
        "scale": 0.075,
        "status": "numerical_root",
        "x": [
          1.2315107223663662,
          1.0873205644391246,
          1.4075792887826202,
          1.6872585521151768,
          1.79358490197769,
          1.0416528193348848
        ],
        "relative_residual": 2.5579878531905976e-15,
        "spectral_abscissa": -0.1834980375381076,
        "det_minus_H": 516.8807970796596
      },
      {
        "scale": 0.1,
        "status": "numerical_root",
        "x": [
          1.224523214395222,
          1.0846522890932808,
          1.3909088085931998,
          1.658827305935234,
          1.7612523049016149,
          1.0408447322359387
        ],
        "relative_residual": 1.2799869070655866e-15,
        "spectral_abscissa": -0.18561331885428387,
        "det_minus_H": 487.9639560084163
      },
      {
        "scale": 0.125,
        "status": "numerical_root",
        "x": [
          1.2175821164988092,
          1.0820035616009187,
          1.3747044382613798,
          1.631207452956283,
          1.7298080988492117,
          1.0400180578427327
        ],
        "relative_residual": 1.4945050451328375e-15,
        "spectral_abscissa": -0.18772134456192197,
        "det_minus_H": 460.9133879002388
      },
      {
        "scale": 0.15,
        "status": "numerical_root",
        "x": [
          1.210686851128402,
          1.0793741444417317,
          1.3589472194032306,
          1.6043661303815668,
          1.6992170038957204,
          1.039172880551878
        ],
        "relative_residual": 6.171482040823093e-16,
        "spectral_abscissa": -0.18982191361263998,
        "det_minus_H": 435.5905116809639
      },
      {
        "scale": 0.175,
        "status": "numerical_root",
        "x": [
          1.2038368512540865,
          1.076763804116331,
          1.3436191937211284,
          1.5782722017253623,
          1.669445585242422,
          1.03830928420665
        ],
        "relative_residual": 3.421633354184109e-15,
        "spectral_abscissa": -0.19191482887302078,
        "det_minus_H": 411.8684653736609
      },
      {
        "scale": 0.2,
        "status": "numerical_root",
        "x": [
          1.19703156012796,
          1.0741723110591492,
          1.328703338377497,
          1.5528961455205252,
          1.6404621344201875,
          1.0374273521108988
        ],
        "relative_residual": 1.4982371838496375e-15,
        "spectral_abscissa": -0.19399989696870967,
        "det_minus_H": 389.6309917524314
      },
      {
        "scale": 0.225,
        "status": "numerical_root",
        "x": [
          1.1902704310542707,
          1.0715994395536397,
          1.314183506300037,
          1.5282099525086534,
          1.6122365595434163,
          1.0365271670430942
        ],
        "relative_residual": 1.7137581106220995e-15,
        "spectral_abscissa": -0.1960769281442624,
        "det_minus_H": 368.77144169442784
      },
      {
        "scale": 0.25,
        "status": "numerical_root",
        "x": [
          1.1835529271662755,
          1.0690449676496976,
          1.3000443709855438,
          1.5041870305686333,
          1.5847402838204374,
          1.0356088112704913
        ],
        "relative_residual": 1.9296875640461485e-15,
        "spectral_abscissa": -0.1981457361372256,
        "det_minus_H": 349.19188156938446
      },
      {
        "scale": 0.275,
        "status": "numerical_root",
        "x": [
          1.1768785212095754,
          1.0665086770832382,
          1.2862713754122883,
          1.4808021167130452,
          1.5579461516050728,
          1.0346723665634183
        ],
        "relative_residual": 1.0730189193248426e-15,
        "spectral_abscissa": -0.20020613806510695,
        "det_minus_H": 330.8022927323685
      },
      {
        "scale": 0.3,
        "status": "numerical_root",
        "x": [
          1.1702466953317114,
          1.063990353197863,
          1.2728506847090735,
          1.4580311955474377,
          1.531828341343966,
          1.0337179142096784
        ],
        "relative_residual": 6.260712916926396e-16,
        "spectral_abscissa": -0.2022579543240147,
        "det_minus_H": 313.5198526760571
      },
      {
        "scale": 0.325,
        "status": "numerical_root",
        "x": [
          1.16365694087782,
          1.0614897848685507,
          1.2597691422630894,
          1.4358514236459496,
          1.5063622848366602,
          1.032745535029065
        ],
        "relative_residual": 4.183640918457414e-16,
        "spectral_abscissa": -0.20430100849789923,
        "det_minus_H": 297.2682886883652
      },
      {
        "scale": 0.35,
        "status": "numerical_root",
        "x": [
          1.1571087581921293,
          1.0590067644273118,
          1.247014228979042,
          1.4142410593489159,
          1.4815245922810272,
          1.031755309387982
        ],
        "relative_residual": 1.2912631681444548e-15,
        "spectral_abscissa": -0.20633512727741546,
        "det_minus_H": 281.97729597877174
      },
      {
        "scale": 0.375,
        "status": "numerical_root",
        "x": [
          1.1506016564251191,
          1.0565410875907486,
          1.2345740254291568,
          1.3931793975347302,
          1.4572929826264176,
          1.0307473172141692
        ],
        "relative_residual": 6.462629624644313e-16,
        "spectral_abscissa": -0.2083601403875318,
        "det_minus_H": 267.58201320671577
      },
      {
        "scale": 0.4,
        "status": "numerical_root",
        "x": [
          1.144135153346142,
          1.0540925533894598,
          1.2224371766579487,
          1.372646708959983,
          1.433646218801418,
          1.0297216380115277
        ],
        "relative_residual": 1.078177813927542e-15,
        "spectral_abscissa": -0.21037588052311224,
        "det_minus_H": 254.02254918905425
      },
      {
        "scale": 0.425,
        "status": "numerical_root",
        "x": [
          1.1377087751613397,
          1.0516609640992383,
          1.2105928594274178,
          1.3526241837993065,
          1.4105640474230239,
          1.0286783508750441
        ],
        "relative_residual": 1.5109798248918578e-15,
        "spectral_abscissa": -0.21238218329173075,
        "det_minus_H": 241.24355529827704
      },
      {
        "scale": 0.45,
        "status": "numerical_root",
        "x": [
          1.1313220563366653,
          1.0492461251740035,
          1.1990307517078498,
          1.3330938790499212,
          1.3880271426298159,
          1.0276175345058043
        ],
        "relative_residual": 1.7286167078245948e-15,
        "spectral_abscissa": -0.2143788871631023,
        "det_minus_H": 229.1938387041674
      },
      {
        "scale": 0.475,
        "status": "numerical_root",
        "x": [
          1.1249745394258728,
          1.0468478451804273,
          1.1877410042370136,
          1.3140386694961448,
          1.3660170537140686,
          1.026539267226109
        ],
        "relative_residual": 1.9467364845431742e-15,
        "spectral_abscissa": -0.21636583342452842,
        "det_minus_H": 217.8260121717662
      },
      {
        "scale": 0.5,
        "status": "numerical_root",
        "x": [
          1.1186657749032736,
          1.044465935734187,
          1.1767142139862334,
          1.2954422019560952,
          1.3445161562563923,
          1.0254436269946674
        ],
        "relative_residual": 2.381886814523102e-15,
        "spectral_abscissa": -0.21834286614182263,
        "det_minus_H": 207.0961766184608
      },
      {
        "scale": 0.525,
        "status": "numerical_root",
        "x": [
          1.1123953210011452,
          1.0421002114378126,
          1.1659413993861858,
          1.2772888525575175,
          1.3235076064929792,
          1.0243306914218877
        ],
        "relative_residual": 1.7341634437746512e-15,
        "spectral_abscissa": -0.22030983212523758,
        "det_minus_H": 196.96363306282186
      },
      {
        "scale": 0.55,
        "status": "numerical_root",
        "x": [
          1.1061627435516155,
          1.0397504898200727,
          1.1554139771779832,
          1.2595636868115292,
          1.3029752986687384,
          1.0232005377852442
        ],
        "relative_residual": 1.5190690163627024e-15,
        "spectral_abscissa": -0.22226658089994536,
        "det_minus_H": 187.3906209746708
      },
      {
        "scale": 0.575,
        "status": "numerical_root",
        "x": [
          1.099967615832903,
          1.0374165912768611,
          1.145123740766794,
          1.2422524222731524,
          1.2829038251511011,
          1.022053243044739
        ],
        "relative_residual": 6.421083105632721e-16,
        "spectral_abscissa": -0.22421296468066332,
        "det_minus_H": 178.34208036740463
      },
      {
        "scale": 0.6,
        "status": "numerical_root",
        "x": [
          1.0938095184197505,
          1.0350983390135313,
          1.1350628399656328,
          1.2253413935953779,
          1.2632784390982796,
          1.0208888838584338
        ],
        "relative_residual": 4.350024932896069e-16,
        "spectral_abscissa": -0.22614883835005456,
        "det_minus_H": 169.78543526519698
      },
      {
        "scale": 0.625,
        "status": "numerical_root",
        "x": [
          1.0876880390379409,
          1.0327955589886446,
          1.1252237620265368,
          1.2088175197999527,
          1.2440850194933692,
          1.0197075365980695
        ],
        "relative_residual": 5.920011976776794e-16,
        "spectral_abscissa": -0.2280740594405535,
        "det_minus_H": 161.6903964349315
      },
      {
        "scale": 0.65,
        "status": "numerical_root",
        "x": [
          1.081602772422755,
          1.0305080798590893,
          1.115599313864858,
          1.192668273602742,
          1.2253100383712723,
          1.0185092773647613
        ],
        "relative_residual": 1.0900470415916984e-15,
        "spectral_abscissa": -0.22998848811930717,
        "det_minus_H": 154.0287814995546
      },
      {
        "scale": 0.675,
        "status": "numerical_root",
        "x": [
          1.0755533201812584,
          1.028235732926531,
          1.1061826053902517,
          1.176881652644994,
          1.2069405300798373,
          1.0172941820047736
        ],
        "relative_residual": 6.548094214618915e-16,
        "spectral_abscissa": -0.2318919871759392,
        "det_minus_H": 146.77435075014216
      },
      {
        "scale": 0.7,
        "status": "numerical_root",
        "x": [
          1.0695392906582817,
          1.0259783520851542,
          1.0969670338649569,
          1.1614461524939252,
          1.1889640624294675,
          1.0160623261253674
        ],
        "relative_residual": 4.3706886716639114e-16,
        "spectral_abscissa": -0.23378442201285346,
        "det_minus_H": 139.90265715137411
      },
      {
        "scale": 0.725,
        "status": "numerical_root",
        "x": [
          1.0635602988060011,
          1.0237357737706623,
          1.0879462692164759,
          1.1463507412872034,
          1.171368709597394,
          1.014813785110726
        ],
        "relative_residual": 2.9054537620271085e-16,
        "spectral_abscissa": -0.23566566063784347,
        "det_minus_H": 133.390909192404
      },
      {
        "scale": 0.75,
        "status": "numerical_root",
        "x": [
          1.0576159660569937,
          1.0215078369104982,
          1.0791142402375333,
          1.1315848359058573,
          1.154143026663398,
          1.0135486341379525
        ],
        "relative_residual": 2.1907641868008197e-15,
        "spectral_abscissa": -0.23753557365876968,
        "det_minus_H": 127.21784537451535
      },
      {
        "scale": 0.775,
        "status": "numerical_root",
        "x": [
          1.0517059202006662,
          1.0192943828752512,
          1.0704651216115748,
          1.1171382795693947,
          1.1372760256636538,
          1.0122669481931408
        ],
        "relative_residual": 2.6322456382246533e-15,
        "spectral_abscissa": -0.23939403428007164,
        "det_minus_H": 121.3636192508649
      },
      {
        "scale": 0.8,
        "status": "numerical_root",
        "x": [
          1.045829795262951,
          1.0170952554312156,
          1.0619933217069006,
          1.103001320755202,
          1.120757153058192,
          1.0109688020875192
        ],
        "relative_residual": 3.9624035290632193e-16,
        "spectral_abscissa": -0.2412409183009369,
        "det_minus_H": 115.80969404373275
      },
      {
        "scale": 0.825,
        "status": "numerical_root",
        "x": [
          1.0399872313891798,
          1.014910300694074,
          1.0536934710869759,
          1.0891645933519616,
          1.1045762685156875,
          1.0096542704736622
        ],
        "relative_residual": 8.751299687201127e-16,
        "spectral_abscissa": -0.24307610411492636,
        "det_minus_H": 110.53874596276825
      },
      {
        "scale": 0.85,
        "status": "numerical_root",
        "x": [
          1.0341778747300268,
          1.0127393670836666,
          1.0455604116884905,
          1.0756190979637597,
          1.0887236249266423,
          1.0083234278617763
        ],
        "relative_residual": 1.1010584440941393e-15,
        "spectral_abscissa": -0.24489947271087403,
        "det_minus_H": 105.53457543508027
      },
      {
        "scale": 0.875,
        "status": "numerical_root",
        "x": [
          1.0284013773304348,
          1.0105823052798226,
          1.0375891866224538,
          1.0623561842879192,
          1.0731898495628387,
          1.0069763486360508
        ],
        "relative_residual": 1.0985973322754194e-15,
        "spectral_abscissa": -0.2467109076749062,
        "det_minus_H": 100.78202553599642
      },
      {
        "scale": 0.9,
        "status": "numerical_root",
        "x": [
          1.0226573970214374,
          1.0084389681792214,
          1.0297750305569953,
          1.049367534495445,
          1.0579659263071883,
          1.00561310707108
        ],
        "relative_residual": 8.807458336360884e-16,
        "spectral_abscissa": -0.24851029519342016,
        "det_minus_H": 96.26690697895708
      },
      {
        "scale": 0.925,
        "status": "numerical_root",
        "x": [
          1.0169455973147865,
          1.0063092108532552,
          1.0221133606436312,
          1.0366451475482463,
          1.0430431788837178,
          1.0042337773483516
        ],
        "relative_residual": 4.413049240337539e-16,
        "spectral_abscissa": -0.2502975240568812,
        "det_minus_H": 91.97592908524751
      },
      {
        "scale": 0.95,
        "status": "numerical_root",
        "x": [
          1.0112656473003032,
          1.0041928905068678,
          1.0145997679516117,
          1.0241813243922484,
          1.0284132550227125,
          1.0028384335728007
        ],
        "relative_residual": 1.1070806497411332e-15,
        "spectral_abscissa": -0.25207248566429474,
        "det_minus_H": 87.8966362100299
      },
      {
        "scale": 0.975,
        "status": "numerical_root",
        "x": [
          1.0056172215458719,
          1.00208986643834,
          1.0072300093775584,
          1.0119686539699326,
          1.0140681115007797,
          1.0014271497894307
        ],
        "relative_residual": 6.034007685399895e-16,
        "spectral_abscissa": -0.2538350740282322,
        "det_minus_H": 84.01734915103951
      },
      {
        "scale": 1.0,
        "status": "numerical_root",
        "x": [
          1.0000000000000002,
          1.0000000000000002,
          1.0000000000000004,
          1.0000000000000002,
          1.0000000000000002,
          1.0
        ],
        "relative_residual": 4.440892098500624e-16,
        "spectral_abscissa": -0.2555851857802876,
        "det_minus_H": 80.32711111111128
      }
    ]
  },
  "type_v": {
    "edges": [
      3,
      0,
      2
    ],
    "species": [
      "U0",
      "Z0_1",
      "Z0_2",
      "S0",
      "U1",
      "U2",
      "Z2_1",
      "S2"
    ],
    "exact_state": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "forward": [
      "227/120",
      "197/120",
      "167/120",
      "167/120",
      "37/24",
      "29/15",
      "101/60",
      "27/20"
    ],
    "reverse": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "loss": [
      "0",
      "1/4",
      "1/4",
      "0",
      "1/5",
      "0",
      "1/4",
      "1/3"
    ],
    "alpha": [
      "1247168191/2139738360",
      "37/24",
      "79083/111380"
    ],
    "beta": [
      "3409200/17831153",
      "1",
      "2005/5569"
    ],
    "lambda": [
      "14468753/35662306",
      "1/5",
      "25723/66828"
    ],
    "mu": [
      "1681200/17831153",
      "0",
      "1105/5569"
    ],
    "tangent_determinant": "182454384298531/22342880487825",
    "ratio_witness": {
      "status": "cannot_both_be_stationary",
      "row": 2,
      "terms": [
        "4010/5569",
        "14468753/35662306",
        "1/10",
        "0",
        "0"
      ],
      "strict_defect": "608606676821/496508455285"
    }
  },
  "internal_only_loss": {
    "compression": [
      "1/3",
      "1/3",
      "1/3",
      "1/3"
    ],
    "endpoints_2_3_reconstruction": [
      "2",
      "5/3",
      "3"
    ],
    "left_current": "1/3",
    "right_current": "-4/3",
    "leakage": "5/3"
  },
  "coincident_branch": {
    "det_N": "12",
    "inverse": [
      [
        "0",
        "1/3",
        "1/3"
      ],
      [
        "1/4",
        "-1/6",
        "7/12"
      ],
      [
        "1/4",
        "1/6",
        "-1/12"
      ]
    ],
    "exact_root_verified": true,
    "separated_determinant_bound_claimed": false
  }
}