MUG9 = Graph({1:[6, 9, 2, 3], 2:[3, 8, 4], 3:[7, 5], 4:[5, 6], 5:[9], 6:[7, 9], 7:[8], 8:[9]}) MUG10 = Graph({1:[2, 3, 4, 10], 2:[3, 5, 9], 3:[8, 6], 4:[5, 6], 5:[7, 8], 6:[7, 9], 7:[10], 8:[10], 9:[10]}) MUG11a = Graph({1:[2, 5, 6], 2:[4, 3, 10], 3:[5, 11], 4:[6, 7, 8], 5:[7, 8], 6:[7, 9], 7:[10], 8:[9, 11], 9:[10], 10:[11]}) MUG11b = Graph({1:[2, 6, 7, 10], 2:[3, 5], 3:[4, 9, 11], 4:[5, 7], 5:[6, 8], 6:[9], 7:[8, 10], 8:[9], 9:[11], 10:[11]}) MUG12a = Graph({1:[2, 3, 5], 2:[4, 6, 12], 3:[6, 7, 11], 4:[8, 10], 5:[9, 11], 6:[9, 11], 7:[9, 12, 8], 8:[9], 9:[10], 10:[12], 11:[12]}) MUG12b = Graph({1:[2, 4, 6, 8, 9], 2:[3, 8, 10], 3:[5, 6], 4:[5, 11], 5:[9], 6:[9, 11, 7], 7:[8, 10], 8:[12], 9:[12, 10], 11:[12]}) MUG12c = Graph({1:[3, 4, 12], 2:[3, 11, 5], 3:[4, 5], 4:[6, 8], 5:[7, 9], 6:[7, 8], 7:[9], 8:[10, 11], 9:[10, 12], 10:[11, 12]}) MUGs = [MUG9, MUG10, MUG11a, MUG11b, MUG12a, MUG12b, MUG12c]