genus 2: 1 actions of order 16: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [False]
      action 1: no relator leaves K under conjugation by b, b^-1
genus 3: 2 actions of order 32: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [False, True]
      action 1: no relator leaves K under conjugation by b, b^-1
      action 2: relator 4 ((G.2 * G.3^-1)^2): b r b^-1 is in L, not in K
genus 5: 2 actions of order 64: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [True, False]
      action 1: relator 4 (G.3 * G.2 * G.1 * G.2^-1 * G.3^-1 * G.1): b r b^-1 is in L, not in K
      action 2: no relator leaves K under conjugation by b, b^-1
genus 9: 4 actions of order 128: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [True, True, True, True]
      action 1: relator 4 (G.3^2 * G.2^-1 * G.3 * G.2^2 * G.3^-2 * G.1): b r b^-1 is in L, not in K
      action 2: relator 4 (G.3 * G.2 * G.1 * G.2^-1 * G.3^-1 * G.1): b r b^-1 is in L, not in K
      action 3: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
      action 4: relator 4 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
genus 17: 4 actions of order 256: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [True, False, True, True]
      action 1: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
      action 2: no relator leaves K under conjugation by b, b^-1
      action 3: relator 5 (G.1 * G.3 * G.2^-1 * G.3 * G.2^-1 * G.3^-2 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 4: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
genus 33: 8 actions of order 512: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [True, True, True, True, False, True, True, True]
      action 1: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
      action 2: relator 5 ((G.1 * G.3^3 * G.2)^2): b r b^-1 is in L, not in K
      action 3: relator 5 ((G.1 * G.3^3 * G.2)^2): b r b^-1 is in L, not in K
      action 4: relator 5 (G.2 * G.3^-1 * G.2 * G.1 * G.2^2 * G.3^-1 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 5: no relator leaves K under conjugation by b, b^-1
      action 6: relator 5 (G.1 * G.3^2 * G.2 * G.1 * G.2^-1 * G.3^-2 * G.1 * G.2^-1 * G.3^-1): b r b^-1 is in L, not in K
      action 7: relator 5 (G.1 * G.3 * G.2^-1 * G.3 * G.2^-1 * G.3^-2 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 8: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
genus 65: 14 actions of order 1024: (a) OK; (b) kernels pairwise different, also up to reflection: True; (c) not normal in D: [True, True, True, True, True, True, True, True, True, True, True, False, True, True]
      action 1: relator 5 (G.1 * G.3^3 * G.2^-1 * G.3 * G.2^-1 * G.3^4 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 2: relator 5 (G.3^2 * G.2 * G.3^-1 * G.2 * G.1 * G.2^-1 * G.3^-2 * G.1 * G.2^-1 * G.3): b r b^-1 is in L, not in K
      action 3: relator 5 ((G.1 * G.3^3 * G.2)^2): b r b^-1 is in L, not in K
      action 4: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
      action 5: relator 5 ((G.1 * G.3^3 * G.2)^2): b r b^-1 is in L, not in K
      action 6: relator 5 (G.1 * G.3 * G.2 * G.3^-1 * G.2 * G.1 * G.2^-1 * G.3^-1 * G.1 * G.2^-1 * G.3^-1 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 7: relator 6 (G.1 * G.3^3 * G.2^-1 * G.3 * G.2^-1 * G.3^4 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 8: relator 6 (G.3 * G.2^-1 * G.3 * G.2 * G.3^-1 * G.2 * G.3^-1 * G.1 * G.2^-1 * G.3^2 * G.2^-1 * G.3): b r b^-1 is in L, not in K
      action 9: relator 5 (G.2 * G.3^-1 * G.2 * G.1 * G.2^2 * G.3^-1 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 10: relator 5 (G.2 * G.3^-1 * G.2 * G.1 * G.2^2 * G.3^-1 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 11: relator 5 (G.1 * G.3^3 * G.2^-1 * G.3 * G.2^-1 * G.3^4 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 12: no relator leaves K under conjugation by b, b^-1
      action 13: relator 5 (G.2 * G.3^-1 * G.2 * G.1 * G.2^2 * G.3^-1 * G.2 * G.3^-1): b r b^-1 is in L, not in K
      action 14: relator 5 ((G.3^-1 * G.2 * G.3^-2)^2): b r b^-1 is in L, not in K
