{
  "schema": "AN02-analytic-functional-geometry151/v1",
  "carrier": {
    "n": 1,
    "K_interval": [
      -1,
      1
    ],
    "epsilon": 0.5,
    "L_closed_stadium": true,
    "x_extent": [
      -1.5,
      1.5
    ],
    "y_extent": [
      -0.5,
      0.5
    ],
    "distribution_real_dimension": 2
  },
  "graph": {
    "complex_ambient_dimension": 2,
    "complex_codimension": 1,
    "real_parameter_map": [
      "xi",
      "eta",
      "-eta",
      "xi"
    ],
    "imaginary_block": [
      "eta",
      "xi"
    ],
    "norm_factor": "sqrt(2)",
    "induced_volume_factor": 2,
    "sample_parameter": [
      3,
      4
    ],
    "sample_real_graph": [
      3,
      4,
      -4,
      3
    ],
    "sample_phi": 6.5,
    "growth_polynomial_exponent": 5,
    "right_panel_is_parameter_plane": true,
    "four_dimensional_spatial_graph_not_claimed": true
  },
  "growth_plot": {
    "positive_real_range": [
      0,
      144
    ],
    "series_relative_tail_tolerance": 2e-15,
    "upper_bound_epsilons": [
      0.25,
      0.1
    ],
    "lower_bound_single_term_degree": 8,
    "lower_bound_plotted_from": 16,
    "all_upper_bounds_identified_as_bounds": true,
    "series_values_numerical_not_a_proof": true
  },
  "proof_locators": [
    "AF4\u2013AF7",
    "AF9"
  ],
  "human_sources": [
    "H\u00f6rmander II, Theorem 15.1.5, p. 276",
    "H\u00f6rmander I, Definition 9.1.1, p. 326"
  ]
}