{
  "status": "PASS",
  "counts": {
    "circles": 1496,
    "linear_programs": 1824,
    "certificates": 1824,
    "clarkson": 31
  },
  "weighted_seed": 194,
  "weighted": {
    "status": "complete",
    "symbolic": [
      [
        "0",
        "0"
      ],
      [
        "1",
        "0"
      ]
    ],
    "result": {
      "status": "optimal",
      "point": [
        "0",
        "1"
      ],
      "M": 1,
      "symbolic": [
        [
          "0",
          "0"
        ],
        [
          "1",
          "0"
        ]
      ],
      "witness": [],
      "value": "0"
    },
    "weights": [
      4,
      2,
      2,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1
    ],
    "events": [
      {
        "draws": [
          17,
          39,
          90,
          99,
          64,
          111,
          113,
          110,
          104,
          95,
          36,
          27,
          43,
          106,
          31,
          55,
          26,
          37,
          90,
          119,
          70,
          22,
          54,
          54,
          102,
          117,
          42,
          113,
          56,
          120,
          54,
          23,
          87,
          108,
          98,
          67,
          105,
          124,
          40,
          107,
          126,
          76,
          89,
          105,
          68,
          36,
          82,
          83,
          106,
          123,
          71,
          31,
          81,
          126
        ],
        "selected": [
          17,
          22,
          23,
          26,
          27,
          31,
          36,
          37,
          39,
          40,
          42,
          43,
          54,
          55,
          56,
          64,
          67,
          68,
          70,
          71,
          76,
          81,
          82,
          83,
          87,
          89,
          90,
          95,
          98,
          99,
          102,
          104,
          105,
          106,
          107,
          108,
          110,
          111,
          113,
          117,
          119,
          120,
          123,
          124,
          126
        ],
        "total_weight": 128,
        "violating_weight": 17,
        "violators": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13,
          14,
          15,
          16
        ],
        "accepted": false
      },
      {
        "draws": [
          40,
          100,
          87,
          23,
          23,
          48,
          87,
          26,
          17,
          103,
          26,
          29,
          108,
          40,
          88,
          93,
          17,
          46,
          85,
          10,
          3,
          35,
          92,
          26,
          53,
          106,
          17,
          103,
          115,
          35,
          101,
          107,
          100,
          127,
          105,
          41,
          5,
          88,
          17,
          95,
          55,
          55,
          19,
          122,
          92,
          15,
          82,
          123,
          82,
          56,
          105,
          24,
          56,
          6
        ],
        "selected": [
          3,
          5,
          6,
          10,
          15,
          17,
          19,
          23,
          24,
          26,
          29,
          35,
          40,
          41,
          46,
          48,
          53,
          55,
          56,
          82,
          85,
          87,
          88,
          92,
          93,
          95,
          100,
          101,
          103,
          105,
          106,
          107,
          108,
          115,
          122,
          123,
          127
        ],
        "total_weight": 128,
        "violating_weight": 3,
        "violators": [
          0,
          1,
          2
        ],
        "accepted": true
      },
      {
        "draws": [
          97,
          57,
          52,
          119,
          111,
          14,
          57,
          9,
          113,
          2,
          1,
          21,
          55,
          9,
          81,
          50,
          75,
          64,
          92,
          16,
          121,
          8,
          37,
          46,
          2,
          28,
          125,
          74,
          36,
          118,
          2,
          100,
          38,
          69,
          17,
          96,
          64,
          54,
          6,
          55,
          95,
          99,
          56,
          15,
          22,
          44,
          85,
          63,
          40,
          125,
          69,
          100,
          96,
          78
        ],
        "selected": [
          1,
          2,
          6,
          8,
          9,
          14,
          15,
          16,
          17,
          21,
          22,
          28,
          36,
          37,
          38,
          40,
          44,
          46,
          50,
          52,
          54,
          55,
          56,
          57,
          63,
          64,
          69,
          74,
          75,
          78,
          81,
          85,
          92,
          95,
          96,
          97,
          99,
          100,
          111,
          113,
          118,
          119,
          121,
          125
        ],
        "total_weight": 131,
        "violating_weight": 2,
        "violators": [
          0
        ],
        "accepted": true
      },
      {
        "draws": [
          56,
          67,
          66,
          112,
          0,
          6,
          53,
          60,
          96,
          93,
          37,
          88,
          8,
          32,
          74,
          0,
          96,
          49,
          63,
          105,
          37,
          96,
          119,
          48,
          79,
          38,
          41,
          21,
          34,
          66,
          98,
          102,
          46,
          79,
          114,
          1,
          107,
          69,
          58,
          108,
          6,
          103,
          85,
          85,
          58,
          69,
          124,
          65,
          98,
          4,
          76,
          21,
          26,
          59
        ],
        "selected": [
          0,
          1,
          4,
          6,
          8,
          21,
          26,
          32,
          34,
          37,
          38,
          41,
          46,
          48,
          49,
          53,
          56,
          58,
          59,
          60,
          63,
          65,
          66,
          67,
          69,
          74,
          76,
          79,
          85,
          88,
          93,
          96,
          98,
          102,
          103,
          105,
          107,
          108,
          112,
          114,
          119,
          124
        ],
        "total_weight": 133,
        "violating_weight": 0,
        "violators": [],
        "accepted": true
      }
    ],
    "stats": {
      "trials": 4,
      "accepted": 2,
      "rejected": 1,
      "tests": 512
    }
  },
  "circle": {
    "circle": [
      [
        "2",
        "1"
      ],
      "5"
    ],
    "certificate": [
      [
        0,
        "1/4"
      ],
      [
        1,
        "5/12"
      ],
      [
        2,
        "1/3"
      ]
    ],
    "stats": {
      "nodes": 29,
      "tests": 16,
      "violations": 12,
      "swaps": 16,
      "max_stack": 7
    },
    "events": [
      {
        "prefix": 1,
        "point": 0,
        "forced": [],
        "before": null
      },
      {
        "prefix": 2,
        "point": 5,
        "forced": [],
        "before": [
          [
            "0",
            "0"
          ],
          "0"
        ]
      },
      {
        "prefix": 1,
        "point": 0,
        "forced": [
          5
        ],
        "before": [
          [
            "2",
            "0"
          ],
          "0"
        ]
      },
      {
        "prefix": 3,
        "point": 1,
        "forced": [],
        "before": [
          [
            "1",
            "0"
          ],
          "1"
        ]
      },
      {
        "prefix": 1,
        "point": 5,
        "forced": [
          1
        ],
        "before": [
          [
            "4",
            "0"
          ],
          "0"
        ]
      },
      {
        "prefix": 2,
        "point": 0,
        "forced": [
          1
        ],
        "before": [
          [
            "3",
            "0"
          ],
          "1"
        ]
      },
      {
        "prefix": 4,
        "point": 2,
        "forced": [],
        "before": [
          [
            "2",
            "0"
          ],
          "4"
        ]
      },
      {
        "prefix": 1,
        "point": 0,
        "forced": [
          2
        ],
        "before": [
          [
            "1",
            "3"
          ],
          "0"
        ]
      },
      {
        "prefix": 2,
        "point": 5,
        "forced": [
          2
        ],
        "before": [
          [
            "1/2",
            "3/2"
          ],
          "5/2"
        ]
      },
      {
        "prefix": 1,
        "point": 0,
        "forced": [
          2,
          5
        ],
        "before": [
          [
            "3/2",
            "3/2"
          ],
          "5/2"
        ]
      },
      {
        "prefix": 3,
        "point": 1,
        "forced": [
          2
        ],
        "before": [
          [
            "1",
            "4/3"
          ],
          "25/9"
        ]
      },
      {
        "prefix": 1,
        "point": 0,
        "forced": [
          2,
          1
        ],
        "before": [
          [
            "5/2",
            "3/2"
          ],
          "9/2"
        ]
      }
    ]
  },
  "lp": {
    "result": {
      "status": "optimal",
      "point": [
        "3",
        "2"
      ],
      "M": 1,
      "symbolic": [
        [
          "0",
          "3"
        ],
        [
          "0",
          "2"
        ]
      ],
      "witness": [
        5,
        4
      ],
      "value": "13"
    },
    "order": [
      4,
      0,
      5,
      3,
      1,
      2
    ],
    "stats": {
      "tests": 6,
      "repairs": 3,
      "boundary_rows": 3
    },
    "events": [
      {
        "position": 0,
        "constraint": 4,
        "before": [
          [
            "1",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "after": [
          [
            "1",
            "0"
          ],
          [
            "-1",
            "5"
          ]
        ],
        "active_or_conflict": [
          4
        ]
      },
      {
        "position": 1,
        "constraint": 0,
        "before": [
          [
            "1",
            "0"
          ],
          [
            "-1",
            "5"
          ]
        ],
        "after": [
          [
            "0",
            "4"
          ],
          [
            "0",
            "1"
          ]
        ],
        "active_or_conflict": [
          0,
          4
        ]
      },
      {
        "position": 2,
        "constraint": 5,
        "before": [
          [
            "0",
            "4"
          ],
          [
            "0",
            "1"
          ]
        ],
        "after": [
          [
            "0",
            "3"
          ],
          [
            "0",
            "2"
          ]
        ],
        "active_or_conflict": [
          5,
          4
        ]
      }
    ]
  },
  "boundaries": [
    {
      "result": {
        "status": "optimal",
        "point": [
          "0",
          "100"
        ],
        "M": 100,
        "symbolic": [
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "witness": [
          0
        ],
        "value": "0"
      },
      "order": [
        0,
        1
      ],
      "stats": {
        "tests": 2,
        "repairs": 1,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "optimal",
        "point": [
          "1",
          "1"
        ],
        "M": 1,
        "symbolic": [
          [
            "1",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "witness": [],
        "value": "0"
      },
      "order": [],
      "stats": {
        "tests": 0,
        "repairs": 0,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "unbounded",
        "point": [
          "1",
          "1"
        ],
        "M": 1,
        "symbolic": [
          [
            "1",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "witness": [],
        "ray": [
          "1",
          "1"
        ]
      },
      "order": [],
      "stats": {
        "tests": 0,
        "repairs": 0,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "optimal",
        "point": [
          "0",
          "1"
        ],
        "M": 1,
        "symbolic": [
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "witness": [
          0
        ],
        "value": "0"
      },
      "order": [
        0
      ],
      "stats": {
        "tests": 1,
        "repairs": 1,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "unbounded",
        "point": [
          "0",
          "1"
        ],
        "M": 1,
        "symbolic": [
          [
            "0",
            "0"
          ],
          [
            "1",
            "0"
          ]
        ],
        "witness": [
          0
        ],
        "ray": [
          "0",
          "1"
        ]
      },
      "order": [
        0,
        1
      ],
      "stats": {
        "tests": 2,
        "repairs": 1,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "infeasible",
        "witness": [
          0
        ]
      },
      "order": [
        0
      ],
      "stats": {
        "tests": 1,
        "repairs": 1,
        "boundary_rows": 0
      },
      "events": []
    },
    {
      "result": {
        "status": "infeasible",
        "witness": [
          1,
          0
        ]
      },
      "order": [
        0,
        1
      ],
      "stats": {
        "tests": 2,
        "repairs": 2,
        "boundary_rows": 1
      },
      "events": []
    },
    {
      "result": {
        "status": "infeasible",
        "witness": [
          1,
          0,
          2
        ]
      },
      "order": [
        0,
        2,
        1
      ],
      "stats": {
        "tests": 3,
        "repairs": 2,
        "boundary_rows": 2
      },
      "events": []
    }
  ]
}