== twist D
transitive L-sets read (degree <= 36): 1156
classes per degree: {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, 33: 64, 34: 128, 35: 96, 36: 422}
subgroups per index (sum n/|Aut|): {1: 1, 6: 12, 7: 28, 8: 16, 10: 20, 13: 52, 14: 56, 15: 120, 18: 264, 20: 120, 21: 672, 22: 176, 24: 448, 25: 400, 26: 624, 27: 432, 28: 2912, 29: 464, 30: 480, 31: 1984, 32: 2048, 33: 2112, 34: 4352, 35: 3360, 36: 14688}
comparison with the amalgam formula a_n(L), n = 1..36: ALL EQUAL
distinct transitive H-types met: 2301
elimination: rounds 2, surviving X-candidates 0, Y-candidates 0
non-fixed H-types on the X side: 1153, on the Y side: 1153, common: 6
RESULT twist=D N=36: NO action with A != 1 of degree <= 36
== twist E
transitive L-sets read (degree <= 36): 1156
classes per degree: {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, 33: 64, 34: 128, 35: 96, 36: 422}
subgroups per index (sum n/|Aut|): {1: 1, 6: 12, 7: 28, 8: 16, 10: 20, 13: 52, 14: 56, 15: 120, 18: 264, 20: 120, 21: 672, 22: 176, 24: 448, 25: 400, 26: 624, 27: 432, 28: 2912, 29: 464, 30: 480, 31: 1984, 32: 2048, 33: 2112, 34: 4352, 35: 3360, 36: 14688}
comparison with the amalgam formula a_n(L), n = 1..36: ALL EQUAL
distinct transitive H-types met: 2301
elimination: rounds 2, surviving X-candidates 0, Y-candidates 0
non-fixed H-types on the X side: 1153, on the Y side: 1153, common: 6
RESULT twist=E N=36: NO action with A != 1 of degree <= 36
== twist F
transitive L-sets read (degree <= 36): 1156
classes per degree: {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, 33: 64, 34: 128, 35: 96, 36: 422}
subgroups per index (sum n/|Aut|): {1: 1, 6: 12, 7: 28, 8: 16, 10: 20, 13: 52, 14: 56, 15: 120, 18: 264, 20: 120, 21: 672, 22: 176, 24: 448, 25: 400, 26: 624, 27: 432, 28: 2912, 29: 464, 30: 480, 31: 1984, 32: 2048, 33: 2112, 34: 4352, 35: 3360, 36: 14688}
comparison with the amalgam formula a_n(L), n = 1..36: ALL EQUAL
distinct transitive H-types met: 2275
elimination: rounds 2, surviving X-candidates 26, Y-candidates 26
non-fixed H-types on the X side: 1153, on the Y side: 1153, common: 32
SOLUTION FOUND: X components (degrees) [6], Y components (degrees) [6]
explicit action built and checked against the relators of <A,B,C,F>: True
RESULT twist=F N=36: an action with A != 1 EXISTS (degree <= 36)
== twist C
transitive L-sets read (degree <= 36): 1156
classes per degree: {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, 33: 64, 34: 128, 35: 96, 36: 422}
subgroups per index (sum n/|Aut|): {1: 1, 6: 12, 7: 28, 8: 16, 10: 20, 13: 52, 14: 56, 15: 120, 18: 264, 20: 120, 21: 672, 22: 176, 24: 448, 25: 400, 26: 624, 27: 432, 28: 2912, 29: 464, 30: 480, 31: 1984, 32: 2048, 33: 2112, 34: 4352, 35: 3360, 36: 14688}
comparison with the amalgam formula a_n(L), n = 1..36: ALL EQUAL
distinct transitive H-types met: 1154
elimination: rounds 1, surviving X-candidates 1155, Y-candidates 1155
non-fixed H-types on the X side: 1153, on the Y side: 1153, common: 1153
SOLUTION FOUND: X components (degrees) [6], Y components (degrees) [6]
explicit action built and checked against the relators of <A,B,C,C>: True
RESULT twist=C N=36: an action with A != 1 EXISTS (degree <= 36)
