{
  "schema": "fast-magnitude-resolvent-checks/v1",
  "mode_matrices": [
    [
      [
        0,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1
      ],
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0
      ]
    ],
    [
      [
        0,
        1,
        0,
        0
      ],
      [
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        -1
      ],
      [
        0,
        0,
        -1,
        0
      ]
    ]
  ],
  "normalized_phase_numerator": [
    [
      0,
      11,
      10,
      0
    ],
    [
      11,
      0,
      0,
      10
    ],
    [
      10,
      0,
      0,
      -11
    ],
    [
      0,
      10,
      -11,
      0
    ]
  ],
  "normalized_tangent_numerator": [
    [
      0,
      -10,
      11,
      0
    ],
    [
      -10,
      0,
      0,
      11
    ],
    [
      11,
      0,
      0,
      10
    ],
    [
      0,
      11,
      10,
      0
    ]
  ],
  "clifford_phase_and_tangent_squares": 221,
  "clifford_phase_tangent_anticommutator_zero": true,
  "total_occupation": 2,
  "retained_shift": 5,
  "fast_square": 2682,
  "fast_square_derivative": 672,
  "phase_derivative_norm": "11/221",
  "normal_kappa_derivative_norm": "1/32",
  "weighted_normal_derivative_hs_norm": "5/32",
  "normal_resolvent_bound_constant": "7/64",
  "inverse_derivative_numerator": "22926182148/48841",
  "exact_integer_samples": [
    {
      "lambda_value": 1,
      "derivative_norm_squared": "22926182148/2527084489500390625",
      "proved_bound_squared": "49/4096",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 4,
      "derivative_norm_squared": "5731545537/631773757273480900",
      "proved_bound_squared": "49/16384",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 16,
      "derivative_norm_squared": "5731545537/631815916394880100",
      "proved_bound_squared": "49/65536",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 64,
      "derivative_norm_squared": "5731545537/632490653637696100",
      "proved_bound_squared": "49/262144",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 256,
      "derivative_norm_squared": "5731545537/643335422432524900",
      "proved_bound_squared": "49/1048576",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 1024,
      "derivative_norm_squared": "5731545537/829388788051622500",
      "proved_bound_squared": "49/4194304",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 2682,
      "derivative_norm_squared": "636838393/280787087429067024",
      "proved_bound_squared": "49/10985472",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 4096,
      "derivative_norm_squared": "5731545537/7015731252827404900",
      "proved_bound_squared": "49/16777216",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 16384,
      "derivative_norm_squared": "5731545537/927626296096016448100",
      "proved_bound_squared": "49/67108864",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    },
    {
      "lambda_value": 65536,
      "derivative_norm_squared": "5731545537/225994441197721831488100",
      "proved_bound_squared": "49/268435456",
      "exact_inverse_derivative_identity_checked": true,
      "exact_rational_bound_checked": true
    }
  ],
  "numerical_curve_samples": 101,
  "all_matrix_and_exact_fraction_checks": true,
  "actual_regular_coefficient_auxiliary_proved": true,
  "actual_closed_normal_resolvent_domain_rule_proved": true,
  "coefficient_identity_algebra": "C0(Y)",
  "original_unit_R_realization_proved": false,
  "completed_physical_graph_sum_proved": false,
  "original_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1710
  ],
  "text_canvas_overflows": []
}