g~:  10
r: 4


 b =  6 



Example  # 1
-- C~ --
G~ Id: SmallGroup <12, 2>
G~ name: C12
GrpPC : G of order 12 = 2^2 * 3
PC-Relations:
    G.1^2 = G.3, 
    G.2^3 = Id(G), 
    G.3^2 = Id(G)
generating vector: [ G.1 * G.3, G.1 * G.2^2 * G.3, G.1 * G.2^2 * G.3, G.1 * 
G.2^2 * G.3 ]
signature: [ 4, 12, 12, 12 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 1, 2, 1, 2, 0, 1, 0, 1, 2, 0 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.3
branch points: 6
verify (B1): true
verify (B2): false
-- C --
G Id: SmallGroup <6, 2>
G name: C6
GrpPC : H of order 6 = 2 * 3
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H)
generating vector: [ H.1, H.1 * H.2^2, H.1 * H.2^2, H.1 * H.2^2 ]
signature: [ 2, 6, 6, 6 ]
genus: 4
decomp H^0(K_C): [ 0, 1, 1, 0, 0, 2 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 2
-- C~ --
G~ Id: SmallGroup <12, 2>
G~ name: C12
GrpPC : G of order 12 = 2^2 * 3
PC-Relations:
    G.1^2 = G.3, 
    G.2^3 = Id(G), 
    G.3^2 = Id(G)
generating vector: [ G.2^2 * G.3, G.2^2 * G.3, G.1 * G.2 * G.3, G.1 * G.2 ]
signature: [ 6, 6, 12, 12 ]
genus: 10
decomp H^0(K_C~): [ 0, 1, 0, 1, 1, 0, 2, 0, 1, 2, 0, 2 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.3
branch points: 6
verify (B1): true
verify (B2): true
-- C --
G Id: SmallGroup <6, 2>
G name: C6
GrpPC : H of order 6 = 2 * 3
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H)
generating vector: [ H.2^2, H.2^2, H.1 * H.2, H.1 * H.2 ]
signature: [ 3, 3, 6, 6 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 1, 2, 1, 0 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 3
-- C~ --
G~ Id: SmallGroup <18, 5>
G~ name: C3*C6
GrpPC : G of order 18 = 2 * 3^2
PC-Relations:
    G.1^2 = Id(G), 
    G.2^3 = Id(G), 
    G.3^3 = Id(G)
generating vector: [ G.2 * G.3, G.2 * G.3^2, G.1 * G.2^2, G.1 * G.2^2 ]
signature: [ 3, 3, 6, 6 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 1, 0, 1, 2, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.1
branch points: 6
verify (B1): true
verify (B2): true
-- C --
G Id: SmallGroup <9, 2>
G name: C3^2
GrpPC : H of order 9 = 3^2
PC-Relations:
    H.1^3 = Id(H), 
    H.2^3 = Id(H)
generating vector: [ H.1 * H.2, H.1 * H.2^2, H.1^2, H.1^2 ]
signature: [ 3, 3, 3, 3 ]
genus: 4
decomp H^0(K_C): [ 0, 1, 1, 0, 1, 0, 0, 1, 0 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 4
-- C~ --
G~ Id: SmallGroup <18, 5>
G~ name: C3*C6
GrpPC : G of order 18 = 2 * 3^2
PC-Relations:
    G.1^2 = Id(G), 
    G.2^3 = Id(G), 
    G.3^3 = Id(G)
generating vector: [ G.3, G.2^2, G.1 * G.2, G.1 * G.3^2 ]
signature: [ 3, 3, 6, 6 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 2, 1, 1 ]
N~ = dim S^2H^0(K_C~)^G~ = 3
sigma: G.1
branch points: 6
verify (B1): true
verify (B2): false
-- C --
G Id: SmallGroup <9, 2>
G name: C3^2
GrpPC : H of order 9 = 3^2
PC-Relations:
    H.1^3 = Id(H), 
    H.2^3 = Id(H)
generating vector: [ H.2, H.1^2, H.1, H.2^2 ]
signature: [ 3, 3, 3, 3 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 0, 0, 1, 1, 0, 1, 1 ]
N = dim S^2H^0(K_C)^G = 2

Example  # 5
-- C~ --
G~ Id: SmallGroup <24, 10>
G~ name: C3*D4
GrpPC : G of order 24 = 2^3 * 3
PC-Relations:
    G.1^2 = Id(G), 
    G.2^2 = Id(G), 
    G.3^3 = Id(G), 
    G.4^2 = Id(G), 
    G.2^G.1 = G.2 * G.4
generating vector: [ G.1, G.2 * G.4, G.3^2 * G.4, G.1 * G.2 * G.3 * G.4 ]
signature: [ 2, 2, 6, 12 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 2 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.4
branch points: 6
verify (B1): false
verify (B2): true
-- C --
G Id: SmallGroup <12, 5>
G name: C2*C6
GrpPC : H of order 12 = 2^2 * 3
PC-Relations:
    H.1^2 = Id(H), 
    H.2^2 = Id(H), 
    H.3^3 = Id(H)
generating vector: [ H.1, H.2, H.3^2, H.1 * H.2 * H.3 ]
signature: [ 2, 2, 3, 6 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 6
-- C~ --
G~ Id: SmallGroup <24, 3>
G~ name: SL(2,3)
GrpPC : G of order 24 = 2^3 * 3
PC-Relations:
    G.1^3 = Id(G), 
    G.2^2 = G.4, 
    G.3^2 = G.4, 
    G.4^2 = Id(G), 
    G.2^G.1 = G.3, 
    G.3^G.1 = G.2 * G.3, 
    G.3^G.2 = G.3 * G.4
generating vector: [ G.1^2 * G.2 * G.3 * G.4, G.1^2 * G.2 * G.4, G.1^2, G.3 ]
signature: [ 3, 3, 3, 4 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 1, 2, 0, 1, 1 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.4
branch points: 6
verify (B1): false
verify (B2): false
-- C --
G Id: SmallGroup <12, 3>
G name: A4
GrpPC : H of order 12 = 2^2 * 3
PC-Relations:
    H.1^3 = Id(H), 
    H.2^2 = Id(H), 
    H.3^2 = Id(H), 
    H.2^H.1 = H.3, 
    H.3^H.1 = H.2 * H.3
generating vector: [ H.1^2 * H.2 * H.3, H.1^2 * H.2, H.1^2, H.3 ]
signature: [ 3, 3, 3, 2 ]
genus: 4
decomp H^0(K_C): [ 0, 1, 0, 1 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 7
-- C~ --
G~ Id: SmallGroup <36, 12>
G~ name: C6*S3
GrpPC : G of order 36 = 2^2 * 3^2
PC-Relations:
    G.1^2 = Id(G), 
    G.2^2 = Id(G), 
    G.3^3 = Id(G), 
    G.4^3 = Id(G), 
    G.4^G.1 = G.4^2
generating vector: [ G.1 * G.4, G.1 * G.2 * G.4^2, G.3^2, G.2 * G.3 * G.4^2 ]
signature: [ 2, 2, 3, 6 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.2
branch points: 6
verify (B1): false
verify (B2): false
-- C --
G Id: SmallGroup <18, 3>
G name: C3*S3
GrpPC : H of order 18 = 2 * 3^2
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H), 
    H.3^3 = Id(H), 
    H.3^H.1 = H.3^2
generating vector: [ H.1 * H.3, H.1 * H.3^2, H.2^2, H.2 * H.3^2 ]
signature: [ 2, 2, 3, 3 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 1, 1, 0, 0, 0, 0, 1 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 8
-- C~ --
G~ Id: SmallGroup <36, 12>
G~ name: C6*S3
GrpPC : G of order 36 = 2^2 * 3^2
PC-Relations:
    G.1^2 = Id(G), 
    G.2^2 = Id(G), 
    G.3^3 = Id(G), 
    G.4^3 = Id(G), 
    G.4^G.1 = G.4^2
generating vector: [ G.1 * G.2, G.1 * G.4, G.3^2 * G.4^2, G.2 * G.3 ]
signature: [ 2, 2, 3, 6 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0 ]
N~ = dim S^2H^0(K_C~)^G~ = 2
sigma: G.2
branch points: 6
verify (B1): false
verify (B2): true
-- C --
G Id: SmallGroup <18, 3>
G name: C3*S3
GrpPC : H of order 18 = 2 * 3^2
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H), 
    H.3^3 = Id(H), 
    H.3^H.1 = H.3^2
generating vector: [ H.1, H.1 * H.3, H.2^2 * H.3^2, H.2 ]
signature: [ 2, 2, 3, 3 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 1, 1, 0, 0, 0, 1, 0 ]
N = dim S^2H^0(K_C)^G = 1

Example  # 9
-- C~ --
G~ Id: SmallGroup <36, 12>
G~ name: C6*S3
GrpPC : G of order 36 = 2^2 * 3^2
PC-Relations:
    G.1^2 = Id(G), 
    G.2^2 = Id(G), 
    G.3^3 = Id(G), 
    G.4^3 = Id(G), 
    G.4^G.1 = G.4^2
generating vector: [ G.1 * G.4^2, G.1 * G.2 * G.4^2, G.3^2 * G.4, G.2 * G.3 * 
G.4^2 ]
signature: [ 2, 2, 3, 6 ]
genus: 10
decomp H^0(K_C~): [ 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0 ]
N~ = dim S^2H^0(K_C~)^G~ = 3
sigma: G.2
branch points: 6
verify (B1): false
verify (B2): false
-- C --
G Id: SmallGroup <18, 3>
G name: C3*S3
GrpPC : H of order 18 = 2 * 3^2
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H), 
    H.3^3 = Id(H), 
    H.3^H.1 = H.3^2
generating vector: [ H.1 * H.3^2, H.1 * H.3^2, H.2^2 * H.3, H.2 * H.3^2 ]
signature: [ 2, 2, 3, 3 ]
genus: 4
decomp H^0(K_C): [ 0, 0, 1, 1, 0, 0, 1, 0, 0 ]
N = dim S^2H^0(K_C)^G = 2

Example  # 10
-- C~ --
G~ Id: SmallGroup <48, 29>
G~ name: GL(2,3)
GrpPC : G of order 48 = 2^4 * 3
PC-Relations:
    G.1^2 = Id(G), 
    G.2^3 = Id(G), 
    G.3^2 = G.5, 
    G.4^2 = G.5, 
    G.5^2 = Id(G), 
    G.2^G.1 = G.2^2, 
    G.3^G.1 = G.4, 
    G.3^G.2 = G.4 * G.5, 
    G.4^G.1 = G.3, 
    G.4^G.2 = G.3 * G.4, 
    G.4^G.3 = G.4 * G.5
generating vector: [ G.1 * G.5, G.1 * G.3 * G.4 * G.5, G.1 * G.2 * G.4, G.1 * 
G.2 * G.3 * G.5 ]
signature: [ 2, 2, 2, 8 ]
genus: 10
decomp H^0(K_C~): [ 0, 1, 0, 1, 0, 1, 0, 1 ]
N~ = dim S^2H^0(K_C~)^G~ = 3
sigma: G.5
branch points: 6
verify (B1): false
verify (B2): false
-- C --
G Id: SmallGroup <24, 12>
G name: S4
GrpPC : H of order 24 = 2^3 * 3
PC-Relations:
    H.1^2 = Id(H), 
    H.2^3 = Id(H), 
    H.3^2 = Id(H), 
    H.4^2 = Id(H), 
    H.2^H.1 = H.2^2, 
    H.3^H.1 = H.4, 
    H.3^H.2 = H.4, 
    H.4^H.1 = H.3, 
    H.4^H.2 = H.3 * H.4
generating vector: [ H.1, H.1 * H.3 * H.4, H.1 * H.2 * H.4, H.1 * H.2 * H.3 ]
signature: [ 2, 2, 2, 4 ]
genus: 4
decomp H^0(K_C): [ 0, 1, 0, 1, 0 ]
N = dim S^2H^0(K_C)^G = 2
10