transitive L-sets up to iso, degree <= 32: {1: 1, 6: 2, 7: 4, 8: 2, 10: 2, 13: 4, 14: 6, 15: 8, 18: 16, 20: 7, 21: 32, 22: 8, 24: 24, 25: 16, 26: 30, 27: 16, 28: 104, 29: 16, 30: 20, 31: 64, 32: 64}  (search nodes 6753247, 363.2s)
configurations (L_C-set = multiset of transitive L-sets + fixed points) tested, by degree: {6: 2, 7: 6, 8: 8, 9: 8, 10: 10, 11: 10, 12: 13, 13: 25, 14: 45, 15: 61, 16: 68, 17: 76, 18: 100, 19: 120, 20: 184, 21: 300, 22: 384, 23: 436, 24: 541, 25: 681, 26: 867, 27: 1203, 28: 1828, 29: 2264, 30: 2684, 31: 3376, 32: 4265}
total configurations 19565 ; first failing role counts {'D': 19565, 'E': 0, 'F': 0}
homomorphisms K -> Sym(n), n <= 32, with A != 1 found: 0
time 366.7s
