{
  "normal_dimension": 2,
  "fixed_phase": 0,
  "lambda_prime": "pi/4",
  "B_prime": "3/2",
  "epsilon": "1",
  "A": "3/sqrt(2)",
  "K_G": "sqrt(13/2)",
  "round_R": "1/32",
  "outer_coefficient_base_and_normal_radius": "1/4",
  "output_ball_r": "1/1024",
  "auxiliary_halfspace_a": "1/512",
  "auxiliary_norm_bound": "(1+3*sqrt(13/2))/1024",
  "inner_open_complex_ball_radius": "1/(32*sqrt(2))",
  "auxiliary_bound_strictly_inside_round_domain": true,
  "directional_Lipschitz_L": "1/8",
  "M_G": "sqrt(11/2)",
  "L_times_M_G": "sqrt(11/2)/8",
  "full_complex_norms_proved": true,
  "plot_slice": "Im(t)=Im(x)=0",
  "strict_module": "F=H1_(S*) q_(G*) O_Omega, over the whole canonical R=E(G;D_R)",
  "derived_object": "Gamma_S J_R(F)[-1]",
  "proof_locators": [
    "ID.1",
    "ID.2",
    "ID.3",
    "ID.4",
    "ID.5",
    "ID.6"
  ],
  "free_human_target": "https://perso.imj-prg.fr/pierre-schapira/wp-content/uploads/schapira-pub/Microhyp.pdf Corollary3.2.5",
  "ordinary_distribution_limit_asserted": false,
  "arbitrary_module_flatness_asserted": false,
  "license": "CC0-1.0"
}