{
  "labels": [
    3,
    7,
    11,
    19,
    43,
    67,
    163
  ],
  "charpoly_7": "lam**7 - 1792*lam**6 + 1101734*lam**5 - 287890132*lam**4 + 32967160008*lam**3 - 1634357991536*lam**2 + 29925111424384*lam - 168144119646208",
  "charpoly_7_coefficients": [
    1,
    -1792,
    1101734,
    -287890132,
    32967160008,
    -1634357991536,
    29925111424384,
    -168144119646208
  ],
  "charpoly_13": "lam**13 - 1792*lam**12 + 1101734*lam**11 - 287890132*lam**10 + 32967160008*lam**9 - 1634357991536*lam**8 + 29925111424384*lam**7 - 168144119646208*lam**6",
  "charpoly_13_coefficients": [
    1,
    -1792,
    1101734,
    -287890132,
    32967160008,
    -1634357991536,
    29925111424384,
    -168144119646208,
    0,
    0,
    0,
    0,
    0,
    0
  ],
  "resolvent_7": "(-29925111424384*x**6 + 3268715983072*x**5 - 98901480024*x**4 + 1151560528*x**3 - 5508670*x**2 + 10752*x - 7)/(168144119646208*x**7 - 29925111424384*x**6 + 1634357991536*x**5 - 32967160008*x**4 + 287890132*x**3 - 1101734*x**2 + 1792*x - 1)",
  "resolvent_7_numerator_coefficients": [
    -29925111424384,
    3268715983072,
    -98901480024,
    1151560528,
    -5508670,
    10752,
    -7
  ],
  "resolvent_7_denominator_coefficients": [
    168144119646208,
    -29925111424384,
    1634357991536,
    -32967160008,
    287890132,
    -1101734,
    1792,
    -1
  ],
  "resolvent_13": "(1008864717877248*x**7 - 209475779970688*x**6 + 13074863932288*x**5 - 296704440072*x**4 + 2878901320*x**3 - 12119074*x**2 + 21504*x - 13)/(168144119646208*x**7 - 29925111424384*x**6 + 1634357991536*x**5 - 32967160008*x**4 + 287890132*x**3 - 1101734*x**2 + 1792*x - 1)",
  "resolvent_13_numerator_coefficients": [
    1008864717877248,
    -209475779970688,
    13074863932288,
    -296704440072,
    2878901320,
    -12119074,
    21504,
    -13
  ],
  "resolvent_13_denominator_coefficients": [
    168144119646208,
    -29925111424384,
    1634357991536,
    -32967160008,
    287890132,
    -1101734,
    1792,
    -1
  ],
  "special_values": {
    "1_over_137": "6.4581433199465661236227817313532542299300583284587",
    "1_over_163": "4.3950509661179098698178665307605517329796578370242",
    "1_over_26": "4.5609723202357422630037779389819331123292300130978",
    "1_over_13": "2.4781670572630033478555818548161669123308940689734",
    "alpha": "6.4542481735169000613073588855673257765879972580797"
  },
  "resolvent_equation_roots": {
    "f(x)=137": [
      0.0012077563443659658,
      0.0020186394157720154,
      0.0036205313226137245,
      0.010116581824767951,
      0.012930211596244651,
      0.05106173907063287,
      0.0957184557349151
    ],
    "f(x)=137.036": [
      0.0012077589855210098,
      0.002018643629081197,
      0.0036205386606521363,
      0.010116603146578527,
      0.012930235861014397,
      0.05106183972731209,
      0.09571863657169911
    ],
    "f(x)=163": [
      0.0012093439827160055,
      0.0020211819630056482,
      0.0036249699885287424,
      0.010129439996961559,
      0.012944981498285508,
      0.051122759443785915,
      0.09582845251930398
    ]
  },
  "trace_powers": [
    7,
    1792,
    1007796,
    695333500,
    519744990248,
    404539626927832,
    322018984332670752,
    259663892341453733616,
    210973448498913560470816,
    172182257141545179549603232,
    140898330410509307271212178816,
    115481829854899015648999345071936,
    94740150570455236672453230173740928,
    77768060223879220858538757406576733056,
    63858118014589395868627858584845430607360,
    52446839123048993596378935861652438050615040,
    43079970540714047673034990264053228421381014016,
    35388578500949600378150528568489535106653651012096,
    29071656212460838624296279632221264684898542653143040,
    23882938592436851990205940353917846873770571047072191488,
    19620611151639248422900752449091192834752358415370220566528,
    16119121085095980406523642979506642025082764716001010396526592,
    13242580231613785559099648245960930986893658789391134759927767040,
    10879409431959712140511977712660615797257571836540865612771032526848,
    8937970132176287527544570960313623877150701923735553660785977151332352,
    7342991023912425355334362267154720012303318009083906828456156049059192832
  ],
  "recurrence_coeffs": [
    -1792,
    1101734,
    -287890132,
    32967160008,
    -1634357991536,
    29925111424384,
    -168144119646208
  ],
  "recurrence_checks": [
    {
      "n": 7,
      "trace": 259663892341453733616,
      "recurrence_value": 259663892341453733616,
      "matches": true
    },
    {
      "n": 8,
      "trace": 210973448498913560470816,
      "recurrence_value": 210973448498913560470816,
      "matches": true
    },
    {
      "n": 9,
      "trace": 172182257141545179549603232,
      "recurrence_value": 172182257141545179549603232,
      "matches": true
    },
    {
      "n": 10,
      "trace": 140898330410509307271212178816,
      "recurrence_value": 140898330410509307271212178816,
      "matches": true
    },
    {
      "n": 11,
      "trace": 115481829854899015648999345071936,
      "recurrence_value": 115481829854899015648999345071936,
      "matches": true
    },
    {
      "n": 12,
      "trace": 94740150570455236672453230173740928,
      "recurrence_value": 94740150570455236672453230173740928,
      "matches": true
    },
    {
      "n": 13,
      "trace": 77768060223879220858538757406576733056,
      "recurrence_value": 77768060223879220858538757406576733056,
      "matches": true
    },
    {
      "n": 14,
      "trace": 63858118014589395868627858584845430607360,
      "recurrence_value": 63858118014589395868627858584845430607360,
      "matches": true
    },
    {
      "n": 15,
      "trace": 52446839123048993596378935861652438050615040,
      "recurrence_value": 52446839123048993596378935861652438050615040,
      "matches": true
    },
    {
      "n": 16,
      "trace": 43079970540714047673034990264053228421381014016,
      "recurrence_value": 43079970540714047673034990264053228421381014016,
      "matches": true
    },
    {
      "n": 17,
      "trace": 35388578500949600378150528568489535106653651012096,
      "recurrence_value": 35388578500949600378150528568489535106653651012096,
      "matches": true
    },
    {
      "n": 18,
      "trace": 29071656212460838624296279632221264684898542653143040,
      "recurrence_value": 29071656212460838624296279632221264684898542653143040,
      "matches": true
    },
    {
      "n": 19,
      "trace": 23882938592436851990205940353917846873770571047072191488,
      "recurrence_value": 23882938592436851990205940353917846873770571047072191488,
      "matches": true
    },
    {
      "n": 20,
      "trace": 19620611151639248422900752449091192834752358415370220566528,
      "recurrence_value": 19620611151639248422900752449091192834752358415370220566528,
      "matches": true
    },
    {
      "n": 21,
      "trace": 16119121085095980406523642979506642025082764716001010396526592,
      "recurrence_value": 16119121085095980406523642979506642025082764716001010396526592,
      "matches": true
    },
    {
      "n": 22,
      "trace": 13242580231613785559099648245960930986893658789391134759927767040,
      "recurrence_value": 13242580231613785559099648245960930986893658789391134759927767040,
      "matches": true
    },
    {
      "n": 23,
      "trace": 10879409431959712140511977712660615797257571836540865612771032526848,
      "recurrence_value": 10879409431959712140511977712660615797257571836540865612771032526848,
      "matches": true
    },
    {
      "n": 24,
      "trace": 8937970132176287527544570960313623877150701923735553660785977151332352,
      "recurrence_value": 8937970132176287527544570960313623877150701923735553660785977151332352,
      "matches": true
    },
    {
      "n": 25,
      "trace": 7342991023912425355334362267154720012303318009083906828456156049059192832,
      "recurrence_value": 7342991023912425355334362267154720012303318009083906828456156049059192832,
      "matches": true
    }
  ],
  "recurrence_all_match": true,
  "numeric_full_operator_eigenvalues": [
    -5.0904471116982714e-14,
    -3.4580211781131825e-14,
    -1.4897625770551112e-14,
    6.906198918007131e-15,
    1.8947193150523197e-14,
    5.881913447338764e-14,
    10.371881134081775,
    19.439718777243456,
    76.7815405767042,
    98.09369154373766,
    274.1373051897651,
    491.62421002465726,
    821.5516527538093
  ],
  "numeric_gram_eigenvalues": [
    10.371881134081738,
    19.439718777243407,
    76.78154057670432,
    98.09369154373782,
    274.1373051897646,
    491.6242100246582,
    821.5516527538099
  ],
  "full_minus_gram_shift_max_abs_error": 9.663381206337363e-13
}