{
  "phi_density": [
    [
      0.2,
      0.0
    ],
    [
      0.0,
      0.8
    ]
  ],
  "psi_density": [
    [
      0.49999999999999994,
      -0.3
    ],
    [
      -0.3,
      0.49999999999999994
    ]
  ],
  "common_density": [
    [
      1.0,
      0.0
    ],
    [
      0.0,
      3.0
    ]
  ],
  "tstar": 2.266180070913597,
  "base_cocycle": [
    [
      [
        -5.202957858763037e-17,
        -2.4259441786419377e-16
      ],
      [
        -0.9999999999999998,
        4.996003610813204e-16
      ]
    ],
    [
      [
        0.9999999999999998,
        -2.7755575615628914e-16
      ],
      [
        5.202957858763043e-17,
        2.4259441786419377e-16
      ]
    ]
  ],
  "upstairs_cocycle": [
    [
      [
        1.9103811149889867e-16,
        -3.37788964014665e-16
      ],
      [
        0.0,
        0.0
      ],
      [
        -0.9999999999999999,
        3.3306690738754696e-16
      ],
      [
        0.0,
        0.0
      ]
    ],
    [
      [
        0.0,
        0.0
      ],
      [
        2.103145713959457e-17,
        -1.398064173633052e-16
      ],
      [
        0.0,
        0.0
      ],
      [
        -0.9999999999999998,
        1.1102230246251565e-15
      ]
    ],
    [
      [
        1.0,
        -1.6653345369377348e-16
      ],
      [
        0.0,
        0.0
      ],
      [
        1.6118539897707613e-16,
        3.4930175471896284e-16
      ],
      [
        0.0,
        0.0
      ]
    ],
    [
      [
        0.0,
        0.0
      ],
      [
        0.9999999999999998,
        -7.216449660063518e-16
      ],
      [
        0.0,
        0.0
      ],
      [
        -2.1031457139594513e-17,
        1.3980641736330517e-16
      ]
    ]
  ],
  "exact_base_cocycle": [
    [
      0.0,
      -1.0
    ],
    [
      1.0,
      0.0
    ]
  ],
  "base_matrix_error_operator_norm": 7.092426521777774e-16,
  "tensor_cocycle_error_operator_norm": 1.174369063051105e-15,
  "cutoff_indices": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14
  ],
  "squared_gns_tails": [
    4.0,
    3.0,
    2.0,
    1.25,
    0.75,
    0.4375,
    0.25,
    0.140625,
    0.078125,
    0.04296875,
    0.0234375,
    0.0126953125,
    0.0068359375,
    0.003662109375,
    0.001953125
  ],
  "exact_tail_formula": "2*(k+2)*2^(-k)",
  "zero_counts": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12,
    13,
    14,
    15,
    16,
    17,
    18,
    19,
    20,
    21,
    22,
    23,
    24,
    25,
    26,
    27,
    28,
    29,
    30,
    31,
    32,
    33,
    34,
    35,
    36,
    37,
    38,
    39,
    40,
    41,
    42,
    43,
    44,
    45,
    46,
    47,
    48,
    49,
    50,
    51,
    52,
    53,
    54,
    55,
    56,
    57,
    58,
    59,
    60
  ],
  "finite_products": [
    0.3333333333333333,
    0.19999999999999998,
    0.14285714285714285,
    0.1111111111111111,
    0.09090909090909091,
    0.07692307692307693,
    0.06666666666666667,
    0.058823529411764705,
    0.05263157894736842,
    0.047619047619047616,
    0.04347826086956521,
    0.039999999999999994,
    0.037037037037037035,
    0.034482758620689655,
    0.03225806451612903,
    0.030303030303030304,
    0.02857142857142857,
    0.027027027027027025,
    0.025641025641025637,
    0.02439024390243902,
    0.02325581395348837,
    0.02222222222222222,
    0.02127659574468085,
    0.02040816326530612,
    0.0196078431372549,
    0.018867924528301886,
    0.01818181818181818,
    0.017543859649122806,
    0.01694915254237288,
    0.01639344262295082,
    0.015873015873015876,
    0.015384615384615387,
    0.014925373134328361,
    0.01449275362318841,
    0.014084507042253525,
    0.013698630136986306,
    0.013333333333333338,
    0.012987012987012991,
    0.012658227848101269,
    0.012345679012345682,
    0.01204819277108434,
    0.011764705882352943,
    0.01149425287356322,
    0.011235955056179777,
    0.01098901098901099,
    0.010752688172043012,
    0.010526315789473686,
    0.010309278350515465,
    0.010101010101010102,
    0.009900990099009901,
    0.00970873786407767,
    0.009523809523809525,
    0.009345794392523366,
    0.009174311926605505,
    0.009009009009009009,
    0.008849557522123894,
    0.008695652173913044,
    0.008547008547008546,
    0.008403361344537813,
    0.008264462809917354
  ],
  "exact_product": "1/(2*N+1)",
  "product_error": 2.7755575615628914e-17,
  "proof": "OVW-MODULAR-FIGURE.md OF1\u2013OF6; the numerical checks validate the renderer and do not establish the theorems."
}