{
  "proof_locators": [
    "ISR.2\u2013ISR.13",
    "ISD.12",
    "ISF.9"
  ],
  "left_panel": "Exact balanced module diagram; no geometric scale",
  "rings_distinct": [
    "R-infinity",
    "decorated-special-E-infinity",
    "A-infinity",
    "full-E-infinity"
  ],
  "tensors": "ordinary algebraic",
  "nilpotent_J": [
    [
      0,
      1
    ],
    [
      0,
      0
    ]
  ],
  "sample_slice": {
    "tau": 1,
    "t": 0,
    "x": 0,
    "z": "1/k"
  },
  "inverse_samples": [
    {
      "k": 1,
      "z": "1",
      "row_sum_norm": 2
    },
    {
      "k": 2,
      "z": "1/2",
      "row_sum_norm": 6
    },
    {
      "k": 3,
      "z": "1/3",
      "row_sum_norm": 12
    },
    {
      "k": 4,
      "z": "1/4",
      "row_sum_norm": 20
    },
    {
      "k": 5,
      "z": "1/5",
      "row_sum_norm": 30
    },
    {
      "k": 6,
      "z": "1/6",
      "row_sum_norm": 42
    },
    {
      "k": 7,
      "z": "1/7",
      "row_sum_norm": 56
    },
    {
      "k": 8,
      "z": "1/8",
      "row_sum_norm": 72
    },
    {
      "k": 9,
      "z": "1/9",
      "row_sum_norm": 90
    },
    {
      "k": 10,
      "z": "1/10",
      "row_sum_norm": 110
    },
    {
      "k": 11,
      "z": "1/11",
      "row_sum_norm": 132
    },
    {
      "k": 12,
      "z": "1/12",
      "row_sum_norm": 156
    }
  ],
  "inverse_domain_excludes": "z=0",
  "faithful_proof_locator": "Section5.48, FEP.8\u2013FEP.9"
}