{
  "result": "PASS",
  "examples": {
    "robin_insertions": [
      {
        "insert": 0,
        "slots": [
          [
            0,
            0,
            0
          ],
          null,
          null,
          null,
          null,
          null,
          null,
          null
        ],
        "swaps": []
      },
      {
        "insert": 1,
        "slots": [
          [
            0,
            0,
            0
          ],
          [
            1,
            10,
            0
          ],
          null,
          null,
          null,
          null,
          null,
          null
        ],
        "swaps": []
      },
      {
        "insert": 8,
        "slots": [
          [
            0,
            0,
            0
          ],
          [
            8,
            80,
            1
          ],
          [
            1,
            10,
            1
          ],
          null,
          null,
          null,
          null,
          null
        ],
        "swaps": [
          {
            "at": 1,
            "incoming": 8,
            "displaced": 1
          }
        ]
      },
      {
        "insert": 16,
        "slots": [
          [
            0,
            0,
            0
          ],
          [
            8,
            80,
            1
          ],
          [
            16,
            160,
            2
          ],
          [
            1,
            10,
            2
          ],
          null,
          null,
          null,
          null
        ],
        "swaps": [
          {
            "at": 2,
            "incoming": 16,
            "displaced": 1
          }
        ]
      },
      {
        "insert": 2,
        "slots": [
          [
            0,
            0,
            0
          ],
          [
            8,
            80,
            1
          ],
          [
            16,
            160,
            2
          ],
          [
            1,
            10,
            2
          ],
          [
            2,
            20,
            2
          ],
          null,
          null,
          null
        ],
        "swaps": []
      }
    ],
    "robin_delete_8": {
      "slots": [
        [
          0,
          0,
          0
        ],
        [
          16,
          160,
          1
        ],
        [
          1,
          10,
          1
        ],
        [
          2,
          20,
          1
        ],
        null,
        null,
        null,
        null
      ],
      "moves": [
        {
          "key": 16,
          "from": 2,
          "to": 1,
          "new_distance": 1
        },
        {
          "key": 1,
          "from": 3,
          "to": 2,
          "new_distance": 1
        },
        {
          "key": 2,
          "from": 4,
          "to": 3,
          "new_distance": 1
        }
      ]
    },
    "robin_not_globally_monotone": [
      0,
      1,
      2,
      1
    ],
    "hop_two_moves": {
      "slots": [
        [
          0,
          0
        ],
        [
          8,
          80
        ],
        [
          2,
          20
        ],
        [
          1,
          10
        ],
        [
          4,
          40
        ],
        [
          3,
          30
        ],
        null,
        null
      ],
      "bitmap": [
        "011",
        "100",
        "001",
        "100",
        "001",
        "000",
        "000",
        "000"
      ],
      "moves": [
        {
          "key": 3,
          "home": 3,
          "from": 3,
          "to": 5,
          "old_hole_offset": 5,
          "new_hole_offset": 3
        },
        {
          "key": 1,
          "home": 1,
          "from": 1,
          "to": 3,
          "old_hole_offset": 3,
          "new_hole_offset": 1
        }
      ]
    },
    "hop_capacity_failure_with_empty_slots": true,
    "quotient_insertions": [
      {
        "insert": 9,
        "remainders": [
          0,
          1,
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "O": [
          false,
          true,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "C": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "S": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "decoded": [
          9
        ]
      },
      {
        "insert": 11,
        "remainders": [
          0,
          1,
          3,
          0,
          0,
          0,
          0,
          0
        ],
        "O": [
          false,
          true,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "C": [
          false,
          false,
          true,
          false,
          false,
          false,
          false,
          false
        ],
        "S": [
          false,
          false,
          true,
          false,
          false,
          false,
          false,
          false
        ],
        "decoded": [
          9,
          11
        ]
      },
      {
        "insert": 18,
        "remainders": [
          0,
          1,
          3,
          2,
          0,
          0,
          0,
          0
        ],
        "O": [
          false,
          true,
          true,
          false,
          false,
          false,
          false,
          false
        ],
        "C": [
          false,
          false,
          true,
          false,
          false,
          false,
          false,
          false
        ],
        "S": [
          false,
          false,
          true,
          true,
          false,
          false,
          false,
          false
        ],
        "decoded": [
          9,
          11,
          18
        ]
      },
      {
        "insert": 10,
        "remainders": [
          0,
          1,
          2,
          3,
          2,
          0,
          0,
          0
        ],
        "O": [
          false,
          true,
          true,
          false,
          false,
          false,
          false,
          false
        ],
        "C": [
          false,
          false,
          true,
          true,
          false,
          false,
          false,
          false
        ],
        "S": [
          false,
          false,
          true,
          true,
          true,
          false,
          false,
          false
        ],
        "decoded": [
          9,
          10,
          11,
          18
        ]
      },
      {
        "insert": 58,
        "remainders": [
          0,
          1,
          2,
          3,
          2,
          0,
          0,
          2
        ],
        "O": [
          false,
          true,
          true,
          false,
          false,
          false,
          false,
          true
        ],
        "C": [
          false,
          false,
          true,
          true,
          false,
          false,
          false,
          false
        ],
        "S": [
          false,
          false,
          true,
          true,
          true,
          false,
          false,
          false
        ],
        "decoded": [
          9,
          10,
          11,
          18,
          58
        ]
      },
      {
        "insert": 59,
        "remainders": [
          3,
          1,
          2,
          3,
          2,
          0,
          0,
          2
        ],
        "O": [
          false,
          true,
          true,
          false,
          false,
          false,
          false,
          true
        ],
        "C": [
          true,
          false,
          true,
          true,
          false,
          false,
          false,
          false
        ],
        "S": [
          true,
          false,
          true,
          true,
          true,
          false,
          false,
          false
        ],
        "decoded": [
          58,
          59,
          9,
          10,
          11,
          18
        ]
      },
      {
        "insert": 1,
        "remainders": [
          3,
          1,
          1,
          2,
          3,
          2,
          0,
          2
        ],
        "O": [
          true,
          true,
          true,
          false,
          false,
          false,
          false,
          true
        ],
        "C": [
          true,
          false,
          false,
          true,
          true,
          false,
          false,
          false
        ],
        "S": [
          true,
          true,
          true,
          true,
          true,
          true,
          false,
          false
        ],
        "decoded": [
          58,
          59,
          1,
          9,
          10,
          11,
          18
        ]
      }
    ],
    "quotient_delete_10": {
      "remainders": [
        3,
        1,
        1,
        3,
        2,
        0,
        0,
        2
      ],
      "O": [
        true,
        true,
        true,
        false,
        false,
        false,
        false,
        true
      ],
      "C": [
        true,
        false,
        false,
        true,
        false,
        false,
        false,
        false
      ],
      "S": [
        true,
        true,
        true,
        true,
        true,
        false,
        false,
        false
      ],
      "decoded": [
        58,
        59,
        1,
        9,
        11,
        18
      ]
    },
    "duplicate_fingerprint_retained": true,
    "xor_edges": [
      [
        "a",
        [
          0,
          3,
          6
        ],
        1
      ],
      [
        "b",
        [
          0,
          4,
          6
        ],
        2
      ],
      [
        "c",
        [
          1,
          3,
          7
        ],
        4
      ],
      [
        "d",
        [
          1,
          4,
          8
        ],
        3
      ]
    ],
    "xor_build": {
      "b": 3,
      "r": 3,
      "data": [
        0,
        0,
        0,
        1,
        2,
        0,
        0,
        5,
        1
      ],
      "order": [
        [
          2,
          7
        ],
        [
          3,
          8
        ],
        [
          0,
          3
        ],
        [
          1,
          4
        ]
      ]
    }
  },
  "tabulation": {
    "random_tables_enumerated": 256,
    "three_outputs": 64,
    "each_triple_count": 4,
    "possible_quadruples": 64,
    "independent_quadruples_would_be": 256
  },
  "dictionaries": {
    "operation_counts": {
      "Robin": 78000,
      "Hop": 78000
    },
    "hop_failed_after_valid_moves": 274
  },
  "quotient_random_operations": 50000,
  "xor": {
    "graphs": 3500,
    "peeled": 2083,
    "stuck": 1417,
    "verified_member_equations": 16860,
    "consistent_unpeeled_core_solutions": 64,
    "absent_uniform_fp_accepts": [
      3
    ],
    "absent_uniform_fp_choices": 8
  }
}