{
  "schema": "probability-coercive-stabilization-checks/v1",
  "real_clifford_matrix": [
    [
      0,
      1
    ],
    [
      1,
      0
    ]
  ],
  "exact_scalar_samples": [
    {
      "occupation": 1,
      "t": "1/2",
      "lambda_value": 1,
      "derivative_squared": "16777216/4295098369",
      "bound_squared": "1/2",
      "factor_norm_squared": "65536/65537",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/2",
      "lambda_value": 16,
      "derivative_squared": "256/66049",
      "bound_squared": "1/32",
      "factor_norm_squared": "256/257",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/2",
      "lambda_value": 256,
      "derivative_squared": "1/1024",
      "bound_squared": "1/512",
      "factor_norm_squared": "1/2",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/4",
      "lambda_value": 1,
      "derivative_squared": "4398046511104/18446744082299486209",
      "bound_squared": "1/128",
      "factor_norm_squared": "4294967296/4294967297",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/4",
      "lambda_value": 16,
      "derivative_squared": "67108864/281475010265089",
      "bound_squared": "1/2048",
      "factor_norm_squared": "16777216/16777217",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/4",
      "lambda_value": 256,
      "derivative_squared": "1024/4295098369",
      "bound_squared": "1/32768",
      "factor_norm_squared": "65536/65537",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/8",
      "lambda_value": 1,
      "derivative_squared": "1152921504606846976/79228162514264900543497371649",
      "bound_squared": "1/8192",
      "factor_norm_squared": "281474976710656/281474976710657",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/8",
      "lambda_value": 16,
      "derivative_squared": "17592186044416/1208925819616828197961729",
      "bound_squared": "1/131072",
      "factor_norm_squared": "1099511627776/1099511627777",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 1,
      "t": "1/8",
      "lambda_value": 256,
      "derivative_squared": "268435456/18446744082299486209",
      "bound_squared": "1/2097152",
      "factor_norm_squared": "4294967296/4294967297",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/2",
      "lambda_value": 1,
      "derivative_squared": "4398046511104/18446744082299486209",
      "bound_squared": "1/128",
      "factor_norm_squared": "4294967296/4294967297",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/2",
      "lambda_value": 16,
      "derivative_squared": "67108864/281475010265089",
      "bound_squared": "1/2048",
      "factor_norm_squared": "16777216/16777217",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/2",
      "lambda_value": 256,
      "derivative_squared": "1024/4295098369",
      "bound_squared": "1/32768",
      "factor_norm_squared": "65536/65537",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/4",
      "lambda_value": 1,
      "derivative_squared": "75557863725914323419136/340282366920938463500268095579187314689",
      "bound_squared": "1/2097152",
      "factor_norm_squared": "18446744073709551616/18446744073709551617",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/4",
      "lambda_value": 16,
      "derivative_squared": "1152921504606846976/5192296858534827772645684405075969",
      "bound_squared": "1/33554432",
      "factor_norm_squared": "72057594037927936/72057594037927937",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/4",
      "lambda_value": 256,
      "derivative_squared": "17592186044416/79228162514264900543497371649",
      "bound_squared": "1/536870912",
      "factor_norm_squared": "281474976710656/281474976710657",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/8",
      "lambda_value": 1,
      "derivative_squared": "1298074214633706907132624082305024/6277101735386680763835789423366122741130884119651122413569",
      "bound_squared": "1/34359738368",
      "factor_norm_squared": "79228162514264337593543950336/79228162514264337593543950337",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/8",
      "lambda_value": 16,
      "derivative_squared": "19807040628566084398385987584/95780971304118053647396689815864343618861332586037249",
      "bound_squared": "1/549755813888",
      "factor_norm_squared": "309485009821345068724781056/309485009821345068724781057",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 2,
      "t": "1/8",
      "lambda_value": 256,
      "derivative_squared": "302231454903657293676544/1461501637330902918203687250567922248914281955329",
      "bound_squared": "1/8796093022208",
      "factor_norm_squared": "1208925819614629174706176/1208925819614629174706177",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/2",
      "lambda_value": 1,
      "derivative_squared": "648518346341351424/79228162514264900543497371649",
      "bound_squared": "9/131072",
      "factor_norm_squared": "281474976710656/281474976710657",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/2",
      "lambda_value": 16,
      "derivative_squared": "9895604649984/1208925819616828197961729",
      "bound_squared": "9/2097152",
      "factor_norm_squared": "1099511627776/1099511627777",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/2",
      "lambda_value": 256,
      "derivative_squared": "150994944/18446744082299486209",
      "bound_squared": "9/33554432",
      "factor_norm_squared": "4294967296/4294967297",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/4",
      "lambda_value": 1,
      "derivative_squared": "730166745731460135262101046296576/6277101735386680763835789423366122741130884119651122413569",
      "bound_squared": "9/549755813888",
      "factor_norm_squared": "79228162514264337593543950336/79228162514264337593543950337",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/4",
      "lambda_value": 16,
      "derivative_squared": "11141460353568422474092118016/95780971304118053647396689815864343618861332586037249",
      "bound_squared": "9/8796093022208",
      "factor_norm_squared": "309485009821345068724781056/309485009821345068724781057",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/4",
      "lambda_value": 256,
      "derivative_squared": "170005193383307227693056/1461501637330902918203687250567922248914281955329",
      "bound_squared": "9/140737488355328",
      "factor_norm_squared": "1208925819614629174706176/1208925819614629174706177",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/8",
      "lambda_value": 1,
      "derivative_squared": "822094670998632891489572718402909198556462055424/497323236409786642155382248146820840100456195398838114501710259964596042309256387493889",
      "bound_squared": "9/2305843009213693952",
      "factor_norm_squared": "22300745198530623141535718272648361505980416/22300745198530623141535718272648361505980417",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/8",
      "lambda_value": 16,
      "derivative_squared": "12544169174173475517113841528364703347113984/7588550360256754183279148073529370729072075939619283525383185473341599929407111169",
      "bound_squared": "9/36893488147419103232",
      "factor_norm_squared": "87112285931760246646623899502532662132736/87112285931760246646623899502532662132737",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 3,
      "t": "1/8",
      "lambda_value": 256,
      "derivative_squared": "191408831393027885698148216680369618944/115792089237316195423570985008687907853950549399482440966384333222776666062849",
      "bound_squared": "9/590295810358705651712",
      "factor_norm_squared": "340282366920938463463374607431768211456/340282366920938463463374607431768211457",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/2",
      "lambda_value": 1,
      "derivative_squared": "75557863725914323419136/340282366920938463500268095579187314689",
      "bound_squared": "1/2097152",
      "factor_norm_squared": "18446744073709551616/18446744073709551617",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/2",
      "lambda_value": 16,
      "derivative_squared": "1152921504606846976/5192296858534827772645684405075969",
      "bound_squared": "1/33554432",
      "factor_norm_squared": "72057594037927936/72057594037927937",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/2",
      "lambda_value": 256,
      "derivative_squared": "17592186044416/79228162514264900543497371649",
      "bound_squared": "1/536870912",
      "factor_norm_squared": "281474976710656/281474976710657",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/4",
      "lambda_value": 1,
      "derivative_squared": "5575186299632655785383929568162090376495104/115792089237316195423570985008687907853950549399482440966384333222776666062849",
      "bound_squared": "1/2251799813685248",
      "factor_norm_squared": "340282366920938463463374607431768211456/340282366920938463463374607431768211457",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/4",
      "lambda_value": 16,
      "derivative_squared": "85070591730234615865843651857942052864/1766847064778384329583297500742918518485939888445450703929220321853308929",
      "bound_squared": "1/36028797018963968",
      "factor_norm_squared": "1329227995784915872903807060280344576/1329227995784915872903807060280344577",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/4",
      "lambda_value": 256,
      "derivative_squared": "1298074214633706907132624082305024/26959946667150639794667015087019641058230861492195829542096268689409",
      "bound_squared": "1/576460752303423488",
      "factor_norm_squared": "5192296858534827628530496329220096/5192296858534827628530496329220097",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/8",
      "lambda_value": 1,
      "derivative_squared": "411376139330301510538742295639337626245683966408394965837152256/39402006196394479212279040100143613805079739270465446667960847607716495133024882190260681587717120351695556059332609",
      "bound_squared": "1/2417851639229258349412352",
      "factor_norm_squared": "6277101735386680763835789423207666416102355444464034512896/6277101735386680763835789423207666416102355444464034512897",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/8",
      "lambda_value": 16,
      "derivative_squared": "6277101735386680763835789423207666416102355444464034512896/601226901190101306339707032778070279008174732520529886950106346019953953896806866395516837462300439886050623489",
      "bound_squared": "1/38685626227668133590597632",
      "factor_norm_squared": "24519928653854221733733552434404946937899825954937634816/24519928653854221733733552434404946937899825954937634817",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    },
    {
      "occupation": 4,
      "t": "1/8",
      "lambda_value": 256,
      "derivative_squared": "95780971304118053647396689196894323976171195136475136/9173994463960286046443283581208347763186259956673124686512297965783798799147317626068722164782893019168769",
      "bound_squared": "1/618970019642690137449562112",
      "factor_norm_squared": "95780971304118053647396689196894323976171195136475136/95780971304118053647396689196894323976171195136475137",
      "exact_inverse_identity": true,
      "exact_inverse_derivative_identity": true,
      "exact_norm_and_bound": true
    }
  ],
  "all_complex_matrix_fraction_checks": true,
  "curve_samples": 201,
  "sample_occupation": 1,
  "sample_t": "1/2",
  "sample_lambda": 256,
  "unweighted_column_derivative_squared": "256/15",
  "weighted_column_derivative_squared": "1/3840",
  "resolvent_derivative_squared": "1/1024",
  "resolvent_derivative_bound_squared": "1/512",
  "factor_norm_squared": "1/2",
  "compressed_derivative_squared": "(19+sqrt(345))/30720",
  "compressed_discriminant_integer": 345,
  "compressed_trace": "19/15360",
  "compressed_discriminant": "23/15728640",
  "compressed_upper_rational": "19/15360",
  "transfer_bound_lower_rational": "23/15360",
  "infinite_column_reduction_proved": true,
  "actual_probability_coefficient_algebra": "C0(X)",
  "actual_compact_normal_compressed_resolvents_proved": true,
  "whole_ambient_resolvent": false,
  "unweighted_stabilization_derivative_asserted": false,
  "actual_B_source_inverse_module_identified": false,
  "completed_physical_graph_sum_proved": false,
  "original_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1810
  ],
  "text_canvas_overflows": []
}