{
  "boundaries": [
    {
      "core": [],
      "density": null,
      "m": 0,
      "n": 0,
      "status": "NO_NONEMPTY_SET",
      "triangles": []
    },
    {
      "core": [
        0
      ],
      "density": "0",
      "m": 0,
      "n": 1,
      "status": "OPTIMAL",
      "triangles": []
    },
    {
      "core": [
        0,
        0,
        0,
        0
      ],
      "density": "0",
      "m": 0,
      "n": 4,
      "status": "OPTIMAL",
      "triangles": []
    },
    {
      "core": [
        1,
        1
      ],
      "density": "1/2",
      "m": 1,
      "n": 2,
      "status": "OPTIMAL",
      "triangles": []
    },
    {
      "core": [
        3,
        3,
        3,
        3,
        3,
        3
      ],
      "density": "3/2",
      "m": 9,
      "n": 6,
      "status": "OPTIMAL",
      "triangles": []
    }
  ],
  "bridge": {
    "exact": {
      "bracket": [
        "105/64",
        "6735/4096"
      ],
      "certificate": {
        "augmentations": 36,
        "cut": [
          16
        ],
        "flow": [
          70,
          46,
          42,
          46,
          42,
          46,
          42,
          46,
          126,
          46,
          112,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          28,
          46,
          14,
          28,
          0,
          0,
          4,
          0,
          4,
          0,
          4,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          4,
          0,
          14,
          0,
          14,
          0,
          14,
          0,
          14,
          0,
          10,
          0,
          4,
          0,
          4,
          0,
          14,
          0,
          4,
          0,
          4,
          0,
          4,
          0,
          4,
          0,
          8,
          0,
          14,
          0,
          14,
          0,
          14,
          0,
          0,
          2
        ],
        "value": 672
      },
      "density": "23/14",
      "flow_calls": 12,
      "history": [
        {
          "baseline": 192,
          "flow": 192,
          "side": [],
          "strict": false,
          "threshold": "15/4"
        },
        {
          "baseline": 384,
          "flow": 384,
          "side": [],
          "strict": false,
          "threshold": "15/8"
        },
        {
          "baseline": 768,
          "flow": 450,
          "side": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14
          ],
          "strict": true,
          "threshold": "15/16"
        },
        {
          "baseline": 1536,
          "flow": 1324,
          "side": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "45/32"
        },
        {
          "baseline": 3072,
          "flow": 3068,
          "side": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "105/64"
        },
        {
          "baseline": 6144,
          "flow": 6144,
          "side": [],
          "strict": false,
          "threshold": "225/128"
        },
        {
          "baseline": 12288,
          "flow": 12288,
          "side": [],
          "strict": false,
          "threshold": "435/256"
        },
        {
          "baseline": 24576,
          "flow": 24576,
          "side": [],
          "strict": false,
          "threshold": "855/512"
        },
        {
          "baseline": 49152,
          "flow": 49152,
          "side": [],
          "strict": false,
          "threshold": "1695/1024"
        },
        {
          "baseline": 98304,
          "flow": 98304,
          "side": [],
          "strict": false,
          "threshold": "3375/2048"
        },
        {
          "baseline": 196608,
          "flow": 196608,
          "side": [],
          "strict": false,
          "threshold": "6735/4096"
        }
      ],
      "status": "OPTIMAL",
      "vertices": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13
      ]
    },
    "m": 24,
    "n": 16,
    "peeling": {
      "approximation": [
        6,
        7,
        8,
        9,
        10,
        11,
        5,
        13,
        12,
        4,
        0,
        3,
        2,
        1
      ],
      "approximation_density": "23/14",
      "core": [
        3,
        3,
        3,
        3,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        1,
        0
      ],
      "degeneracy": 3,
      "history": [
        {
          "degree": 0,
          "edges": 24,
          "vertex": 15,
          "vertices": 16
        },
        {
          "degree": 1,
          "edges": 24,
          "vertex": 14,
          "vertices": 15
        },
        {
          "degree": 2,
          "edges": 23,
          "vertex": 6,
          "vertices": 14
        },
        {
          "degree": 2,
          "edges": 21,
          "vertex": 7,
          "vertices": 13
        },
        {
          "degree": 2,
          "edges": 19,
          "vertex": 8,
          "vertices": 12
        },
        {
          "degree": 2,
          "edges": 17,
          "vertex": 9,
          "vertices": 11
        },
        {
          "degree": 2,
          "edges": 15,
          "vertex": 10,
          "vertices": 10
        },
        {
          "degree": 2,
          "edges": 13,
          "vertex": 11,
          "vertices": 9
        },
        {
          "degree": 2,
          "edges": 11,
          "vertex": 5,
          "vertices": 8
        },
        {
          "degree": 1,
          "edges": 9,
          "vertex": 13,
          "vertices": 7
        },
        {
          "degree": 1,
          "edges": 8,
          "vertex": 12,
          "vertices": 6
        },
        {
          "degree": 1,
          "edges": 7,
          "vertex": 4,
          "vertices": 5
        },
        {
          "degree": 3,
          "edges": 6,
          "vertex": 0,
          "vertices": 4
        },
        {
          "degree": 2,
          "edges": 3,
          "vertex": 3,
          "vertices": 3
        },
        {
          "degree": 1,
          "edges": 1,
          "vertex": 2,
          "vertices": 2
        },
        {
          "degree": 0,
          "edges": 0,
          "vertex": 1,
          "vertices": 1
        }
      ],
      "order": [
        15,
        14,
        6,
        7,
        8,
        9,
        10,
        11,
        5,
        13,
        12,
        4,
        0,
        3,
        2,
        1
      ],
      "work": {
        "degree_updates": 24,
        "down": 4,
        "up": 4
      }
    },
    "triangles": {
      "max_outdegree": 3,
      "triangles": [
        [
          0,
          1,
          2
        ],
        [
          0,
          1,
          3
        ],
        [
          0,
          2,
          3
        ],
        [
          1,
          2,
          3
        ]
      ],
      "two_step_scans": 32
    }
  },
  "invalid_inputs": 4,
  "main": {
    "edges": [
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        0,
        3
      ],
      [
        1,
        2
      ],
      [
        1,
        3
      ],
      [
        2,
        3
      ],
      [
        4,
        6
      ],
      [
        4,
        7
      ],
      [
        4,
        8
      ],
      [
        4,
        9
      ],
      [
        4,
        10
      ],
      [
        4,
        11
      ],
      [
        4,
        12
      ],
      [
        4,
        13
      ],
      [
        5,
        6
      ],
      [
        5,
        7
      ],
      [
        5,
        8
      ],
      [
        5,
        9
      ],
      [
        5,
        10
      ],
      [
        5,
        11
      ],
      [
        5,
        12
      ],
      [
        5,
        13
      ],
      [
        0,
        14
      ]
    ],
    "exact": {
      "bracket": [
        "1635/1024",
        "6555/4096"
      ],
      "certificate": {
        "augmentations": 35,
        "cut": [
          16
        ],
        "flow": [
          20,
          16,
          15,
          16,
          15,
          16,
          15,
          16,
          40,
          16,
          40,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          10,
          16,
          5,
          6,
          0,
          0,
          1,
          0,
          1,
          0,
          1,
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          2,
          0,
          5,
          0,
          5,
          0,
          5,
          0,
          4,
          0,
          1,
          0,
          1,
          0,
          1,
          0,
          4,
          0,
          1,
          0,
          1,
          0,
          1,
          0,
          2,
          0,
          5,
          0,
          5,
          0,
          5,
          0,
          1,
          0
        ],
        "value": 230
      },
      "density": "8/5",
      "flow_calls": 12,
      "history": [
        {
          "baseline": 184,
          "flow": 184,
          "side": [],
          "strict": false,
          "threshold": "15/4"
        },
        {
          "baseline": 368,
          "flow": 368,
          "side": [],
          "strict": false,
          "threshold": "15/8"
        },
        {
          "baseline": 736,
          "flow": 450,
          "side": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            14
          ],
          "strict": true,
          "threshold": "15/16"
        },
        {
          "baseline": 1472,
          "flow": 1324,
          "side": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "45/32"
        },
        {
          "baseline": 2944,
          "flow": 2944,
          "side": [],
          "strict": false,
          "threshold": "105/64"
        },
        {
          "baseline": 5888,
          "flow": 5692,
          "side": [
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "195/128"
        },
        {
          "baseline": 11776,
          "flow": 11684,
          "side": [
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "405/256"
        },
        {
          "baseline": 23552,
          "flow": 23552,
          "side": [],
          "strict": false,
          "threshold": "825/512"
        },
        {
          "baseline": 47104,
          "flow": 47036,
          "side": [
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13
          ],
          "strict": true,
          "threshold": "1635/1024"
        },
        {
          "baseline": 94208,
          "flow": 94208,
          "side": [],
          "strict": false,
          "threshold": "3285/2048"
        },
        {
          "baseline": 188416,
          "flow": 188416,
          "side": [],
          "strict": false,
          "threshold": "6555/4096"
        }
      ],
      "status": "OPTIMAL",
      "vertices": [
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13
      ]
    },
    "m": 23,
    "n": 16,
    "peeling": {
      "approximation": [
        6,
        7,
        8,
        9,
        10,
        11,
        5,
        13,
        4,
        12,
        0,
        3,
        2,
        1
      ],
      "approximation_density": "11/7",
      "core": [
        3,
        3,
        3,
        3,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        2,
        1,
        0
      ],
      "degeneracy": 3,
      "history": [
        {
          "degree": 0,
          "edges": 23,
          "vertex": 15,
          "vertices": 16
        },
        {
          "degree": 1,
          "edges": 23,
          "vertex": 14,
          "vertices": 15
        },
        {
          "degree": 2,
          "edges": 22,
          "vertex": 6,
          "vertices": 14
        },
        {
          "degree": 2,
          "edges": 20,
          "vertex": 7,
          "vertices": 13
        },
        {
          "degree": 2,
          "edges": 18,
          "vertex": 8,
          "vertices": 12
        },
        {
          "degree": 2,
          "edges": 16,
          "vertex": 9,
          "vertices": 11
        },
        {
          "degree": 2,
          "edges": 14,
          "vertex": 10,
          "vertices": 10
        },
        {
          "degree": 2,
          "edges": 12,
          "vertex": 11,
          "vertices": 9
        },
        {
          "degree": 2,
          "edges": 10,
          "vertex": 5,
          "vertices": 8
        },
        {
          "degree": 1,
          "edges": 8,
          "vertex": 13,
          "vertices": 7
        },
        {
          "degree": 1,
          "edges": 7,
          "vertex": 4,
          "vertices": 6
        },
        {
          "degree": 0,
          "edges": 6,
          "vertex": 12,
          "vertices": 5
        },
        {
          "degree": 3,
          "edges": 6,
          "vertex": 0,
          "vertices": 4
        },
        {
          "degree": 2,
          "edges": 3,
          "vertex": 3,
          "vertices": 3
        },
        {
          "degree": 1,
          "edges": 1,
          "vertex": 2,
          "vertices": 2
        },
        {
          "degree": 0,
          "edges": 0,
          "vertex": 1,
          "vertices": 1
        }
      ],
      "order": [
        15,
        14,
        6,
        7,
        8,
        9,
        10,
        11,
        5,
        13,
        4,
        12,
        0,
        3,
        2,
        1
      ],
      "work": {
        "degree_updates": 23,
        "down": 5,
        "up": 5
      }
    },
    "thresholds": {
      "3/2": {
        "baseline": 92,
        "certificate": {
          "augmentations": 24,
          "cut": [
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            16
          ],
          "flow": [
            8,
            6,
            6,
            6,
            6,
            6,
            6,
            6,
            16,
            6,
            12,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            4,
            6,
            2,
            4,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            2,
            0
          ],
          "value": 88
        },
        "side": [
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13
        ],
        "strict": true
      },
      "31/20": {
        "baseline": 920,
        "certificate": {
          "augmentations": 35,
          "cut": [
            4,
            5,
            6,
            7,
            8,
            9,
            10,
            11,
            12,
            13,
            16
          ],
          "flow": [
            80,
            62,
            60,
            62,
            60,
            62,
            60,
            62,
            160,
            62,
            140,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            40,
            62,
            20,
            32,
            0,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            14,
            0,
            20,
            0,
            20,
            0,
            20,
            0,
            18,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            8,
            0,
            2,
            0,
            2,
            0,
            2,
            0,
            4,
            0,
            20,
            0,
            20,
            0,
            20,
            0,
            12,
            0
          ],
          "value": 900
        },
        "side": [
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13
        ],
        "strict": true
      },
      "8/5": {
        "baseline": 230,
        "certificate": {
          "augmentations": 35,
          "cut": [
            16
          ],
          "flow": [
            20,
            16,
            15,
            16,
            15,
            16,
            15,
            16,
            40,
            16,
            40,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            10,
            16,
            5,
            6,
            0,
            0,
            1,
            0,
            1,
            0,
            1,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            2,
            0,
            5,
            0,
            5,
            0,
            5,
            0,
            4,
            0,
            1,
            0,
            1,
            0,
            1,
            0,
            4,
            0,
            1,
            0,
            1,
            0,
            1,
            0,
            2,
            0,
            5,
            0,
            5,
            0,
            5,
            0,
            1,
            0
          ],
          "value": 230
        },
        "side": [],
        "strict": false
      }
    },
    "triangles": {
      "max_outdegree": 3,
      "triangles": [
        [
          0,
          1,
          2
        ],
        [
          0,
          1,
          3
        ],
        [
          0,
          2,
          3
        ],
        [
          1,
          2,
          3
        ]
      ],
      "two_step_scans": 27
    }
  },
  "star": {
    "arbitrary": {
      "max_outdegree": 4,
      "triangles": [],
      "two_step_scans": 16
    },
    "degeneracy": {
      "max_outdegree": 1,
      "triangles": [],
      "two_step_scans": 7
    }
  },
  "status": "PASS"
}