transitive L-sets up to iso, degree <= 12: {1: 1, 6: 2, 7: 4, 8: 2, 10: 2}  (search nodes 2883, 0.1s)
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}
total configurations 57 ; first failing role counts {'D': 57, 'E': 0, 'F': 0}
homomorphisms K -> Sym(n), n <= 12, with A != 1 found: 0
time 0.1s
nice -n 10 python3 k1646_lsets.py 12  0.10s user 0.01s system 97% cpu 0.112 total
