q = 4: |PGL(2,q)| = 60, subgroup classes 9, c_q brute force 5, formula 5, violations: none  [0s]
q = 5: |PGL(2,q)| = 120, subgroup classes 19, c_q brute force 8, formula 8, violations: none  [0s]
q = 7: |PGL(2,q)| = 336, subgroup classes 23, c_q brute force 16, formula 16, violations: none  [0s]
q = 8: |PGL(2,q)| = 504, subgroup classes 12, c_q brute force 9, formula 9, violations: none  [0s]
q = 9: |PGL(2,q)| = 720, subgroup classes 26, c_q brute force 16, formula 16, violations: none  [0s]
q = 11: |PGL(2,q)| = 1320, subgroup classes 29, c_q brute force 24, formula 24, violations: none  [0s]
q = 13: |PGL(2,q)| = 2184, subgroup classes 30, c_q brute force 24, formula 24, violations: none  [1s]
q = 16: |PGL(2,q)| = 4080, subgroup classes 21, c_q brute force 17, formula 17, violations: none  [2s]
q = 17: |PGL(2,q)| = 4896, subgroup classes 32, c_q brute force 32, formula 32, violations: none  [3s]
q = 19: |PGL(2,q)| = 6840, subgroup classes 36, c_q brute force 40, formula 40, violations: none  [5s]
q = 23: |PGL(2,q)| = 12144, subgroup classes 34, c_q brute force 48, formula 48, violations: none  [16s]
q = 25: |PGL(2,q)| = 15600, subgroup classes 43, c_q brute force 48, formula 48, violations: none  [29s]
