{
  "pairs": {
    "144900": [
      {
        "id": "cumulative_Levi_upper",
        "R": 1936,
        "M": 146836
      },
      {
        "id": "cumulative_Levi_lower",
        "R": 1933,
        "M": 146833
      }
    ],
    "143520": [
      {
        "id": "apparent_Covenant",
        "R": 2081,
        "M": 145601
      },
      {
        "id": "Creation_offering",
        "R": 2051,
        "M": 145571
      }
    ]
  },
  "proof": {
    "body": "B=12(C\u2212R)",
    "kernel": "(C,R)\u2192(C+t,R+t) keeps B fixed",
    "lost": "one placement coordinate and all semantic labels",
    "recovery": "given B and R, C=R+B/12 and M=R+B"
  }
}