{
  "dimension_N_for_panel_A": 4,
  "cochain_bidegrees": [
    [
      0,
      2
    ],
    [
      1,
      1
    ],
    [
      2,
      0
    ]
  ],
  "source_roof_real_shift": "2N",
  "coefficient_trace_complex_shift": "N",
  "epsilon": "1/4",
  "r": "1/32",
  "normal_w": [
    "1/32",
    "-1/4"
  ],
  "affine_vertices": [
    [
      "32",
      "0"
    ],
    [
      "-32",
      "-8"
    ]
  ],
  "affine_midpoint": [
    "0",
    "-4"
  ],
  "projective_path": "y(t)=epsilon*(1-exp(i*pi*t))/2",
  "exact_denominator": "r*exp(i*pi*t)",
  "path_bound": "abs(y(t))<=abs(epsilon)",
  "general_chart_containment_proved": false,
  "analytic_inverse_product_proved": false
}