{{4 -> {1, 2, 3}} ->
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}},
{4 -> {1, 2, 3}} ->
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}},
{5 -> {1, 4, 6}, 6 -> {2, 3, 5}} ->
{5 -> {1, 6, 7}, 6 -> {2, 5, 8}, 7 -> {3, 5, 8}, 8 -> {4, 6, 7}},
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}} ->
{4 -> {1, 2, 3}},
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}} ->
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}},
{6 -> {1, 7, 8}, 7 -> {2, 3, 6}, 8 -> {4, 5, 6}} ->
{6 -> {7, 8, 9}, 7 -> {6, 8, 10}, 8 -> {1, 6, 7}, 9 -> {2, 3, 6}, 10 -> {4, 5, 7}},
{5 -> {6, 7, 8}, 6 -> {1, 5, 7}, 7 -> {2, 5, 6}, 8 -> {3, 4, 5}} ->
{5 -> {1, 2, 6}, 6 -> {3, 4, 5}},
{5 -> {6, 7, 8}, 6 -> {3, 5, 7}, 7 -> {4, 5, 6}, 8 -> {1, 2, 5}} ->
{5 -> {6, 7, 8}, 6 -> {1, 5, 7}, 7 -> {2, 5, 6}, 8 -> {3, 4, 5}},
{5 -> {6, 7, 8}, 6 -> {1, 5, 7}, 7 -> {4, 5, 6}, 8 -> {2, 3, 5}} ->
{5 -> {1, 6, 7}, 6 -> {2, 5, 8}, 7 -> {3, 5, 8}, 8 -> {4, 6, 7}},
{5 -> {1, 6, 7}, 6 -> {3, 5, 8}, 7 -> {4, 5, 8}, 8 -> {2, 6, 7}} ->
{5 -> {1, 2, 6}, 6 -> {3, 4, 5}},
{7 -> {1, 8, 9}, 8 -> {2, 7, 10}, 9 -> {3, 4, 7}, 10 -> {5, 6, 8}} ->
{7 -> {8, 9, 10}, 8 -> {1, 2, 7}, 9 -> {3, 4, 7}, 10 -> {5, 6, 7}},
{7 -> {1, 8, 9}, 8 -> {2, 7, 10}, 9 -> {5, 6, 7}, 10 -> {3, 4, 8}} ->
{7 -> {1, 8, 9}, 8 -> {2, 7, 10}, 9 -> {3, 4, 7}, 10 -> {5, 6, 8}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 7}, 6 -> {4, 5, 8}, 7 -> {1, 4, 5}, 8 -> {2, 3, 6}} ->
{4 -> {1, 2, 3}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 7}, 6 -> {4, 5, 8}, 7 -> {1, 4, 5}, 8 -> {2, 3, 6}} ->
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 7}, 6 -> {4, 5, 8}, 7 -> {1, 4, 5}, 8 -> {2, 3, 6}} ->
{4 -> {5, 6, 7}, 5 -> {4, 6, 8}, 6 -> {1, 4, 5}, 7 -> {2, 4, 8}, 8 -> {3, 5, 7}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 7}, 6 -> {4, 5, 8}, 7 -> {1, 4, 5}, 8 -> {2, 3, 6}} ->
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 8}, 6 -> {1, 4, 5}, 7 -> {2, 4, 8}, 8 -> {3, 5, 7}} ->
{4 -> {1, 2, 3}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 8}, 6 -> {1, 4, 5}, 7 -> {2, 4, 8}, 8 -> {3, 5, 7}} ->
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 8}, 6 -> {1, 4, 5}, 7 -> {2, 4, 8}, 8 -> {3, 5, 7}} ->
{4 -> {5, 6, 7}, 5 -> {4, 6, 7}, 6 -> {4, 5, 8}, 7 -> {1, 4, 5}, 8 -> {2, 3, 6}},
{4 -> {5, 6, 7}, 5 -> {4, 6, 8}, 6 -> {1, 4, 5}, 7 -> {2, 4, 8}, 8 -> {3, 5, 7}} ->
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}},
{6 -> {7, 8, 9}, 7 -> {6, 8, 10}, 8 -> {1, 6, 7}, 9 -> {2, 3, 6}, 10 -> {4, 5, 7}} ->
{6 -> {1, 7, 8}, 7 -> {2, 3, 6}, 8 -> {4, 5, 6}},
{6 -> {7, 8, 9}, 7 -> {2, 6, 8}, 8 -> {3, 6, 7}, 9 -> {1, 6, 10}, 10 -> {4, 5, 9}} ->
{6 -> {1, 7, 8}, 7 -> {2, 3, 6}, 8 -> {4, 5, 6}},
{6 -> {7, 8, 9}, 7 -> {2, 6, 8}, 8 -> {3, 6, 7}, 9 -> {1, 6, 10}, 10 -> {4, 5, 9}} ->
{6 -> {7, 8, 9}, 7 -> {6, 8, 10}, 8 -> {1, 6, 7}, 9 -> {2, 3, 6}, 10 -> {4, 5, 7}},
{6 -> {7, 8, 9}, 7 -> {4, 6, 8}, 8 -> {5, 6, 7}, 9 -> {3, 6, 10}, 10 -> {1, 2, 9}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 8}, 8 -> {2, 6, 7}, 9 -> {3, 6, 10}, 10 -> {4, 5, 9}},
{6 -> {7, 8, 9}, 7 -> {1, 6, 8}, 8 -> {2, 6, 7}, 9 -> {5, 6, 10}, 10 -> {3, 4, 9}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 10}, 8 -> {2, 6, 10}, 9 -> {3, 4, 6}, 10 -> {5, 7, 8}},
{6 -> {7, 8, 9}, 7 -> {3, 6, 8}, 8 -> {4, 6, 7}, 9 -> {5, 6, 10}, 10 -> {1, 2, 9}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 10}, 8 -> {2, 6, 10}, 9 -> {3, 4, 6}, 10 -> {5, 7, 8}},
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}} ->
{4 -> {1, 2, 3}},
{4 -> {5, 6, 7}, 5 -> {1, 4, 8}, 6 -> {2, 4, 8}, 7 -> {3, 4, 8}, 8 -> {5, 6, 7}} ->
{4 -> {1, 5, 6}, 5 -> {2, 4, 6}, 6 -> {3, 4, 5}},
{6 -> {7, 8, 9}, 7 -> {2, 6, 10}, 8 -> {3, 6, 10}, 9 -> {4, 5, 6}, 10 -> {1, 7, 8}} ->
{6 -> {1, 7, 8}, 7 -> {2, 3, 6}, 8 -> {4, 5, 6}},
{6 -> {7, 8, 9}, 7 -> {2, 6, 10}, 8 -> {3, 6, 10}, 9 -> {4, 5, 6}, 10 -> {1, 7, 8}} ->
{6 -> {7, 8, 9}, 7 -> {6, 8, 10}, 8 -> {1, 6, 7}, 9 -> {2, 3, 6}, 10 -> {4, 5, 7}},
{6 -> {7, 8, 9}, 7 -> {1, 6, 10}, 8 -> {2, 6, 10}, 9 -> {4, 5, 6}, 10 -> {3, 7, 8}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 8}, 8 -> {2, 6, 7}, 9 -> {3, 6, 10}, 10 -> {4, 5, 9}},
{6 -> {7, 8, 9}, 7 -> {4, 6, 10}, 8 -> {5, 6, 10}, 9 -> {1, 2, 6}, 10 -> {3, 7, 8}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 8}, 8 -> {2, 6, 7}, 9 -> {3, 6, 10}, 10 -> {4, 5, 9}},
{6 -> {7, 8, 9}, 7 -> {3, 6, 10}, 8 -> {4, 6, 10}, 9 -> {1, 2, 6}, 10 -> {5, 7, 8}} ->
{6 -> {7, 8, 9}, 7 -> {1, 6, 10}, 8 -> {2, 6, 10}, 9 -> {3, 4, 6}, 10 -> {5, 7, 8}},
{6 -> {1, 7, 8}, 7 -> {4, 6, 9}, 8 -> {5, 6, 10}, 9 -> {3, 7, 10}, 10 -> {2, 8, 9}} ->
{6 -> {1, 7, 8}, 7 -> {2, 6, 9}, 8 -> {3, 6, 10}, 9 -> {4, 7, 10}, 10 -> {5, 8, 9}},
{8 -> {1, 9, 10}, 9 -> {6, 8, 11}, 10 -> {7, 8, 12}, 11 -> {2, 3, 9}, 12 -> {4, 5, 10}} ->
{8 -> {9, 10, 11}, 9 -> {1, 8, 12}, 10 -> {2, 3, 8}, 11 -> {4, 5, 8}, 12 -> {6, 7, 9}},
{8 -> {1, 9, 10}, 9 -> {2, 8, 11}, 10 -> {3, 8, 12}, 11 -> {6, 7, 9}, 12 -> {4, 5, 10}} ->
{8 -> {1, 9, 10}, 9 -> {2, 8, 11}, 10 -> {3, 8, 12}, 11 -> {4, 5, 9}, 12 -> {6, 7, 10}}}