{
  "schema": "small-inverse-normal-sum-checks/v1",
  "field": "Q",
  "strict_deficiency_bounds": [
    {
      "a": "1/32",
      "kappa": "1/64",
      "upper_squared": "9/4096",
      "lower_squared": "63/64",
      "strict": true
    },
    {
      "a": "1/32",
      "kappa": "1/32",
      "upper_squared": "1/256",
      "lower_squared": "31/32",
      "strict": true
    },
    {
      "a": "1/32",
      "kappa": "3/64",
      "upper_squared": "25/4096",
      "lower_squared": "61/64",
      "strict": true
    },
    {
      "a": "1/32",
      "kappa": "1/16",
      "upper_squared": "9/1024",
      "lower_squared": "15/16",
      "strict": true
    }
  ],
  "circle_blocks": [
    {
      "n": 1,
      "k": -3,
      "matrix": [
        [
          -3,
          16
        ],
        [
          16,
          3
        ]
      ],
      "square": [
        [
          265,
          0
        ],
        [
          0,
          265
        ]
      ],
      "eigenvalue_squared": 265
    },
    {
      "n": 1,
      "k": 0,
      "matrix": [
        [
          0,
          16
        ],
        [
          16,
          0
        ]
      ],
      "square": [
        [
          256,
          0
        ],
        [
          0,
          256
        ]
      ],
      "eigenvalue_squared": 256
    },
    {
      "n": 1,
      "k": 5,
      "matrix": [
        [
          5,
          16
        ],
        [
          16,
          -5
        ]
      ],
      "square": [
        [
          281,
          0
        ],
        [
          0,
          281
        ]
      ],
      "eigenvalue_squared": 281
    },
    {
      "n": 2,
      "k": -3,
      "matrix": [
        [
          -3,
          32
        ],
        [
          32,
          3
        ]
      ],
      "square": [
        [
          1033,
          0
        ],
        [
          0,
          1033
        ]
      ],
      "eigenvalue_squared": 1033
    },
    {
      "n": 2,
      "k": 0,
      "matrix": [
        [
          0,
          32
        ],
        [
          32,
          0
        ]
      ],
      "square": [
        [
          1024,
          0
        ],
        [
          0,
          1024
        ]
      ],
      "eigenvalue_squared": 1024
    },
    {
      "n": 2,
      "k": 5,
      "matrix": [
        [
          5,
          32
        ],
        [
          32,
          -5
        ]
      ],
      "square": [
        [
          1049,
          0
        ],
        [
          0,
          1049
        ]
      ],
      "eigenvalue_squared": 1049
    },
    {
      "n": 3,
      "k": -3,
      "matrix": [
        [
          -3,
          48
        ],
        [
          48,
          3
        ]
      ],
      "square": [
        [
          2313,
          0
        ],
        [
          0,
          2313
        ]
      ],
      "eigenvalue_squared": 2313
    },
    {
      "n": 3,
      "k": 0,
      "matrix": [
        [
          0,
          48
        ],
        [
          48,
          0
        ]
      ],
      "square": [
        [
          2304,
          0
        ],
        [
          0,
          2304
        ]
      ],
      "eigenvalue_squared": 2304
    },
    {
      "n": 3,
      "k": 5,
      "matrix": [
        [
          5,
          48
        ],
        [
          48,
          -5
        ]
      ],
      "square": [
        [
          2329,
          0
        ],
        [
          0,
          2329
        ]
      ],
      "eigenvalue_squared": 2329
    },
    {
      "n": 4,
      "k": -3,
      "matrix": [
        [
          -3,
          64
        ],
        [
          64,
          3
        ]
      ],
      "square": [
        [
          4105,
          0
        ],
        [
          0,
          4105
        ]
      ],
      "eigenvalue_squared": 4105
    },
    {
      "n": 4,
      "k": 0,
      "matrix": [
        [
          0,
          64
        ],
        [
          64,
          0
        ]
      ],
      "square": [
        [
          4096,
          0
        ],
        [
          0,
          4096
        ]
      ],
      "eigenvalue_squared": 4096
    },
    {
      "n": 4,
      "k": 5,
      "matrix": [
        [
          5,
          64
        ],
        [
          64,
          -5
        ]
      ],
      "square": [
        [
          4121,
          0
        ],
        [
          0,
          4121
        ]
      ],
      "eigenvalue_squared": 4121
    }
  ],
  "nonzero_mixed_form": {
    "h": "1/32",
    "h_prime": "1/128",
    "vector": "(1,i)",
    "mass_norm_squared": "2048",
    "mixed_form": "-16",
    "bound_attained": true
  },
  "smallest_circle_gap": 16,
  "normal_realization_assumed_in_general_application": true,
  "original_physical_graph_class_proved": false,
  "original_Bott_comparison_proved": false,
  "finite_samples_prove_infinite_domain_claim": false,
  "canvas": [
    1800,
    1430
  ],
  "text_canvas_overflows": []
}