{
  "dimension": 2,
  "X_radius": 3.6,
  "Y_radius": 2.0,
  "cutoff_one_radius": 2.2,
  "cutoff_zero_radius": 3.0,
  "cutoff_formula": "S((r-2.2)/0.8), S(t)=b(1-t)/(b(t)+b(1-t)); b(t)=exp(-1/t) for t>0, zero otherwise",
  "atoms": [
    {
      "label": "A",
      "xy": [
        -1.2,
        0.3
      ],
      "mass": 1,
      "radius_squared_exact_decimal": "1.53",
      "retained_fraction": 1.0,
      "retained_mass": 1.0,
      "remainder_mass": 0.0
    },
    {
      "label": "B",
      "xy": [
        0.8,
        -0.7
      ],
      "mass": 2,
      "radius_squared_exact_decimal": "1.13",
      "retained_fraction": 1.0,
      "retained_mass": 2.0,
      "remainder_mass": 0.0
    },
    {
      "label": "C",
      "xy": [
        2.5,
        0.8
      ],
      "mass": 1,
      "radius_squared_exact_decimal": "6.89",
      "retained_fraction": 0.4378786551750924,
      "retained_mass": 0.4378786551750924,
      "remainder_mass": 0.5621213448249076
    },
    {
      "label": "D",
      "xy": [
        -2.8,
        -1.5
      ],
      "mass": 1,
      "radius_squared_exact_decimal": "10.09",
      "retained_fraction": 0.0,
      "retained_mass": 0.0,
      "remainder_mass": 1.0
    }
  ],
  "bubble_area_rule": "outer area=pi*(0.19)^2*mass; blue inner area=pi*(0.19)^2*retained_mass; orange annulus area=pi*(0.19)^2*remainder_mass",
  "kernel_convention": "Delta E_n=delta_0; E_2=log(r)/(2*pi); E_n=-r^(2-n)/((n-2)*s_n), n>2",
  "ball_average_radius": 1,
  "integrability_panel": {
    "dimension": 3,
    "p": [
      2,
      3,
      4
    ],
    "epsilon_range": [
      0.0001,
      0.9
    ],
    "J2": "1-epsilon",
    "J3": "log(1/epsilon)",
    "J4": "1/epsilon-1",
    "kernel_integral_multiplier": "(4*pi)^(1-p)"
  },
  "proof_locators": [
    "NP4",
    "NP6",
    "NP7",
    "NP10 Examples 1-3"
  ]
}