joint rounding carry bridge.json

{
  "identity": "Q(L)-Q(b)-Q(r)=Q(z), z=L-Q(b)-Q(r)",
  "branches": {
    "-4": -5,
    "-3": -5,
    "-2": 0,
    "-1": 0,
    "0": 0,
    "1": 0,
    "2": 0,
    "3": 5,
    "4": 5
  },
  "rows": [
    {
      "row": "MT:Adam",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Seth",
      "z": 2,
      "carry": 0
    },
    {
      "row": "MT:Enosh",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Kenan",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Mahalalel",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Jared",
      "z": 2,
      "carry": 0
    },
    {
      "row": "MT:Enoch",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Methuselah",
      "z": 4,
      "carry": 5
    },
    {
      "row": "MT:Lamech",
      "z": 2,
      "carry": 0
    },
    {
      "row": "MT:Noah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Shem",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Arphaxad",
      "z": -2,
      "carry": 0
    },
    {
      "row": "MT:Shelah",
      "z": -2,
      "carry": 0
    },
    {
      "row": "MT:Eber",
      "z": -1,
      "carry": 0
    },
    {
      "row": "MT:Peleg",
      "z": -1,
      "carry": 0
    },
    {
      "row": "MT:Reu",
      "z": 4,
      "carry": 5
    },
    {
      "row": "MT:Serug",
      "z": 0,
      "carry": 0
    },
    {
      "row": "MT:Nahor",
      "z": -2,
      "carry": 0
    },
    {
      "row": "MT:Terah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Adam",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Seth",
      "z": 2,
      "carry": 0
    },
    {
      "row": "SP:Enosh",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Kenan",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Mahalalel",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Enoch",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Noah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Shem",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Arphaxad",
      "z": -2,
      "carry": 0
    },
    {
      "row": "SP:Shelah",
      "z": -2,
      "carry": 0
    },
    {
      "row": "SP:Eber",
      "z": -1,
      "carry": 0
    },
    {
      "row": "SP:Peleg",
      "z": -1,
      "carry": 0
    },
    {
      "row": "SP:Reu",
      "z": 4,
      "carry": 5
    },
    {
      "row": "SP:Serug",
      "z": 0,
      "carry": 0
    },
    {
      "row": "SP:Nahor",
      "z": -2,
      "carry": 0
    },
    {
      "row": "SP:Terah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Adam",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Seth",
      "z": 2,
      "carry": 0
    },
    {
      "row": "LXX:Enosh",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Kenan",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Mahalalel",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Jared",
      "z": 2,
      "carry": 0
    },
    {
      "row": "LXX:Enoch",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Methuselah",
      "z": 4,
      "carry": 5
    },
    {
      "row": "LXX:Lamech",
      "z": 3,
      "carry": 5
    },
    {
      "row": "LXX:Noah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Shem",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Arphaxad",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Cainan2",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Shelah",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Eber",
      "z": -1,
      "carry": 0
    },
    {
      "row": "LXX:Peleg",
      "z": -1,
      "carry": 0
    },
    {
      "row": "LXX:Reu",
      "z": 4,
      "carry": 5
    },
    {
      "row": "LXX:Serug",
      "z": 0,
      "carry": 0
    },
    {
      "row": "LXX:Nahor",
      "z": -2,
      "carry": 0
    },
    {
      "row": "LXX:Terah",
      "z": 0,
      "carry": 0
    }
  ],
  "proof": "Q commutes with translation by multiples of5; B+R is such a multiple."
}