{
  "schema": "bounded-normal-comparison-checks/v1",
  "block_tests": [
    {
      "mass": "1/4",
      "mode": -4,
      "squared_eigenvalue": "257/16",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "1/4",
      "mode": -1,
      "squared_eigenvalue": "17/16",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "1/4",
      "mode": 0,
      "squared_eigenvalue": "1/16",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "1/4",
      "mode": 3,
      "squared_eigenvalue": "145/16",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "1/4",
      "mode": 7,
      "squared_eigenvalue": "785/16",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "3/8",
      "mode": -4,
      "squared_eigenvalue": "1033/64",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "3/8",
      "mode": -1,
      "squared_eigenvalue": "73/64",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "3/8",
      "mode": 0,
      "squared_eigenvalue": "9/64",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "3/8",
      "mode": 3,
      "squared_eigenvalue": "585/64",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "3/8",
      "mode": 7,
      "squared_eigenvalue": "3145/64",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "2",
      "mode": -4,
      "squared_eigenvalue": "20",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "2",
      "mode": -1,
      "squared_eigenvalue": "5",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "2",
      "mode": 0,
      "squared_eigenvalue": "4",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "2",
      "mode": 3,
      "squared_eigenvalue": "13",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "2",
      "mode": 7,
      "squared_eigenvalue": "53",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "5",
      "mode": -4,
      "squared_eigenvalue": "41",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "5",
      "mode": -1,
      "squared_eigenvalue": "26",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "5",
      "mode": 0,
      "squared_eigenvalue": "25",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "5",
      "mode": 3,
      "squared_eigenvalue": "34",
      "square_exact": true,
      "both_resolvents_exact": true
    },
    {
      "mass": "5",
      "mode": 7,
      "squared_eigenvalue": "74",
      "square_exact": true,
      "both_resolvents_exact": true
    }
  ],
  "resolvent_comparisons": [
    {
      "mode": -4,
      "bounded_resolvent_identity_exact": true
    },
    {
      "mode": -1,
      "bounded_resolvent_identity_exact": true
    },
    {
      "mode": 0,
      "bounded_resolvent_identity_exact": true
    },
    {
      "mode": 3,
      "bounded_resolvent_identity_exact": true
    },
    {
      "mode": 7,
      "bounded_resolvent_identity_exact": true
    }
  ],
  "normalization_checks": [
    {
      "a": "1/4",
      "C_squared": "15/16",
      "square_root_positive": true,
      "doubled_unitary_block_identity_exact": true
    },
    {
      "a": "5/16",
      "C_squared": "231/256",
      "square_root_positive": true,
      "doubled_unitary_block_identity_exact": true
    },
    {
      "a": "3/8",
      "C_squared": "55/64",
      "square_root_positive": true,
      "doubled_unitary_block_identity_exact": true
    }
  ],
  "reference_series_checks": [
    {
      "pair": 1,
      "cutoff_series_value": 1,
      "exact": true
    },
    {
      "pair": 2,
      "cutoff_series_value": 2,
      "exact": true
    },
    {
      "pair": 3,
      "cutoff_series_value": 3,
      "exact": true
    },
    {
      "pair": 8,
      "cutoff_series_value": 8,
      "exact": true
    },
    {
      "pair": 19,
      "cutoff_series_value": 19,
      "exact": true
    },
    {
      "pair": 100,
      "cutoff_series_value": 100,
      "exact": true
    }
  ],
  "mass_homotopy_checks": [
    {
      "v": "0",
      "mode": -5,
      "mass": "1/4",
      "square_defect": "16/417",
      "uniform_square_defect_bound": "16/17"
    },
    {
      "v": "0",
      "mode": 0,
      "mass": "1/4",
      "square_defect": "16/17",
      "uniform_square_defect_bound": "16/17"
    },
    {
      "v": "0",
      "mode": 4,
      "mass": "1/4",
      "square_defect": "16/273",
      "uniform_square_defect_bound": "16/17"
    },
    {
      "v": "1/2",
      "mode": -5,
      "mass": "1/2",
      "square_defect": "4/105",
      "uniform_square_defect_bound": "4/5"
    },
    {
      "v": "1/2",
      "mode": 0,
      "mass": "1/2",
      "square_defect": "4/5",
      "uniform_square_defect_bound": "4/5"
    },
    {
      "v": "1/2",
      "mode": 4,
      "mass": "1/2",
      "square_defect": "4/69",
      "uniform_square_defect_bound": "4/5"
    },
    {
      "v": "3/4",
      "mode": -5,
      "mass": "1",
      "square_defect": "1/27",
      "uniform_square_defect_bound": "1/2"
    },
    {
      "v": "3/4",
      "mode": 0,
      "mass": "1",
      "square_defect": "1/2",
      "uniform_square_defect_bound": "1/2"
    },
    {
      "v": "3/4",
      "mode": 4,
      "mass": "1",
      "square_defect": "1/18",
      "uniform_square_defect_bound": "1/2"
    },
    {
      "v": "7/8",
      "mode": -5,
      "mass": "2",
      "square_defect": "1/30",
      "uniform_square_defect_bound": "1/5"
    },
    {
      "v": "7/8",
      "mode": 0,
      "mass": "2",
      "square_defect": "1/5",
      "uniform_square_defect_bound": "1/5"
    },
    {
      "v": "7/8",
      "mode": 4,
      "mass": "2",
      "square_defect": "1/21",
      "uniform_square_defect_bound": "1/5"
    }
  ],
  "derivative_samples": [
    {
      "x": 1e-09,
      "squared_derivative": 1953124.9999999998,
      "asymptote": 1953124.9999999998,
      "ratio": 1.0
    },
    {
      "x": 1.1077568505097086e-09,
      "squared_derivative": 1763135.113180582,
      "asymptote": 1763135.113180582,
      "ratio": 1.0
    },
    {
      "x": 1.2271252398511891e-09,
      "squared_derivative": 1591626.4587931149,
      "asymptote": 1591626.4587931149,
      "ratio": 1.0
    },
    {
      "x": 1.3593563908785241e-09,
      "squared_derivative": 1436801.2782414886,
      "asymptote": 1436801.2782414886,
      "ratio": 1.0
    },
    {
      "x": 1.5058363542798384e-09,
      "squared_derivative": 1297036.6895771194,
      "asymptote": 1297036.6895771194,
      "ratio": 1.0
    },
    {
      "x": 1.6681005372000556e-09,
      "squared_derivative": 1170867.676404184,
      "asymptote": 1170867.676404184,
      "ratio": 1.0
    },
    {
      "x": 1.8478497974222944e-09,
      "squared_derivative": 1056971.7315360599,
      "asymptote": 1056971.7315360599,
      "ratio": 1.0
    },
    {
      "x": 2.046968271807524e-09,
      "squared_derivative": 954154.9944373793,
      "asymptote": 954154.9944373793,
      "ratio": 1.0
    },
    {
      "x": 2.2675431258708044e-09,
      "squared_derivative": 861339.7371438929,
      "asymptote": 861339.7371438929,
      "ratio": 1.0
    },
    {
      "x": 2.511886431509582e-09,
      "squared_derivative": 777553.0674872987,
      "asymptote": 777553.0674872987,
      "ratio": 1.0
    },
    {
      "x": 2.7825594022071257e-09,
      "squared_derivative": 701916.731211841,
      "asymptote": 701916.731211841,
      "ratio": 1.0
    },
    {
      "x": 3.0823992397451435e-09,
      "squared_derivative": 633637.906088209,
      "asymptote": 633637.906088209,
      "ratio": 1.0
    },
    {
      "x": 3.414548873833601e-09,
      "squared_derivative": 572000.8915283666,
      "asymptote": 572000.8915283666,
      "ratio": 1.0
    },
    {
      "x": 3.782489906389382e-09,
      "squared_derivative": 516359.6065916213,
      "asymptote": 516359.6065916213,
      "ratio": 1.0
    },
    {
      "x": 4.190079105786665e-09,
      "squared_derivative": 466130.81774581707,
      "asymptote": 466130.81774581707,
      "ratio": 1.0
    },
    {
      "x": 4.641588833612773e-09,
      "squared_derivative": 420788.02539685287,
      "asymptote": 420788.02539685287,
      "ratio": 1.0
    },
    {
      "x": 5.141751827683917e-09,
      "squared_derivative": 379855.94510495424,
      "asymptote": 379855.94510495424,
      "ratio": 1.0
    },
    {
      "x": 5.695810810737698e-09,
      "squared_derivative": 342905.525639648,
      "asymptote": 342905.525639648,
      "ratio": 1.0
    },
    {
      "x": 6.309573444801943e-09,
      "squared_derivative": 309549.45165256073,
      "asymptote": 309549.45165256073,
      "ratio": 1.0
    },
    {
      "x": 6.9894732072734935e-09,
      "squared_derivative": 279438.0838269054,
      "asymptote": 279438.0838269054,
      "ratio": 1.0
    },
    {
      "x": 7.742636826811278e-09,
      "squared_derivative": 252255.79394821927,
      "asymptote": 252255.79394821927,
      "ratio": 1.0
    },
    {
      "x": 8.576958985908947e-09,
      "squared_derivative": 227717.65648043575,
      "asymptote": 227717.65648043575,
      "ratio": 1.0
    },
    {
      "x": 9.50118507318144e-09,
      "squared_derivative": 205566.46196830715,
      "asymptote": 205566.46196830715,
      "ratio": 1.0
    },
    {
      "x": 1.0525002852777327e-08,
      "squared_derivative": 185570.02096057497,
      "asymptote": 185570.02096057497,
      "ratio": 1.0
    },
    {
      "x": 1.165914401179831e-08,
      "squared_derivative": 167518.7301935341,
      "asymptote": 167518.7301935341,
      "ratio": 1.0
    },
    {
      "x": 1.2915496650148827e-08,
      "squared_derivative": 151223.37552365777,
      "asymptote": 151223.37552365777,
      "ratio": 1.0
    },
    {
      "x": 1.4307229891937557e-08,
      "squared_derivative": 136513.14857956042,
      "asymptote": 136513.14857956042,
      "ratio": 1.0
    },
    {
      "x": 1.5848931924611143e-08,
      "squared_derivative": 123233.85634378769,
      "asymptote": 123233.85634378769,
      "ratio": 1.0
    },
    {
      "x": 1.7556762912750015e-08,
      "squared_derivative": 111246.30489722043,
      "asymptote": 111246.30489722043,
      "ratio": 1.0
    },
    {
      "x": 1.9448624389373615e-08,
      "squared_derivative": 100424.84038445172,
      "asymptote": 100424.84038445172,
      "ratio": 1.0
    },
    {
      "x": 2.1544346900318822e-08,
      "squared_derivative": 90656.03190649963,
      "asymptote": 90656.03190649964,
      "ratio": 0.9999999999999999
    },
    {
      "x": 2.3865897868585833e-08,
      "squared_derivative": 81837.48253489578,
      "asymptote": 81837.4825348958,
      "ratio": 0.9999999999999998
    },
    {
      "x": 2.643761185749101e-08,
      "squared_derivative": 73876.75598416761,
      "asymptote": 73876.75598416763,
      "ratio": 0.9999999999999998
    },
    {
      "x": 2.9286445646252374e-08,
      "squared_derivative": 66690.4076920625,
      "asymptote": 66690.40769206251,
      "ratio": 0.9999999999999998
    },
    {
      "x": 3.24422607917163e-08,
      "squared_derivative": 60203.11015127232,
      "asymptote": 60203.11015127233,
      "ratio": 0.9999999999999998
    },
    {
      "x": 3.593813663804626e-08,
      "squared_derivative": 54346.86332435791,
      "asymptote": 54346.863324357924,
      "ratio": 0.9999999999999998
    },
    {
      "x": 3.981071705534969e-08,
      "squared_derivative": 49060.28186542151,
      "asymptote": 49060.28186542153,
      "ratio": 0.9999999999999996
    },
    {
      "x": 4.410059454176732e-08,
      "squared_derivative": 44287.951677164136,
      "asymptote": 44287.95167716415,
      "ratio": 0.9999999999999997
    },
    {
      "x": 4.8852735715193916e-08,
      "squared_derivative": 39979.849058740605,
      "asymptote": 39979.84905874063,
      "ratio": 0.9999999999999994
    },
    {
      "x": 5.411695265464637e-08,
      "squared_derivative": 36090.8163559041,
      "asymptote": 36090.81635590411,
      "ratio": 0.9999999999999996
    },
    {
      "x": 5.99484250318941e-08,
      "squared_derivative": 32580.08861718863,
      "asymptote": 32580.088617188652,
      "ratio": 0.9999999999999993
    },
    {
      "x": 6.640827850634838e-08,
      "squared_derivative": 29410.86629452813,
      "asymptote": 29410.866294528154,
      "ratio": 0.9999999999999991
    },
    {
      "x": 7.356422544596421e-08,
      "squared_derivative": 26549.929509346144,
      "asymptote": 26549.929509346173,
      "ratio": 0.9999999999999989
    },
    {
      "x": 8.149127469020748e-08,
      "squared_derivative": 23967.28984084351,
      "asymptote": 23967.28984084354,
      "ratio": 0.9999999999999988
    },
    {
      "x": 9.027251779484579e-08,
      "squared_derivative": 21635.87598651771,
      "asymptote": 21635.875986517745,
      "ratio": 0.9999999999999983
    },
    {
      "x": 1e-07,
      "squared_derivative": 19531.24999999996,
      "asymptote": 19531.25,
      "ratio": 0.999999999999998
    },
    {
      "x": 1.1077568505097088e-07,
      "squared_derivative": 17631.351131805768,
      "asymptote": 17631.351131805815,
      "ratio": 0.9999999999999973
    },
    {
      "x": 1.2271252398511892e-07,
      "squared_derivative": 15916.264587931099,
      "asymptote": 15916.26458793115,
      "ratio": 0.9999999999999968
    },
    {
      "x": 1.3593563908785243e-07,
      "squared_derivative": 14368.012782414828,
      "asymptote": 14368.012782414884,
      "ratio": 0.9999999999999961
    },
    {
      "x": 1.5058363542798385e-07,
      "squared_derivative": 12970.36689577113,
      "asymptote": 12970.366895771193,
      "ratio": 0.9999999999999952
    },
    {
      "x": 1.668100537200059e-07,
      "squared_derivative": 11708.676764041747,
      "asymptote": 11708.676764041815,
      "ratio": 0.9999999999999942
    },
    {
      "x": 1.8478497974222906e-07,
      "squared_derivative": 10569.717315360547,
      "asymptote": 10569.71731536062,
      "ratio": 0.9999999999999931
    },
    {
      "x": 2.04696827180752e-07,
      "squared_derivative": 9541.54994437373,
      "asymptote": 9541.549944373812,
      "ratio": 0.9999999999999915
    },
    {
      "x": 2.2675431258708043e-07,
      "squared_derivative": 8613.397371438838,
      "asymptote": 8613.39737143893,
      "ratio": 0.9999999999999892
    },
    {
      "x": 2.5118864315095823e-07,
      "squared_derivative": 7775.5306748728835,
      "asymptote": 7775.530674872986,
      "ratio": 0.9999999999999868
    },
    {
      "x": 2.782559402207126e-07,
      "squared_derivative": 7019.167312118297,
      "asymptote": 7019.167312118409,
      "ratio": 0.9999999999999839
    },
    {
      "x": 3.0823992397451437e-07,
      "squared_derivative": 6336.379060881964,
      "asymptote": 6336.379060882089,
      "ratio": 0.9999999999999802
    },
    {
      "x": 3.414548873833601e-07,
      "squared_derivative": 5720.008915283527,
      "asymptote": 5720.008915283666,
      "ratio": 0.9999999999999757
    },
    {
      "x": 3.782489906389382e-07,
      "squared_derivative": 5163.59606591606,
      "asymptote": 5163.596065916214,
      "ratio": 0.9999999999999702
    },
    {
      "x": 4.1900791057866647e-07,
      "squared_derivative": 4661.308177458,
      "asymptote": 4661.308177458171,
      "ratio": 0.9999999999999634
    },
    {
      "x": 4.6415888336127725e-07,
      "squared_derivative": 4207.880253968339,
      "asymptote": 4207.880253968528,
      "ratio": 0.999999999999955
    },
    {
      "x": 5.141751827683928e-07,
      "squared_derivative": 3798.5594510493243,
      "asymptote": 3798.5594510495343,
      "ratio": 0.9999999999999447
    },
    {
      "x": 5.695810810737686e-07,
      "squared_derivative": 3429.0552563962556,
      "asymptote": 3429.055256396487,
      "ratio": 0.9999999999999325
    },
    {
      "x": 6.30957344480193e-07,
      "squared_derivative": 3095.494516525357,
      "asymptote": 3095.4945165256136,
      "ratio": 0.9999999999999172
    },
    {
      "x": 6.989473207273493e-07,
      "squared_derivative": 2794.38083826877,
      "asymptote": 2794.3808382690545,
      "ratio": 0.9999999999998981
    },
    {
      "x": 7.742636826811278e-07,
      "squared_derivative": 2522.557939481878,
      "asymptote": 2522.5579394821925,
      "ratio": 0.9999999999998752
    },
    {
      "x": 8.576958985908945e-07,
      "squared_derivative": 2277.1765648040086,
      "asymptote": 2277.176564804358,
      "ratio": 0.9999999999998467
    },
    {
      "x": 9.501185073181439e-07,
      "squared_derivative": 2055.6646196826855,
      "asymptote": 2055.6646196830716,
      "ratio": 0.9999999999998122
    },
    {
      "x": 1.0525002852777327e-06,
      "squared_derivative": 1855.7002096053213,
      "asymptote": 1855.7002096057497,
      "ratio": 0.9999999999997692
    },
    {
      "x": 1.1659144011798312e-06,
      "squared_derivative": 1675.1873019348666,
      "asymptote": 1675.1873019353409,
      "ratio": 0.9999999999997169
    },
    {
      "x": 1.2915496650148827e-06,
      "squared_derivative": 1512.2337552360523,
      "asymptote": 1512.2337552365777,
      "ratio": 0.9999999999996525
    },
    {
      "x": 1.4307229891937558e-06,
      "squared_derivative": 1365.131485795022,
      "asymptote": 1365.1314857956042,
      "ratio": 0.9999999999995735
    },
    {
      "x": 1.584893192461114e-06,
      "squared_derivative": 1232.338563437232,
      "asymptote": 1232.338563437877,
      "ratio": 0.9999999999994768
    },
    {
      "x": 1.7556762912750014e-06,
      "squared_derivative": 1112.46304897149,
      "asymptote": 1112.4630489722044,
      "ratio": 0.9999999999993578
    },
    {
      "x": 1.9448624389373615e-06,
      "squared_derivative": 1004.2484038437258,
      "asymptote": 1004.2484038445172,
      "ratio": 0.999999999999212
    },
    {
      "x": 2.1544346900318865e-06,
      "squared_derivative": 906.5603190641181,
      "asymptote": 906.5603190649947,
      "ratio": 0.999999999999033
    },
    {
      "x": 2.3865897868585833e-06,
      "squared_derivative": 818.3748253479869,
      "asymptote": 818.374825348958,
      "ratio": 0.9999999999988134
    },
    {
      "x": 2.6437611857491012e-06,
      "squared_derivative": 738.7675598406005,
      "asymptote": 738.7675598416762,
      "ratio": 0.9999999999985439
    },
    {
      "x": 2.9286445646252375e-06,
      "squared_derivative": 666.9040769194334,
      "asymptote": 666.9040769206251,
      "ratio": 0.999999999998213
    },
    {
      "x": 3.24422607917163e-06,
      "squared_derivative": 602.0311015114032,
      "asymptote": 602.0311015127234,
      "ratio": 0.9999999999978072
    },
    {
      "x": 3.5938136638046257e-06,
      "squared_derivative": 543.4686332421169,
      "asymptote": 543.4686332435792,
      "ratio": 0.9999999999973093
    },
    {
      "x": 3.981071705534969e-06,
      "squared_derivative": 490.60281865259543,
      "asymptote": 490.6028186542153,
      "ratio": 0.9999999999966982
    },
    {
      "x": 4.410059454176732e-06,
      "squared_derivative": 442.87951676984704,
      "asymptote": 442.8795167716415,
      "ratio": 0.9999999999959482
    },
    {
      "x": 4.885273571519392e-06,
      "squared_derivative": 399.7984905854184,
      "asymptote": 399.79849058740626,
      "ratio": 0.9999999999950279
    },
    {
      "x": 5.411695265464638e-06,
      "squared_derivative": 360.90816355683904,
      "asymptote": 360.90816355904116,
      "ratio": 0.9999999999938984
    },
    {
      "x": 5.994842503189409e-06,
      "squared_derivative": 325.8008861694472,
      "asymptote": 325.80088617188653,
      "ratio": 0.9999999999925129
    },
    {
      "x": 6.640827850634851e-06,
      "squared_derivative": 294.10866294257875,
      "asymptote": 294.10866294528097,
      "ratio": 0.9999999999908121
    },
    {
      "x": 7.356422544596421e-06,
      "squared_derivative": 265.4992950904684,
      "asymptote": 265.49929509346174,
      "ratio": 0.9999999999887257
    },
    {
      "x": 8.149127469020749e-06,
      "squared_derivative": 239.67289840511947,
      "asymptote": 239.67289840843537,
      "ratio": 0.9999999999861648
    },
    {
      "x": 9.027251779484579e-06,
      "squared_derivative": 216.3587598615043,
      "asymptote": 216.35875986517746,
      "ratio": 0.9999999999830228
    },
    {
      "x": 1e-05,
      "squared_derivative": 195.31249999593098,
      "asymptote": 195.31249999999997,
      "ratio": 0.9999999999791668
    },
    {
      "x": 1.1077568505097088e-05,
      "squared_derivative": 176.3135113135507,
      "asymptote": 176.31351131805815,
      "ratio": 0.999999999974435
    },
    {
      "x": 1.2271252398511891e-05,
      "squared_derivative": 159.16264587431832,
      "asymptote": 159.1626458793115,
      "ratio": 0.9999999999686284
    },
    {
      "x": 1.359356390878527e-05,
      "squared_derivative": 143.68012781861734,
      "asymptote": 143.68012782414854,
      "ratio": 0.9999999999615033
    },
    {
      "x": 1.5058363542798415e-05,
      "squared_derivative": 129.7036689515844,
      "asymptote": 129.70366895771167,
      "ratio": 0.9999999999527595
    },
    {
      "x": 1.6681005372000593e-05,
      "squared_derivative": 117.08676763363061,
      "asymptote": 117.08676764041813,
      "ratio": 0.99999999994203
    },
    {
      "x": 1.8478497974222908e-05,
      "squared_derivative": 105.69717314608728,
      "asymptote": 105.6971731536062,
      "ratio": 0.9999999999288636
    },
    {
      "x": 2.04696827180752e-05,
      "squared_derivative": 95.41549943540899,
      "asymptote": 95.41549944373813,
      "ratio": 0.9999999999127066
    },
    {
      "x": 2.2675431258707997e-05,
      "squared_derivative": 86.13397370516282,
      "asymptote": 86.13397371438947,
      "ratio": 0.9999999998928802
    },
    {
      "x": 2.5118864315095822e-05,
      "squared_derivative": 77.75530673850896,
      "asymptote": 77.75530674872986,
      "ratio": 0.9999999998685505
    },
    {
      "x": 2.782559402207126e-05,
      "squared_derivative": 70.19167310986184,
      "asymptote": 70.1916731211841,
      "ratio": 0.9999999998386951
    },
    {
      "x": 3.082399239745143e-05,
      "squared_derivative": 63.36379059627859,
      "asymptote": 63.3637906088209,
      "ratio": 0.9999999998020588
    },
    {
      "x": 3.414548873833601e-05,
      "squared_derivative": 57.20008913894283,
      "asymptote": 57.20008915283666,
      "ratio": 0.9999999997571012
    },
    {
      "x": 3.7824899063893825e-05,
      "squared_derivative": 51.63596064377114,
      "asymptote": 51.63596065916213,
      "ratio": 0.9999999997019328
    },
    {
      "x": 4.190079105786665e-05,
      "squared_derivative": 46.61308175753223,
      "asymptote": 46.61308177458171,
      "ratio": 0.999999999634234
    },
    {
      "x": 4.641588833612782e-05,
      "squared_derivative": 42.078802520798526,
      "asymptote": 42.0788025396852,
      "ratio": 0.9999999995511595
    },
    {
      "x": 5.141751827683928e-05,
      "squared_derivative": 37.98559448957351,
      "asymptote": 37.98559451049534,
      "ratio": 0.9999999994492167
    },
    {
      "x": 5.6958108107376864e-05,
      "squared_derivative": 34.29055254078855,
      "asymptote": 34.29055256396487,
      "ratio": 0.9999999993241194
    },
    {
      "x": 6.309573444801929e-05,
      "squared_derivative": 30.95494513958242,
      "asymptote": 30.954945165256138,
      "ratio": 0.9999999991706101
    },
    {
      "x": 6.98947320727348e-05,
      "squared_derivative": 27.943808354250358,
      "asymptote": 27.943808382690598,
      "ratio": 0.9999999989822347
    },
    {
      "x": 7.742636826811278e-05,
      "squared_derivative": 25.225579363317056,
      "asymptote": 25.225579394821924,
      "ratio": 0.9999999987510746
    },
    {
      "x": 8.576958985908945e-05,
      "squared_derivative": 22.77176561314384,
      "asymptote": 22.771765648043576,
      "ratio": 0.999999998467412
    },
    {
      "x": 9.501185073181438e-05,
      "squared_derivative": 20.556646158170295,
      "asymptote": 20.55664619683072,
      "ratio": 0.9999999981193224
    },
    {
      "x": 0.00010525002852777327,
      "squared_derivative": 18.55700205323115,
      "asymptote": 18.5570020960575,
      "ratio": 0.9999999976921732
    },
    {
      "x": 0.00011659144011798311,
      "squared_derivative": 16.751872971912235,
      "asymptote": 16.75187301935341,
      "ratio": 0.9999999971680077
    },
    {
      "x": 0.00012915496650148828,
      "squared_derivative": 15.122337499812488,
      "asymptote": 15.122337552365776,
      "ratio": 0.9999999965247907
    },
    {
      "x": 0.00014307229891937588,
      "squared_derivative": 13.651314799739744,
      "asymptote": 13.651314857956013,
      "ratio": 0.9999999957354826
    },
    {
      "x": 0.00015848931924611142,
      "squared_derivative": 12.3233855698893,
      "asymptote": 12.323385634378768,
      "ratio": 0.9999999947669034
    },
    {
      "x": 0.00017556762912750013,
      "squared_derivative": 11.124630418283393,
      "asymptote": 11.124630489722044,
      "ratio": 0.999999993578335
    },
    {
      "x": 0.00019448624389373616,
      "squared_derivative": 10.042483959308516,
      "asymptote": 10.04248403844517,
      "ratio": 0.9999999921198127
    },
    {
      "x": 0.00021544346900318823,
      "squared_derivative": 9.065603102985794,
      "asymptote": 9.065603190649965,
      "ratio": 0.9999999903300234
    },
    {
      "x": 0.00023865897868585834,
      "squared_derivative": 8.183748156378991,
      "asymptote": 8.18374825348958,
      "ratio": 0.9999999881337274
    },
    {
      "x": 0.0002643761185749101,
      "squared_derivative": 7.387675490841844,
      "asymptote": 7.387675598416762,
      "ratio": 0.9999999854385975
    },
    {
      "x": 0.00029286445646252375,
      "squared_derivative": 6.669040650039399,
      "asymptote": 6.6690407692062506,
      "ratio": 0.9999999821313356
    },
    {
      "x": 0.000324422607917163,
      "squared_derivative": 6.020310883119337,
      "asymptote": 6.020311015127233,
      "ratio": 0.9999999780729109
    },
    {
      "x": 0.00035938136638046257,
      "squared_derivative": 5.434686186203141,
      "asymptote": 5.434686332435793,
      "ratio": 0.9999999730927154
    },
    {
      "x": 0.0003981071705534969,
      "squared_derivative": 4.906028024551932,
      "asymptote": 4.9060281865421524,
      "ratio": 0.9999999669813923
    },
    {
      "x": 0.0004410059454176741,
      "squared_derivative": 4.428794988270629,
      "asymptote": 4.428795167716405,
      "ratio": 0.999999959482033
    },
    {
      "x": 0.0004885273571519392,
      "squared_derivative": 3.997984707091774,
      "asymptote": 3.997984905874062,
      "ratio": 0.9999999502793799
    },
    {
      "x": 0.0005411695265464637,
      "squared_derivative": 3.609081415387971,
      "asymptote": 3.6090816355904116,
      "ratio": 0.9999999389865725
    },
    {
      "x": 0.0005994842503189409,
      "squared_derivative": 3.2580086177881045,
      "asymptote": 3.2580088617188654,
      "ratio": 0.9999999251288836
    },
    {
      "x": 0.0006640827850634838,
      "squared_derivative": 2.941086359236845,
      "asymptote": 2.941086629452815,
      "ratio": 0.9999999081237637
    },
    {
      "x": 0.0007356422544596406,
      "squared_derivative": 2.654992651601032,
      "asymptote": 2.6549929509346226,
      "ratio": 0.9999998872563519
    },
    {
      "x": 0.0008149127469020749,
      "squared_derivative": 2.3967286524955207,
      "asymptote": 2.3967289840843535,
      "ratio": 0.9999998616494251
    },
    {
      "x": 0.0009027251779484579,
      "squared_derivative": 2.1635872313319764,
      "asymptote": 2.1635875986517745,
      "ratio": 0.999999830226519
    },
    {
      "x": 0.001,
      "squared_derivative": 1.9531245930989813,
      "asymptote": 1.953125,
      "ratio": 0.9999997916666784
    },
    {
      "x": 0.0011077568505097088,
      "squared_derivative": 1.7631346624331963,
      "asymptote": 1.7631351131805817,
      "ratio": 0.9999997443489259
    },
    {
      "x": 0.0012271252398511892,
      "squared_derivative": 1.5916259594746185,
      "asymptote": 1.5916264587931148,
      "ratio": 0.9999996862841193
    },
    {
      "x": 0.001359356390878527,
      "squared_derivative": 1.4368007251180113,
      "asymptote": 1.4368012782414856,
      "ratio": 0.999999615031332
    },
    {
      "x": 0.0015058363542798416,
      "squared_derivative": 1.2970360768508131,
      "asymptote": 1.2970366895771168,
      "ratio": 0.9999995275952418
    },
    {
      "x": 0.0016681005372000592,
      "squared_derivative": 1.1708669976524406,
      "asymptote": 1.1708676764041814,
      "ratio": 0.9999994203002145
    },
    {
      "x": 0.0018478497974222907,
      "squared_derivative": 1.0569709796441982,
      "asymptote": 1.056971731536062,
      "ratio": 0.9999992886357871
    },
    {
      "x": 0.0020469682718075198,
      "squared_derivative": 0.9541541615240542,
      "asymptote": 0.9541549944373813,
      "ratio": 0.9999991270670573
    },
    {
      "x": 0.0022675431258708,
      "squared_derivative": 0.8613388144784996,
      "asymptote": 0.8613397371438947,
      "ratio": 0.99999892880201
    },
    {
      "x": 0.002511886431509582,
      "squared_derivative": 0.7775520453984534,
      "asymptote": 0.7775530674872987,
      "ratio": 0.9999986855059956
    },
    {
      "x": 0.0027825594022071257,
      "squared_derivative": 0.7019155989860112,
      "asymptote": 0.701916731211841,
      "ratio": 0.9999983869513585
    },
    {
      "x": 0.0030823992397451434,
      "squared_derivative": 0.6336366518574129,
      "asymptote": 0.633637906088209,
      "ratio": 0.9999980205874932
    },
    {
      "x": 0.003414548873833601,
      "squared_derivative": 0.5719995021457774,
      "asymptote": 0.5720008915283666,
      "ratio": 0.9999975710132453
    },
    {
      "x": 0.0037824899063893824,
      "squared_derivative": 0.5163580674937678,
      "asymptote": 0.5163596065916213,
      "ratio": 0.9999970193294869
    },
    {
      "x": 0.004190079105786665,
      "squared_derivative": 0.4661291127999355,
      "asymptote": 0.466130817745817,
      "ratio": 0.9999963423446454
    },
    {
      "x": 0.004641588833612782,
      "squared_derivative": 0.4207861367317924,
      "asymptote": 0.42078802539685195,
      "ratio": 0.9999955115997947
    },
    {
      "x": 0.005141751827683927,
      "squared_derivative": 0.379853852923867,
      "asymptote": 0.37985594510495346,
      "ratio": 0.9999944921723263
    },
    {
      "x": 0.005695810810737686,
      "squared_derivative": 0.3429032080124948,
      "asymptote": 0.3429055256396487,
      "ratio": 0.9999932412079111
    },
    {
      "x": 0.00630957344480193,
      "squared_derivative": 0.30954688428626087,
      "asymptote": 0.3095494516525613,
      "ratio": 0.9999917061190491
    },
    {
      "x": 0.006989473207273479,
      "squared_derivative": 0.27943523981073465,
      "asymptote": 0.279438083826906,
      "ratio": 0.9999898223744867
    },
    {
      "x": 0.007742636826811277,
      "squared_derivative": 0.2522526434717743,
      "asymptote": 0.2522557939482193,
      "ratio": 0.9999875107865881
    },
    {
      "x": 0.008576958985908946,
      "squared_derivative": 0.22771416652122453,
      "asymptote": 0.22771765648043577,
      "ratio": 0.9999846741826471
    },
    {
      "x": 0.009501185073181439,
      "squared_derivative": 0.20556259594568946,
      "asymptote": 0.20556646196830716,
      "ratio": 0.9999811933202494
    },
    {
      "x": 0.010525002852777327,
      "squared_derivative": 0.18556573835243861,
      "asymptote": 0.18557002096057498,
      "ratio": 0.9999769218750194
    },
    {
      "x": 0.01165914401179831,
      "squared_derivative": 0.16751398611169735,
      "asymptote": 0.1675187301935341,
      "ratio": 0.9999716802901306
    },
    {
      "x": 0.012915496650148827,
      "squared_derivative": 0.15121812024356293,
      "asymptote": 0.15122337552365775,
      "ratio": 0.9999652482291403
    },
    {
      "x": 0.014307229891937587,
      "squared_derivative": 0.13650732701934845,
      "asymptote": 0.13651314857956015,
      "ratio": 0.9999573553150574
    },
    {
      "x": 0.01584893192461114,
      "squared_derivative": 0.12322740748732262,
      "asymptote": 0.1232338563437877,
      "ratio": 0.9999476697666014
    },
    {
      "x": 0.017556762912750015,
      "squared_derivative": 0.11123916115504899,
      "asymptote": 0.11124630489722043,
      "ratio": 0.9999357844543417
    },
    {
      "x": 0.019448624389373614,
      "squared_derivative": 0.1004169268860561,
      "asymptote": 0.10042484038445172,
      "ratio": 0.9999211997911539
    },
    {
      "x": 0.021544346900318822,
      "squared_derivative": 0.0906472657164894,
      "asymptote": 0.09065603190649965,
      "ratio": 0.9999033027386496
    },
    {
      "x": 0.023865897868585832,
      "squared_derivative": 0.08182777178501859,
      "asymptote": 0.0818374825348958,
      "ratio": 0.999881341048424
    },
    {
      "x": 0.026437611857491012,
      "squared_derivative": 0.07386599891216751,
      "asymptote": 0.07387675598416762,
      "ratio": 0.9998543916573378
    },
    {
      "x": 0.029286445646252372,
      "squared_derivative": 0.06667849157748468,
      "asymptote": 0.06669040769206251,
      "ratio": 0.9998213219113481
    },
    {
      "x": 0.0324422607917163,
      "squared_derivative": 0.060189910137294404,
      "asymptote": 0.06020311015127234,
      "ratio": 0.9997807419924857
    },
    {
      "x": 0.03593813663804626,
      "squared_derivative": 0.05433224111361878,
      "asymptote": 0.054346863324357925,
      "ratio": 0.9997309465561632
    },
    {
      "x": 0.03981071705534969,
      "squared_derivative": 0.04904408427661241,
      "asymptote": 0.04906028186542152,
      "ratio": 0.99966984313597
    },
    {
      "x": 0.04410059454176741,
      "squared_derivative": 0.04427000904784347,
      "asymptote": 0.04428795167716406,
      "ratio": 0.9995948643222116
    },
    {
      "x": 0.04885273571519392,
      "squared_derivative": 0.03995997347843563,
      "asymptote": 0.03997984905874062,
      "ratio": 0.9995028600464251
    },
    {
      "x": 0.054116952654646375,
      "squared_derivative": 0.036068799712070145,
      "asymptote": 0.036090816355904116,
      "ratio": 0.9993899654799476
    },
    {
      "x": 0.05994842503189409,
      "squared_derivative": 0.03255570043503138,
      "asymptote": 0.032580088617188654,
      "ratio": 0.9992514390478235
    },
    {
      "x": 0.06640827850634838,
      "squared_derivative": 0.02938385135006359,
      "asymptote": 0.029410866294528153,
      "ratio": 0.9990814638306119
    },
    {
      "x": 0.07356422544596407,
      "squared_derivative": 0.02652000519342388,
      "asymptote": 0.02654992950934623,
      "ratio": 0.9988729041291121
    },
    {
      "x": 0.08149127469020749,
      "squared_derivative": 0.023934143250232787,
      "asymptote": 0.023967289840843536,
      "ratio": 0.9986170071447017
    },
    {
      "x": 0.09027251779484578,
      "squared_derivative": 0.021599160716636475,
      "asymptote": 0.02163587598651775,
      "ratio": 0.9983030375149057
    },
    {
      "x": 0.1,
      "squared_derivative": 0.0194905826125577,
      "asymptote": 0.01953125,
      "ratio": 0.9979178297629542
    }
  ],
  "spectrum_samples": [
    {
      "pair": 2,
      "mode": -6,
      "squared_eigenvalue": 40
    },
    {
      "pair": 2,
      "mode": -5,
      "squared_eigenvalue": 29
    },
    {
      "pair": 2,
      "mode": -4,
      "squared_eigenvalue": 20
    },
    {
      "pair": 2,
      "mode": -3,
      "squared_eigenvalue": 13
    },
    {
      "pair": 2,
      "mode": -2,
      "squared_eigenvalue": 8
    },
    {
      "pair": 2,
      "mode": -1,
      "squared_eigenvalue": 5
    },
    {
      "pair": 2,
      "mode": 0,
      "squared_eigenvalue": 4
    },
    {
      "pair": 2,
      "mode": 1,
      "squared_eigenvalue": 5
    },
    {
      "pair": 2,
      "mode": 2,
      "squared_eigenvalue": 8
    },
    {
      "pair": 2,
      "mode": 3,
      "squared_eigenvalue": 13
    },
    {
      "pair": 2,
      "mode": 4,
      "squared_eigenvalue": 20
    },
    {
      "pair": 2,
      "mode": 5,
      "squared_eigenvalue": 29
    },
    {
      "pair": 2,
      "mode": 6,
      "squared_eigenvalue": 40
    },
    {
      "pair": 3,
      "mode": -6,
      "squared_eigenvalue": 45
    },
    {
      "pair": 3,
      "mode": -5,
      "squared_eigenvalue": 34
    },
    {
      "pair": 3,
      "mode": -4,
      "squared_eigenvalue": 25
    },
    {
      "pair": 3,
      "mode": -3,
      "squared_eigenvalue": 18
    },
    {
      "pair": 3,
      "mode": -2,
      "squared_eigenvalue": 13
    },
    {
      "pair": 3,
      "mode": -1,
      "squared_eigenvalue": 10
    },
    {
      "pair": 3,
      "mode": 0,
      "squared_eigenvalue": 9
    },
    {
      "pair": 3,
      "mode": 1,
      "squared_eigenvalue": 10
    },
    {
      "pair": 3,
      "mode": 2,
      "squared_eigenvalue": 13
    },
    {
      "pair": 3,
      "mode": 3,
      "squared_eigenvalue": 18
    },
    {
      "pair": 3,
      "mode": 4,
      "squared_eigenvalue": 25
    },
    {
      "pair": 3,
      "mode": 5,
      "squared_eigenvalue": 34
    },
    {
      "pair": 3,
      "mode": 6,
      "squared_eigenvalue": 45
    },
    {
      "pair": 4,
      "mode": -6,
      "squared_eigenvalue": 52
    },
    {
      "pair": 4,
      "mode": -5,
      "squared_eigenvalue": 41
    },
    {
      "pair": 4,
      "mode": -4,
      "squared_eigenvalue": 32
    },
    {
      "pair": 4,
      "mode": -3,
      "squared_eigenvalue": 25
    },
    {
      "pair": 4,
      "mode": -2,
      "squared_eigenvalue": 20
    },
    {
      "pair": 4,
      "mode": -1,
      "squared_eigenvalue": 17
    },
    {
      "pair": 4,
      "mode": 0,
      "squared_eigenvalue": 16
    },
    {
      "pair": 4,
      "mode": 1,
      "squared_eigenvalue": 17
    },
    {
      "pair": 4,
      "mode": 2,
      "squared_eigenvalue": 20
    },
    {
      "pair": 4,
      "mode": 3,
      "squared_eigenvalue": 25
    },
    {
      "pair": 4,
      "mode": 4,
      "squared_eigenvalue": 32
    },
    {
      "pair": 4,
      "mode": 5,
      "squared_eigenvalue": 41
    },
    {
      "pair": 4,
      "mode": 6,
      "squared_eigenvalue": 52
    },
    {
      "pair": 5,
      "mode": -6,
      "squared_eigenvalue": 61
    },
    {
      "pair": 5,
      "mode": -5,
      "squared_eigenvalue": 50
    },
    {
      "pair": 5,
      "mode": -4,
      "squared_eigenvalue": 41
    },
    {
      "pair": 5,
      "mode": -3,
      "squared_eigenvalue": 34
    },
    {
      "pair": 5,
      "mode": -2,
      "squared_eigenvalue": 29
    },
    {
      "pair": 5,
      "mode": -1,
      "squared_eigenvalue": 26
    },
    {
      "pair": 5,
      "mode": 0,
      "squared_eigenvalue": 25
    },
    {
      "pair": 5,
      "mode": 1,
      "squared_eigenvalue": 26
    },
    {
      "pair": 5,
      "mode": 2,
      "squared_eigenvalue": 29
    },
    {
      "pair": 5,
      "mode": 3,
      "squared_eigenvalue": 34
    },
    {
      "pair": 5,
      "mode": 4,
      "squared_eigenvalue": 41
    },
    {
      "pair": 5,
      "mode": 5,
      "squared_eigenvalue": 50
    },
    {
      "pair": 5,
      "mode": 6,
      "squared_eigenvalue": 61
    },
    {
      "pair": 6,
      "mode": -6,
      "squared_eigenvalue": 72
    },
    {
      "pair": 6,
      "mode": -5,
      "squared_eigenvalue": 61
    },
    {
      "pair": 6,
      "mode": -4,
      "squared_eigenvalue": 52
    },
    {
      "pair": 6,
      "mode": -3,
      "squared_eigenvalue": 45
    },
    {
      "pair": 6,
      "mode": -2,
      "squared_eigenvalue": 40
    },
    {
      "pair": 6,
      "mode": -1,
      "squared_eigenvalue": 37
    },
    {
      "pair": 6,
      "mode": 0,
      "squared_eigenvalue": 36
    },
    {
      "pair": 6,
      "mode": 1,
      "squared_eigenvalue": 37
    },
    {
      "pair": 6,
      "mode": 2,
      "squared_eigenvalue": 40
    },
    {
      "pair": 6,
      "mode": 3,
      "squared_eigenvalue": 45
    },
    {
      "pair": 6,
      "mode": 4,
      "squared_eigenvalue": 52
    },
    {
      "pair": 6,
      "mode": 5,
      "squared_eigenvalue": 61
    },
    {
      "pair": 6,
      "mode": 6,
      "squared_eigenvalue": 72
    }
  ],
  "potential_norm_bound": "1/8",
  "derivative_squared_asymptotic_coefficient": "1/512",
  "derivative_squared_integral_diverges_by_proof": true,
  "actual_normal_H1_preservation": false,
  "model_full_joint_domain_proved": true,
  "model_self_adjoint_compact_resolvent_sum_proved": true,
  "model_entire_infinite_class_proved": true,
  "negative_winding_index": 1,
  "surviving_kernel_action": "-1",
  "model_identifies_original_Bott_inverse": false,
  "original_normal_module_comparison_proved": false,
  "original_physical_graph_sum_proved": false,
  "all_rational_checks": true,
  "canvas": [
    2450,
    2030
  ],
  "text_canvas_overflows": []
}