{
  "kind": "bounded set arithmetic",
  "configurations": 28,
  "receipt_set_pairs": 4699,
  "rows": [
    {
      "N": 1,
      "M": 1,
      "minimum_overlap": 1
    },
    {
      "N": 2,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 2,
      "M": 2,
      "minimum_overlap": 2
    },
    {
      "N": 3,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 3,
      "M": 2,
      "minimum_overlap": 1
    },
    {
      "N": 3,
      "M": 3,
      "minimum_overlap": 3
    },
    {
      "N": 4,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 4,
      "M": 2,
      "minimum_overlap": 0
    },
    {
      "N": 4,
      "M": 3,
      "minimum_overlap": 2
    },
    {
      "N": 4,
      "M": 4,
      "minimum_overlap": 4
    },
    {
      "N": 5,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 5,
      "M": 2,
      "minimum_overlap": 0
    },
    {
      "N": 5,
      "M": 3,
      "minimum_overlap": 1
    },
    {
      "N": 5,
      "M": 4,
      "minimum_overlap": 3
    },
    {
      "N": 5,
      "M": 5,
      "minimum_overlap": 5
    },
    {
      "N": 6,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 6,
      "M": 2,
      "minimum_overlap": 0
    },
    {
      "N": 6,
      "M": 3,
      "minimum_overlap": 0
    },
    {
      "N": 6,
      "M": 4,
      "minimum_overlap": 2
    },
    {
      "N": 6,
      "M": 5,
      "minimum_overlap": 4
    },
    {
      "N": 6,
      "M": 6,
      "minimum_overlap": 6
    },
    {
      "N": 7,
      "M": 1,
      "minimum_overlap": 0
    },
    {
      "N": 7,
      "M": 2,
      "minimum_overlap": 0
    },
    {
      "N": 7,
      "M": 3,
      "minimum_overlap": 0
    },
    {
      "N": 7,
      "M": 4,
      "minimum_overlap": 1
    },
    {
      "N": 7,
      "M": 5,
      "minimum_overlap": 3
    },
    {
      "N": 7,
      "M": 6,
      "minimum_overlap": 5
    },
    {
      "N": 7,
      "M": 7,
      "minimum_overlap": 7
    }
  ],
  "examples": [
    {
      "name": "split_honest_pool",
      "A": [
        0,
        1
      ],
      "B": [
        2,
        3
      ],
      "N": 4,
      "M": 2
    },
    {
      "name": "overlapping_quorums",
      "A": [
        0,
        1
      ],
      "B": [
        1,
        2
      ],
      "N": 3,
      "M": 2
    }
  ],
  "non_implication_examples": [
    {
      "name": "tip_accepts_rival_rejects",
      "tip_set": [
        0
      ],
      "tip_tally": 1,
      "rival_set": [
        0,
        1
      ],
      "rival_tally": 2,
      "receipt_signers": [
        0
      ],
      "tip_passes": true,
      "rival_passes": false
    },
    {
      "name": "rival_accepts_tip_rejects",
      "tip_set": [
        0
      ],
      "tip_tally": 1,
      "rival_set": [
        1
      ],
      "rival_tally": 1,
      "receipt_signers": [
        1
      ],
      "tip_passes": false,
      "rival_passes": true
    }
  ]
}