## Begin on: Tue Oct 15 08:57:37 CEST 2019

ENUMERATION
No. of records: 96

FAMILY (oriented family) : isomorphism classes
1     [ E1b] : 10 (6 non-degenerate)
2     [ E3b] : 18 (8 non-degenerate)
2*    [E3*b] : 18 (8 non-degenerate)
2ex   [E3*c] : 0
2*ex  [ E3c] : 0
2P    [  E2] : 1 (0 non-degenerate)
2Pex  [ E1a] : 0
3     [ E5a] : 44 (5 non-degenerate)
4     [  E4] : 2 (1 non-degenerate)
4*    [ E4*] : 2 (1 non-degenerate)
4P    [  E6] : 1 (0 non-degenerate)
5     [ E3a] : 0
5*    [E3*a] : 0
5P    [ E5b] : 0

E2.1 :: Family: { 4P } :: Oriented family(ies): { E6 }
Signature :: (1; {2, 2})
Quotient :: toric
Aut^+ = C2 (small group id <2, 1>)
Aut   = C2 x C2 (small group id <4, 2>)
|r| :: 2
Presentation :: [ A, B, A, B, Z^2, S^2, (S * Z)^2, S * A * S * B, (Z * A * B^-1 * A^-1 * B)^2 ]
Map::
	R = (1, 4, 6, 8, 2, 3, 5, 7)
	L = (1, 5)(2, 6)(3, 7)(4, 8)
	local type(s) :: { ( 8^8 ) }
Outer automorphisms :: reflexible selfdual
Transitivity :: VT+
Graph::
	v = 1 e = 4 f = 1
	degree seq :: [ 8 ]

E2.2 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 4, 4})
Quotient :: dipole
Aut^+ = C4 (small group id <4, 1>)
Aut   = D8 (small group id <8, 3>)
|r| :: 2
Presentation :: [ Y3, Y3, Y1^2, R^2, Y1 * Y2^2, (Y3^-1 * Y1)^2, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^4 ]
Map::
	R = (1, 5, 2, 6)(3, 7, 4, 8)(9, 13, 11, 15, 10, 14, 12, 16)
	L = (1, 9)(2, 10)(3, 11)(4, 12)(5, 13)(6, 14)(7, 15)(8, 16)
	local type(s) :: { ( 4, 8, 4, 8 ), ( 4, 8, 4, 8, 4, 8, 4, 8 ) }
Outer automorphisms :: reflexible selfdual
Graph:: bipartite
	v = 3 e = 8 f = 3
	degree seq :: [ 4^2, 8 ]

E2.3 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {5, 5, 5})
Quotient :: edge
Aut^+ = C5 (small group id <5, 1>)
Aut   = D10 (small group id <10, 1>)
|r| :: 2
Presentation :: [ F^2, T1^2 * T2^-1, T1 * T2^2, (F * T1)^2, (F * T2)^2 ]
Map:: non-degenerate
	R = (1, 3, 4, 2, 5)(6, 7, 8, 10, 9)
	L = (1, 6)(2, 7)(3, 8)(4, 9)(5, 10)
	local type(s) :: { ( 10^5 ) }
Outer automorphisms :: reflexible
Dual of E2.4
Transitivity :: ET+
Graph:: bipartite
	v = 2 e = 5 f = 1
	degree seq :: [ 5^2 ]

E2.4 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {5, 5, 5})
Quotient :: loop
Aut^+ = C5 (small group id <5, 1>)
Aut   = D10 (small group id <10, 1>)
|r| :: 2
Presentation :: [ F^2, T2 * T1^-1, (F * T1)^2, (F * T2)^2, T1^5, T2^5, (T2^-1 * T1^-1)^5 ]
Map:: non-degenerate
	R = (1, 6, 2, 7, 4, 9, 5, 10, 3, 8)
	L = (1, 7)(2, 9)(3, 6)(4, 10)(5, 8)
	local type(s) :: { ( 5^10 ) }
Outer automorphisms :: reflexible
Dual of E2.3
Transitivity :: ET+ VT+ AT
Graph::
	v = 1 e = 5 f = 2
	degree seq :: [ 10 ]

E2.5 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {5, 5, 5})
Quotient :: dipole
Aut^+ = C5 (small group id <5, 1>)
Aut   = D10 (small group id <10, 1>)
|r| :: 2
Presentation :: [ R^2, Y3^-1 * Y1^-1, Y1^2 * Y2^-1, Y1 * Y2^2, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^5 ]
Map::
	R = (1, 6, 2, 7, 3, 8, 5, 10, 4, 9)(11, 16, 13, 18, 14, 19, 12, 17, 15, 20)
	L = (1, 14)(2, 11)(3, 12)(4, 15)(5, 13)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
	local type(s) :: { ( 2, 10, 2, 10, 2, 10, 2, 10, 2, 10 ) }
Outer automorphisms :: reflexible
Dual of E2.6
Graph:: bipartite
	v = 2 e = 10 f = 6
	degree seq :: [ 10^2 ]

E2.6 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {5, 5, 5})
Quotient :: dipole
Aut^+ = C5 (small group id <5, 1>)
Aut   = D10 (small group id <10, 1>)
|r| :: 2
Presentation :: [ Y1, R^2, Y2 * Y3, (R * Y1)^2, (R * Y3)^2, Y2^5, (Y3 * Y2^-1)^5, (Y3^-1 * Y1^-1)^5 ]
Map::
	R = (1, 6)(2, 7)(3, 8)(4, 9)(5, 10)(11, 16, 12, 17, 14, 19, 15, 20, 13, 18)
	L = (1, 13)(2, 11)(3, 15)(4, 12)(5, 14)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
	local type(s) :: { ( 10, 10 ), ( 10^10 ) }
Outer automorphisms :: reflexible
Dual of E2.5
Graph:: bipartite
	v = 6 e = 10 f = 2
	degree seq :: [ 2^5, 10 ]

E2.7 :: Family: { 2P } :: Oriented family(ies): { E2 }
Signature :: (0; {2, 2, 3, 3})
Quotient :: halfedge^2
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y2^2, Y3^2, R^2, Y3 * Y2, Y1^3, (R * Y1)^2, R * Y2 * R * Y3, (Y2 * Y1^-1)^2 ]
Map::
	R = (1, 8, 2, 10, 4, 7)(3, 12, 6, 11, 5, 9)
	L = (1, 3)(2, 5)(4, 6)(7, 9)(8, 11)(10, 12)
	local type(s) :: { ( 6^6 ) }
Outer automorphisms :: reflexible selfdual
Transitivity :: VT+ AT
Graph:: bipartite
	v = 2 e = 6 f = 2
	degree seq :: [ 6^2 ]

E2.8 :: Family: { 4 } :: Oriented family(ies): { E4 }
Signature :: (0; {2, 2, 3, 3})
Quotient :: edge^2
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y1^2, Y2^2, R^2, Y2 * Y1, Y3^3, R * Y1 * R * Y2, (R * Y3)^2, (Y3 * Y1)^2 ]
Map::
	R = (1, 7, 3, 9, 4, 10)(2, 8, 5, 11, 6, 12)(13, 14)(15, 18)(16, 17)(19, 20)(21, 24)(22, 23)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 12, 12 ), ( 12^6 ) }
Outer automorphisms :: reflexible
Dual of E2.10
Graph:: simple bipartite
	v = 8 e = 12 f = 2
	degree seq :: [ 2^6, 6^2 ]

E2.9 :: Family: { 4 } :: Oriented family(ies): { E4 }
Signature :: (0; {2, 2, 3, 3})
Quotient :: edge^2
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y3^2, R^2, Y1^-1 * Y2^-1, Y1^3, Y2^3, R * Y1 * R * Y2, (R * Y3)^2, Y3 * Y1 * Y3 * Y2^-1 ]
Map:: non-degenerate
	R = (1, 7, 4, 10)(2, 8, 5, 11)(3, 9, 6, 12)(13, 14, 15)(16, 18, 17)(19, 21, 20)(22, 23, 24)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 8^3 ), ( 8^4 ) }
Outer automorphisms :: reflexible
Dual of E2.11
Graph:: simple bipartite
	v = 7 e = 12 f = 3
	degree seq :: [ 3^4, 4^3 ]

E2.10 :: Family: { 4* } :: Oriented family(ies): { E4* }
Signature :: (0; {2, 2, 3, 3})
Quotient :: loop^2
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y1^2, Y2^2, R^2, Y2 * Y1, Y3^3, R * Y1 * R * Y2, (R * Y3)^2, (Y3 * Y1)^2 ]
Map::
	R = (1, 7, 13, 19, 3, 9, 15, 21, 4, 10, 16, 22)(2, 8, 14, 20, 5, 11, 17, 23, 6, 12, 18, 24)
	L = (1, 8)(2, 7)(3, 12)(4, 11)(5, 10)(6, 9)(13, 20)(14, 19)(15, 24)(16, 23)(17, 22)(18, 21)
	local type(s) :: { ( 2, 6, 2, 6, 2, 6, 2, 6, 2, 6, 2, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.8
Transitivity :: VT+
Graph:: bipartite
	v = 2 e = 12 f = 8
	degree seq :: [ 12^2 ]

E2.11 :: Family: { 4* } :: Oriented family(ies): { E4* }
Signature :: (0; {2, 2, 3, 3})
Quotient :: loop^2
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y3^2, R^2, Y1^-1 * Y2^-1, Y1^3, Y2^3, R * Y1 * R * Y2, (R * Y3)^2, Y3 * Y1 * Y3 * Y2^-1 ]
Map:: non-degenerate
	R = (1, 7, 13, 19, 4, 10, 16, 22)(2, 8, 14, 20, 5, 11, 17, 23)(3, 9, 15, 21, 6, 12, 18, 24)
	L = (1, 8)(2, 9)(3, 7)(4, 12)(5, 10)(6, 11)(13, 21)(14, 19)(15, 20)(16, 23)(17, 24)(18, 22)
	local type(s) :: { ( 3, 4, 3, 4, 3, 4, 3, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.9
Transitivity :: VT+
Graph::
	v = 3 e = 12 f = 7
	degree seq :: [ 8^3 ]

E2.12 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 3, 3})
Quotient :: dipole
Aut^+ = C6 (small group id <6, 2>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y3, Y3, Y1^2, R^2, Y2^3, (Y3^-1 * Y1)^2, (R * Y1)^2, (R * Y3)^2, Y2 * Y1 * Y2^-1 * Y1, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^3 ]
Map::
	R = (1, 7, 2, 8)(3, 9, 5, 11)(4, 10, 6, 12)(13, 19, 15, 21, 16, 22)(14, 20, 17, 23, 18, 24)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 4, 6, 4, 6 ), ( 4, 6, 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible selfdual
Graph:: bipartite
	v = 5 e = 12 f = 5
	degree seq :: [ 4^3, 6^2 ]

E2.13 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 3, 3})
Quotient :: dipole
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y3, Y3, Y1^2, R^2, Y2^3, (Y3^-1 * Y1)^2, (R * Y1)^2, (R * Y3)^2, (Y2 * Y1)^2, (Y2^-1 * Y1)^2, (Y3 * Y2^-1)^3, (R * Y2 * Y3^-1)^2 ]
Map::
	R = (1, 7, 2, 8)(3, 9, 6, 12)(4, 10, 5, 11)(13, 19, 15, 21, 16, 22)(14, 20, 17, 23, 18, 24)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 4, 6, 4, 6 ), ( 4, 6, 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible selfdual
Graph:: bipartite
	v = 5 e = 12 f = 5
	degree seq :: [ 4^3, 6^2 ]

E2.14 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 3, 3})
Quotient :: dipole
Aut^+ = S3 (small group id <6, 1>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y2 * Y3, Y2^3, (Y3^-1 * Y1)^2, (R * Y1)^2, (R * Y3)^2, (Y3 * Y2^-1)^3 ]
Map:: non-degenerate
	R = (1, 7, 2, 8)(3, 9, 6, 12)(4, 10, 5, 11)(13, 19, 15, 21, 16, 22)(14, 20, 17, 23, 18, 24)
	L = (1, 16)(2, 18)(3, 13)(4, 15)(5, 14)(6, 17)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 4, 6, 4, 6 ), ( 4, 6, 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible selfdual
Graph:: bipartite
	v = 5 e = 12 f = 5
	degree seq :: [ 4^3, 6^2 ]

E2.15 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {3, 6, 6})
Quotient :: edge
Aut^+ = C6 (small group id <6, 2>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ F^2, T1^3, T1 * T2^2, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^2 ]
Map:: non-degenerate
	R = (1, 3, 4, 6, 2, 5)(7, 8, 10)(9, 11, 12)
	L = (1, 7)(2, 8)(3, 9)(4, 10)(5, 11)(6, 12)
	local type(s) :: { ( 12^3 ), ( 12^6 ) }
Outer automorphisms :: reflexible
Dual of E2.16
Transitivity :: ET+
Graph:: bipartite
	v = 3 e = 6 f = 1
	degree seq :: [ 3^2, 6 ]

E2.16 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {3, 6, 6})
Quotient :: loop
Aut^+ = C6 (small group id <6, 2>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ F^2, T1^3, T1 * T2^2, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^2 ]
Map:: non-degenerate
	R = (1, 7, 3, 9, 4, 10, 6, 12, 2, 8, 5, 11)
	L = (1, 8)(2, 10)(3, 11)(4, 7)(5, 12)(6, 9)
	local type(s) :: { ( 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.15
Transitivity :: ET+ VT+ AT
Graph::
	v = 1 e = 6 f = 3
	degree seq :: [ 12 ]

E2.17 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 6, 6})
Quotient :: dipole
Aut^+ = C6 (small group id <6, 2>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ R^2, Y3^-1 * Y1^-1, Y1^3, Y1 * Y2^2, (R * Y1)^2, (R * Y3)^2, Y2 * Y3 * Y2 * Y1^-1, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^6 ]
Map::
	R = (1, 7, 2, 8, 4, 10)(3, 9, 5, 11, 6, 12)(13, 19, 15, 21, 16, 22, 18, 24, 14, 20, 17, 23)
	L = (1, 16)(2, 13)(3, 18)(4, 14)(5, 15)(6, 17)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 2, 12, 2, 12, 2, 12 ), ( 2, 12, 2, 12, 2, 12, 2, 12, 2, 12, 2, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.18
Graph:: bipartite
	v = 3 e = 12 f = 7
	degree seq :: [ 6^2, 12 ]

E2.18 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 6, 6})
Quotient :: dipole
Aut^+ = C6 (small group id <6, 2>)
Aut   = D12 (small group id <12, 4>)
|r| :: 2
Presentation :: [ Y2, R^2, Y3^3, Y1^2 * Y3, (R * Y1)^2, (R * Y3)^2, (Y3 * Y1^-1)^2, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^3 ]
Map::
	R = (1, 7, 2, 8, 5, 11, 6, 12, 3, 9, 4, 10)(13, 19)(14, 20)(15, 21)(16, 22)(17, 23)(18, 24)
	L = (1, 15)(2, 16)(3, 17)(4, 18)(5, 13)(6, 14)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 6, 12 ), ( 6, 12, 6, 12, 6, 12, 6, 12, 6, 12, 6, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.17
Graph:: bipartite
	v = 7 e = 12 f = 3
	degree seq :: [ 2^6, 12 ]

E2.19 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 2, 4})
Quotient :: dipole
Aut^+ = D8 (small group id <8, 3>)
Aut   = C2 x D8 (small group id <16, 11>)
|r| :: 2
Presentation :: [ Y1^2, Y2^2, Y3^2, R^2, (Y3 * Y2)^2, (R * Y1)^2, (R * Y3)^2, (Y2 * Y1)^2, Y2 * Y1 * Y3 * Y1 * Y3, (R * Y2 * Y3)^2 ]
Map:: non-degenerate
	R = (1, 9, 2, 10)(3, 11, 5, 13)(4, 12, 8, 16)(6, 14, 7, 15)(17, 25, 19, 27)(18, 26, 21, 29)(20, 28, 23, 31)(22, 30, 24, 32)
	L = (1, 20)(2, 22)(3, 23)(4, 17)(5, 24)(6, 18)(7, 19)(8, 21)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 4, 8, 4, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.20
Graph:: simple bipartite
	v = 8 e = 16 f = 6
	degree seq :: [ 4^8 ]

E2.20 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 2, 4})
Quotient :: dipole
Aut^+ = D8 (small group id <8, 3>)
Aut   = C2 x D8 (small group id <16, 11>)
|r| :: 2
Presentation :: [ Y2^2, Y3^2, R^2, (Y3 * Y2)^2, (Y3 * Y1^-1)^2, (R * Y1)^2, (R * Y3)^2, Y2 * Y3 * Y1^-2, Y2 * Y3 * Y1^2, Y3 * Y1 * Y2 * Y1^-1, (R * Y2 * Y3)^2 ]
Map:: non-degenerate
	R = (1, 9, 2, 10, 6, 14, 5, 13)(3, 11, 8, 16, 4, 12, 7, 15)(17, 25, 19, 27)(18, 26, 23, 31)(20, 28, 22, 30)(21, 29, 24, 32)
	L = (1, 20)(2, 24)(3, 22)(4, 17)(5, 23)(6, 19)(7, 21)(8, 18)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 4^4 ), ( 4^8 ) }
Outer automorphisms :: reflexible
Dual of E2.19
Graph:: bipartite
	v = 6 e = 16 f = 8
	degree seq :: [ 4^4, 8^2 ]

E2.21 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 8, 8})
Quotient :: regular
Aut^+ = C8 (small group id <8, 1>)
Aut   = D16 (small group id <16, 7>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T2 * T1^4 ]
Map::
	R = (1, 2, 5, 7, 3, 6, 8, 4)
	L = (1, 3)(2, 6)(4, 7)(5, 8)
	local type(s) :: { ( 8^8 ) }
Outer automorphisms :: reflexible selfdual
Transitivity :: ET+ VT+ AT+ REG+
Graph::
	v = 1 e = 4 f = 1
	degree seq :: [ 8 ]

E2.22 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 8, 8})
Quotient :: edge
Aut^+ = C8 (small group id <8, 1>)
Aut   = D16 (small group id <16, 7>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^4 * T1 ]
Map::
	R = (1, 3, 7, 6, 2, 5, 8, 4)(9, 10)(11, 13)(12, 14)(15, 16)
	L = (1, 9)(2, 10)(3, 11)(4, 12)(5, 13)(6, 14)(7, 15)(8, 16)
	local type(s) :: { ( 16, 16 ), ( 16^8 ) }
Outer automorphisms :: reflexible
Dual of E2.23
Transitivity :: ET+
Graph:: bipartite
	v = 5 e = 8 f = 1
	degree seq :: [ 2^4, 8 ]

E2.23 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 8, 8})
Quotient :: loop
Aut^+ = C8 (small group id <8, 1>)
Aut   = D16 (small group id <16, 7>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^4 * T1 ]
Map::
	R = (1, 9, 3, 11, 7, 15, 6, 14, 2, 10, 5, 13, 8, 16, 4, 12)
	L = (1, 10)(2, 9)(3, 13)(4, 14)(5, 11)(6, 12)(7, 16)(8, 15)
	local type(s) :: { ( 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.22
Transitivity :: ET+ VT+ AT
Graph::
	v = 1 e = 8 f = 5
	degree seq :: [ 16 ]

E2.24 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 8, 8})
Quotient :: dipole
Aut^+ = C8 (small group id <8, 1>)
Aut   = D16 (small group id <16, 7>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, Y2 * Y1 * Y2^-1 * Y1, Y2^4 * Y1, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^8 ]
Map::
	R = (1, 9, 2, 10)(3, 11, 5, 13)(4, 12, 6, 14)(7, 15, 8, 16)(17, 25, 19, 27, 23, 31, 22, 30, 18, 26, 21, 29, 24, 32, 20, 28)
	L = (1, 18)(2, 17)(3, 21)(4, 22)(5, 19)(6, 20)(7, 24)(8, 23)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 2, 16, 2, 16 ), ( 2, 16, 2, 16, 2, 16, 2, 16, 2, 16, 2, 16, 2, 16, 2, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.25
Graph:: bipartite
	v = 5 e = 16 f = 9
	degree seq :: [ 4^4, 16 ]

E2.25 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 8, 8})
Quotient :: dipole
Aut^+ = C8 (small group id <8, 1>)
Aut   = D16 (small group id <16, 7>)
|r| :: 2
Presentation :: [ Y2, R^2, Y3^2, R * Y2 * R * Y2^-1, (R * Y1)^2, (R * Y3)^2, Y3 * Y1 * Y3 * Y1^-1, (Y3 * Y2^-1)^2, Y3 * Y1^4 ]
Map::
	R = (1, 9, 2, 10, 5, 13, 7, 15, 3, 11, 6, 14, 8, 16, 4, 12)(17, 25)(18, 26)(19, 27)(20, 28)(21, 29)(22, 30)(23, 31)(24, 32)
	L = (1, 19)(2, 22)(3, 17)(4, 23)(5, 24)(6, 18)(7, 20)(8, 21)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 4, 16 ), ( 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16, 4, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.24
Graph:: bipartite
	v = 9 e = 16 f = 5
	degree seq :: [ 2^8, 16 ]

E2.26 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 5, 10})
Quotient :: regular
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T2 * T1^-5 ]
Map::
	R = (1, 2, 5, 9, 7, 3, 6, 10, 8, 4)
	L = (1, 3)(2, 6)(4, 7)(5, 10)(8, 9)
	local type(s) :: { ( 5^10 ) }
Outer automorphisms :: reflexible
Dual of E2.27
Transitivity :: ET+ VT+ AT+ REG+
Graph::
	v = 1 e = 5 f = 2
	degree seq :: [ 10 ]

E2.27 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 5, 10})
Quotient :: regular
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T1^5 ]
Map::
	R = (1, 2, 5, 8, 4)(3, 6, 9, 10, 7)
	L = (1, 3)(2, 6)(4, 7)(5, 9)(8, 10)
	local type(s) :: { ( 10^5 ) }
Outer automorphisms :: reflexible
Dual of E2.26
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 2 e = 5 f = 1
	degree seq :: [ 5^2 ]

E2.28 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 5, 10})
Quotient :: edge
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^5 ]
Map::
	R = (1, 3, 7, 8, 4)(2, 5, 9, 10, 6)(11, 12)(13, 15)(14, 16)(17, 19)(18, 20)
	L = (1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
	local type(s) :: { ( 20, 20 ), ( 20^5 ) }
Outer automorphisms :: reflexible
Dual of E2.32
Transitivity :: ET+
Graph:: simple bipartite
	v = 7 e = 10 f = 1
	degree seq :: [ 2^5, 5^2 ]

E2.29 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 5, 10})
Quotient :: edge
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ F^2, T1^-1 * T2^-2 * T1^-1, (F * T1)^2, (F * T2)^2, (T2^-1 * T1^-1)^2, T2^-2 * T1^3 ]
Map:: non-degenerate
	R = (1, 3, 9, 8, 2, 7, 4, 10, 6, 5)(11, 12, 16, 19, 14)(13, 17, 15, 18, 20)
	L = (1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
	local type(s) :: { ( 4^5 ), ( 4^10 ) }
Outer automorphisms :: reflexible
Dual of E2.33
Transitivity :: ET+
Graph:: bipartite
	v = 3 e = 10 f = 5
	degree seq :: [ 5^2, 10 ]

E2.30 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 5, 10})
Quotient :: edge
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T2 * T1^-5 ]
Map::
	R = (1, 3)(2, 6)(4, 7)(5, 10)(8, 9)(11, 12, 15, 19, 17, 13, 16, 20, 18, 14)
	L = (1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)
	local type(s) :: { ( 10, 10 ), ( 10^10 ) }
Outer automorphisms :: reflexible
Dual of E2.31
Transitivity :: ET+
Graph:: bipartite
	v = 6 e = 10 f = 2
	degree seq :: [ 2^5, 10 ]

E2.31 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 5, 10})
Quotient :: loop
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^5 ]
Map::
	R = (1, 11, 3, 13, 7, 17, 8, 18, 4, 14)(2, 12, 5, 15, 9, 19, 10, 20, 6, 16)
	L = (1, 12)(2, 11)(3, 15)(4, 16)(5, 13)(6, 14)(7, 19)(8, 20)(9, 17)(10, 18)
	local type(s) :: { ( 2, 10, 2, 10, 2, 10, 2, 10, 2, 10 ) }
Outer automorphisms :: reflexible
Dual of E2.30
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 2 e = 10 f = 6
	degree seq :: [ 10^2 ]

E2.32 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 5, 10})
Quotient :: loop
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ F^2, T1^-1 * T2^-2 * T1^-1, (F * T1)^2, (F * T2)^2, (T2^-1 * T1^-1)^2, T2^-2 * T1^3 ]
Map::
	R = (1, 11, 3, 13, 9, 19, 8, 18, 2, 12, 7, 17, 4, 14, 10, 20, 6, 16, 5, 15)
	L = (1, 12)(2, 16)(3, 17)(4, 11)(5, 18)(6, 19)(7, 15)(8, 20)(9, 14)(10, 13)
	local type(s) :: { ( 2, 5, 2, 5, 2, 5, 2, 5, 2, 5, 2, 5, 2, 5, 2, 5, 2, 5, 2, 5 ) }
Outer automorphisms :: reflexible
Dual of E2.28
Transitivity :: ET+ VT+ AT
Graph::
	v = 1 e = 10 f = 7
	degree seq :: [ 20 ]

E2.33 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 5, 10})
Quotient :: loop
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T2 * T1^-5 ]
Map:: non-degenerate
	R = (1, 11, 3, 13)(2, 12, 6, 16)(4, 14, 7, 17)(5, 15, 10, 20)(8, 18, 9, 19)
	L = (1, 12)(2, 15)(3, 16)(4, 11)(5, 19)(6, 20)(7, 13)(8, 14)(9, 17)(10, 18)
	local type(s) :: { ( 5, 10, 5, 10 ) }
Outer automorphisms :: reflexible
Dual of E2.29
Transitivity :: ET+ VT+ AT
Graph::
	v = 5 e = 10 f = 3
	degree seq :: [ 4^5 ]

E2.34 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, Y2 * Y1 * Y2^-1 * Y1, Y2^5, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^10 ]
Map::
	R = (1, 11, 2, 12)(3, 13, 5, 15)(4, 14, 6, 16)(7, 17, 9, 19)(8, 18, 10, 20)(21, 31, 23, 33, 27, 37, 28, 38, 24, 34)(22, 32, 25, 35, 29, 39, 30, 40, 26, 36)
	L = (1, 22)(2, 21)(3, 25)(4, 26)(5, 23)(6, 24)(7, 29)(8, 30)(9, 27)(10, 28)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 2, 20, 2, 20 ), ( 2, 20, 2, 20, 2, 20, 2, 20, 2, 20 ) }
Outer automorphisms :: reflexible
Dual of E2.37
Graph:: bipartite
	v = 7 e = 20 f = 11
	degree seq :: [ 4^5, 10^2 ]

E2.35 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ R^2, Y2 * Y3^-1, Y2^-2 * Y1^-2, (R * Y1)^2, (R * Y3)^2, (Y3^-1 * Y1^-1)^2, (Y2^-1, Y1^-1), Y1^-1 * Y2^4, Y1^5 ]
Map::
	R = (1, 11, 2, 12, 6, 16, 9, 19, 4, 14)(3, 13, 7, 17, 5, 15, 8, 18, 10, 20)(21, 31, 23, 33, 29, 39, 28, 38, 22, 32, 27, 37, 24, 34, 30, 40, 26, 36, 25, 35)
	L = (1, 23)(2, 27)(3, 29)(4, 30)(5, 21)(6, 25)(7, 24)(8, 22)(9, 28)(10, 26)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ), ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.36
Graph:: bipartite
	v = 3 e = 20 f = 15
	degree seq :: [ 10^2, 20 ]

E2.36 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ Y1, Y2^2, R^2, (R * Y1)^2, (R * Y3)^2, (R * Y2)^2, Y3 * Y2 * Y3^-1 * Y2, Y3^5 * Y2, (Y3^-1 * Y1^-1)^10 ]
Map::
	R = (1, 11)(2, 12)(3, 13)(4, 14)(5, 15)(6, 16)(7, 17)(8, 18)(9, 19)(10, 20)(21, 31, 22, 32)(23, 33, 25, 35)(24, 34, 26, 36)(27, 37, 29, 39)(28, 38, 30, 40)
	L = (1, 23)(2, 25)(3, 27)(4, 21)(5, 29)(6, 22)(7, 30)(8, 24)(9, 28)(10, 26)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 10, 20 ), ( 10, 20, 10, 20 ) }
Outer automorphisms :: reflexible
Dual of E2.35
Graph:: simple bipartite
	v = 15 e = 20 f = 3
	degree seq :: [ 2^10, 4^5 ]

E2.37 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ Y2, R^2, Y3^2, R * Y2 * R * Y2^-1, (R * Y1)^2, (R * Y3)^2, Y3 * Y1 * Y3 * Y1^-1, (Y3 * Y2^-1)^2, Y3 * Y1^-5 ]
Map::
	R = (1, 11, 2, 12, 5, 15, 9, 19, 7, 17, 3, 13, 6, 16, 10, 20, 8, 18, 4, 14)(21, 31)(22, 32)(23, 33)(24, 34)(25, 35)(26, 36)(27, 37)(28, 38)(29, 39)(30, 40)
	L = (1, 23)(2, 26)(3, 21)(4, 27)(5, 30)(6, 22)(7, 24)(8, 29)(9, 28)(10, 25)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 4, 10 ), ( 4, 10, 4, 10, 4, 10, 4, 10, 4, 10, 4, 10, 4, 10, 4, 10, 4, 10, 4, 10 ) }
Outer automorphisms :: reflexible
Dual of E2.34
Graph:: bipartite
	v = 11 e = 20 f = 7
	degree seq :: [ 2^10, 20 ]

E2.38 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, Y2 * Y1 * Y2^-1 * Y1, Y2^5 * Y1, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^5 ]
Map::
	R = (1, 11, 2, 12)(3, 13, 5, 15)(4, 14, 6, 16)(7, 17, 9, 19)(8, 18, 10, 20)(21, 31, 23, 33, 27, 37, 30, 40, 26, 36, 22, 32, 25, 35, 29, 39, 28, 38, 24, 34)
	L = (1, 22)(2, 21)(3, 25)(4, 26)(5, 23)(6, 24)(7, 29)(8, 30)(9, 27)(10, 28)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 2, 10, 2, 10 ), ( 2, 10, 2, 10, 2, 10, 2, 10, 2, 10, 2, 10, 2, 10, 2, 10, 2, 10, 2, 10 ) }
Outer automorphisms :: reflexible
Dual of E2.39
Graph:: bipartite
	v = 6 e = 20 f = 12
	degree seq :: [ 4^5, 20 ]

E2.39 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 5, 10})
Quotient :: dipole
Aut^+ = C10 (small group id <10, 2>)
Aut   = D20 (small group id <20, 4>)
|r| :: 2
Presentation :: [ Y2, R^2, Y1^-1 * Y3^-2 * Y1^-1, (R * Y1)^2, (R * Y3)^2, (Y3^-1 * Y1^-1)^2, Y3^-2 * Y1^3, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^10 ]
Map::
	R = (1, 11, 2, 12, 6, 16, 9, 19, 4, 14)(3, 13, 7, 17, 5, 15, 8, 18, 10, 20)(21, 31)(22, 32)(23, 33)(24, 34)(25, 35)(26, 36)(27, 37)(28, 38)(29, 39)(30, 40)
	L = (1, 23)(2, 27)(3, 29)(4, 30)(5, 21)(6, 25)(7, 24)(8, 22)(9, 28)(10, 26)(11, 31)(12, 32)(13, 33)(14, 34)(15, 35)(16, 36)(17, 37)(18, 38)(19, 39)(20, 40)
	local type(s) :: { ( 4, 20 ), ( 4, 20, 4, 20, 4, 20, 4, 20, 4, 20 ) }
Outer automorphisms :: reflexible
Dual of E2.38
Graph:: simple bipartite
	v = 12 e = 20 f = 6
	degree seq :: [ 2^10, 10^2 ]

E2.40 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 2, 3})
Quotient :: dipole
Aut^+ = D12 (small group id <12, 4>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ Y1^2, Y2^2, Y3^2, R^2, (R * Y2)^2, (Y3 * Y2)^2, (R * Y1)^2, (R * Y3)^2, (Y2 * Y1)^2, (Y3 * Y1)^3 ]
Map:: polytopal non-degenerate
	R = (1, 13, 2, 14)(3, 15, 5, 17)(4, 16, 8, 20)(6, 18, 10, 22)(7, 19, 11, 23)(9, 21, 12, 24)(25, 37, 27, 39)(26, 38, 29, 41)(28, 40, 31, 43)(30, 42, 33, 45)(32, 44, 35, 47)(34, 46, 36, 48)
	L = (1, 28)(2, 30)(3, 31)(4, 25)(5, 33)(6, 26)(7, 27)(8, 34)(9, 29)(10, 32)(11, 36)(12, 35)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.41
Graph:: simple bipartite
	v = 12 e = 24 f = 10
	degree seq :: [ 4^12 ]

E2.41 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 2, 2, 3})
Quotient :: dipole
Aut^+ = D12 (small group id <12, 4>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ Y2^2, Y3^2, R^2, Y1^3, (R * Y2)^2, (Y3 * Y2)^2, (Y3 * Y1^-1)^2, (R * Y1)^2, (R * Y3)^2, (Y2 * Y1^-1)^2 ]
Map:: polytopal non-degenerate
	R = (1, 13, 2, 14, 5, 17)(3, 15, 8, 20, 6, 18)(4, 16, 10, 22, 7, 19)(9, 21, 11, 23, 12, 24)(25, 37, 27, 39)(26, 38, 30, 42)(28, 40, 33, 45)(29, 41, 32, 44)(31, 43, 35, 47)(34, 46, 36, 48)
	L = (1, 28)(2, 31)(3, 33)(4, 25)(5, 34)(6, 35)(7, 26)(8, 36)(9, 27)(10, 29)(11, 30)(12, 32)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 4^4 ), ( 4^6 ) }
Outer automorphisms :: reflexible
Dual of E2.40
Graph:: simple bipartite
	v = 10 e = 24 f = 12
	degree seq :: [ 4^6, 6^4 ]

E2.42 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {3, 4, 4})
Quotient :: edge
Aut^+ = C3 : C4 (small group id <12, 1>)
Aut   = (C6 x C2) : C2 (small group id <24, 8>)
|r| :: 2
Presentation :: [ F^2, T1^3, (F * T1)^2, (F * T2)^2, T2^4, T2 * T1^-1 * T2^-1 * T1^-1 ]
Map:: non-degenerate
	R = (1, 3, 9, 5)(2, 6, 11, 7)(4, 8, 12, 10)(13, 14, 16)(15, 20, 18)(17, 22, 19)(21, 23, 24)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 8^3 ), ( 8^4 ) }
Outer automorphisms :: reflexible
Dual of E2.43
Transitivity :: ET+
Graph:: simple bipartite
	v = 7 e = 12 f = 3
	degree seq :: [ 3^4, 4^3 ]

E2.43 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {3, 4, 4})
Quotient :: loop
Aut^+ = C3 : C4 (small group id <12, 1>)
Aut   = (C6 x C2) : C2 (small group id <24, 8>)
|r| :: 2
Presentation :: [ F^2, T1^3, (F * T1)^2, (F * T2)^2, T2^4, T2 * T1^-1 * T2^-1 * T1^-1 ]
Map:: non-degenerate
	R = (1, 13, 3, 15, 9, 21, 5, 17)(2, 14, 6, 18, 11, 23, 7, 19)(4, 16, 8, 20, 12, 24, 10, 22)
	L = (1, 14)(2, 16)(3, 20)(4, 13)(5, 22)(6, 15)(7, 17)(8, 18)(9, 23)(10, 19)(11, 24)(12, 21)
	local type(s) :: { ( 3, 4, 3, 4, 3, 4, 3, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.42
Transitivity :: ET+ VT+ AT
Graph::
	v = 3 e = 12 f = 7
	degree seq :: [ 8^3 ]

E2.44 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 4, 4})
Quotient :: dipole
Aut^+ = C3 : C4 (small group id <12, 1>)
Aut   = (C6 x C2) : C2 (small group id <24, 8>)
|r| :: 2
Presentation :: [ R^2, Y3^-1 * Y1^-1, Y1^3, (R * Y1)^2, (R * Y3)^2, Y2^4, Y2 * Y3 * Y2^-1 * Y1^-1, Y3 * Y2 * Y1^-1 * Y2^-1, (R * Y2 * Y3^-1)^2, (Y2^-1 * Y1)^4 ]
Map::
	R = (1, 13, 2, 14, 4, 16)(3, 15, 8, 20, 6, 18)(5, 17, 10, 22, 7, 19)(9, 21, 11, 23, 12, 24)(25, 37, 27, 39, 33, 45, 29, 41)(26, 38, 30, 42, 35, 47, 31, 43)(28, 40, 32, 44, 36, 48, 34, 46)
	L = (1, 28)(2, 25)(3, 30)(4, 26)(5, 31)(6, 32)(7, 34)(8, 27)(9, 36)(10, 29)(11, 33)(12, 35)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 2, 8, 2, 8, 2, 8 ), ( 2, 8, 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.45
Graph:: bipartite
	v = 7 e = 24 f = 15
	degree seq :: [ 6^4, 8^3 ]

E2.45 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 4, 4})
Quotient :: dipole
Aut^+ = C3 : C4 (small group id <12, 1>)
Aut   = (C6 x C2) : C2 (small group id <24, 8>)
|r| :: 2
Presentation :: [ Y2, R^2, (R * Y1)^2, (R * Y3)^2, Y1^4, Y3 * Y1 * Y3 * Y1^-1, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^3 ]
Map::
	R = (1, 13, 2, 14, 6, 18, 4, 16)(3, 15, 8, 20, 11, 23, 9, 21)(5, 17, 7, 19, 12, 24, 10, 22)(25, 37)(26, 38)(27, 39)(28, 40)(29, 41)(30, 42)(31, 43)(32, 44)(33, 45)(34, 46)(35, 47)(36, 48)
	L = (1, 27)(2, 31)(3, 29)(4, 34)(5, 25)(6, 35)(7, 32)(8, 26)(9, 28)(10, 33)(11, 36)(12, 30)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 6, 8 ), ( 6, 8, 6, 8, 6, 8, 6, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.44
Graph:: simple bipartite
	v = 15 e = 24 f = 7
	degree seq :: [ 2^12, 8^3 ]

E2.46 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 6, 6})
Quotient :: regular
Aut^+ = C6 x C2 (small group id <12, 5>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2 * T1^-1, T1^6 ]
Map::
	R = (1, 2, 5, 9, 8, 4)(3, 6, 10, 12, 11, 7)
	L = (1, 3)(2, 6)(4, 7)(5, 10)(8, 11)(9, 12)
	local type(s) :: { ( 6^6 ) }
Outer automorphisms :: reflexible selfdual
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 2 e = 6 f = 2
	degree seq :: [ 6^2 ]

E2.47 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 6, 6})
Quotient :: edge
Aut^+ = C6 x C2 (small group id <12, 5>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^6 ]
Map::
	R = (1, 3, 7, 11, 8, 4)(2, 5, 9, 12, 10, 6)(13, 14)(15, 17)(16, 18)(19, 21)(20, 22)(23, 24)
	L = (1, 13)(2, 14)(3, 15)(4, 16)(5, 17)(6, 18)(7, 19)(8, 20)(9, 21)(10, 22)(11, 23)(12, 24)
	local type(s) :: { ( 12, 12 ), ( 12^6 ) }
Outer automorphisms :: reflexible
Dual of E2.48
Transitivity :: ET+
Graph:: simple bipartite
	v = 8 e = 12 f = 2
	degree seq :: [ 2^6, 6^2 ]

E2.48 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 6, 6})
Quotient :: loop
Aut^+ = C6 x C2 (small group id <12, 5>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1, T2^6 ]
Map::
	R = (1, 13, 3, 15, 7, 19, 11, 23, 8, 20, 4, 16)(2, 14, 5, 17, 9, 21, 12, 24, 10, 22, 6, 18)
	L = (1, 14)(2, 13)(3, 17)(4, 18)(5, 15)(6, 16)(7, 21)(8, 22)(9, 19)(10, 20)(11, 24)(12, 23)
	local type(s) :: { ( 2, 6, 2, 6, 2, 6, 2, 6, 2, 6, 2, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.47
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 2 e = 12 f = 8
	degree seq :: [ 12^2 ]

E2.49 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 6, 6})
Quotient :: dipole
Aut^+ = C6 x C2 (small group id <12, 5>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, Y2 * Y1 * Y2^-1 * Y1, (R * Y2 * Y3^-1)^2, Y2^6, (Y3 * Y2^-1)^6 ]
Map::
	R = (1, 13, 2, 14)(3, 15, 5, 17)(4, 16, 6, 18)(7, 19, 9, 21)(8, 20, 10, 22)(11, 23, 12, 24)(25, 37, 27, 39, 31, 43, 35, 47, 32, 44, 28, 40)(26, 38, 29, 41, 33, 45, 36, 48, 34, 46, 30, 42)
	L = (1, 26)(2, 25)(3, 29)(4, 30)(5, 27)(6, 28)(7, 33)(8, 34)(9, 31)(10, 32)(11, 36)(12, 35)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 2, 12, 2, 12 ), ( 2, 12, 2, 12, 2, 12, 2, 12, 2, 12, 2, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.50
Graph:: bipartite
	v = 8 e = 24 f = 14
	degree seq :: [ 4^6, 12^2 ]

E2.50 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 6, 6})
Quotient :: dipole
Aut^+ = C6 x C2 (small group id <12, 5>)
Aut   = C2 x C2 x S3 (small group id <24, 14>)
|r| :: 2
Presentation :: [ Y2, R^2, (R * Y1)^2, (R * Y3)^2, (Y3 * Y2^-1)^2, (Y3^-1, Y1^-1), Y3^-6, (R * Y2 * Y3^-1)^2, Y1^6 ]
Map::
	R = (1, 13, 2, 14, 5, 17, 9, 21, 8, 20, 4, 16)(3, 15, 6, 18, 10, 22, 12, 24, 11, 23, 7, 19)(25, 37)(26, 38)(27, 39)(28, 40)(29, 41)(30, 42)(31, 43)(32, 44)(33, 45)(34, 46)(35, 47)(36, 48)
	L = (1, 27)(2, 30)(3, 25)(4, 31)(5, 34)(6, 26)(7, 28)(8, 35)(9, 36)(10, 29)(11, 32)(12, 33)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 4, 12 ), ( 4, 12, 4, 12, 4, 12, 4, 12, 4, 12, 4, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.49
Graph:: simple bipartite
	v = 14 e = 24 f = 8
	degree seq :: [ 2^12, 12^2 ]

E2.51 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 4, 8})
Quotient :: regular
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^-1 * T2 * T1 * T2 * T1^-2, (T2 * T1)^4, T1^8 ]
Map:: non-degenerate
	R = (1, 2, 5, 11, 16, 15, 10, 4)(3, 7, 14, 6, 13, 9, 12, 8)
	L = (1, 3)(2, 6)(4, 9)(5, 12)(7, 11)(8, 15)(10, 14)(13, 16)
	local type(s) :: { ( 4^8 ) }
Outer automorphisms :: reflexible
Dual of E2.52
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 2 e = 8 f = 4
	degree seq :: [ 8^2 ]

E2.52 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 4, 8})
Quotient :: regular
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T2^2, F^2, T1^4, (F * T1)^2, (F * T2)^2, T1^-1 * T2 * T1^2 * T2 * T1^-1, T2 * T1 * T2 * T1^-1 * T2 * T1 * T2 * T1 ]
Map:: non-degenerate
	R = (1, 2, 5, 4)(3, 7, 10, 8)(6, 11, 9, 12)(13, 16, 14, 15)
	L = (1, 3)(2, 6)(4, 9)(5, 10)(7, 13)(8, 14)(11, 15)(12, 16)
	local type(s) :: { ( 8^4 ) }
Outer automorphisms :: reflexible
Dual of E2.51
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 4 e = 8 f = 2
	degree seq :: [ 4^4 ]

E2.53 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 8})
Quotient :: edge
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T1^2, F^2, T2^4, (F * T1)^2, (F * T2)^2, (T2^-1 * T1 * T2^-1)^2, T2^-1 * T1 * T2^-1 * T1 * T2 * T1 * T2^-1 * T1 ]
Map::
	R = (1, 3, 8, 4)(2, 5, 11, 6)(7, 13, 9, 14)(10, 15, 12, 16)(17, 18)(19, 23)(20, 25)(21, 26)(22, 28)(24, 27)(29, 32)(30, 31)
	L = (1, 17)(2, 18)(3, 19)(4, 20)(5, 21)(6, 22)(7, 23)(8, 24)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 16, 16 ), ( 16^4 ) }
Outer automorphisms :: reflexible
Dual of E2.57
Transitivity :: ET+
Graph:: simple bipartite
	v = 12 e = 16 f = 2
	degree seq :: [ 2^8, 4^4 ]

E2.54 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 8})
Quotient :: edge
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ F^2, T1^4, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^2, (T2^-1 * T1^-1)^2, T1^-1 * T2^-4 * T1^-1 ]
Map:: polytopal non-degenerate
	R = (1, 3, 10, 14, 6, 13, 12, 5)(2, 7, 15, 9, 4, 11, 16, 8)(17, 18, 22, 20)(19, 25, 29, 24)(21, 27, 30, 23)(26, 32, 28, 31)
	L = (1, 17)(2, 18)(3, 19)(4, 20)(5, 21)(6, 22)(7, 23)(8, 24)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 4^4 ), ( 4^8 ) }
Outer automorphisms :: reflexible
Dual of E2.58
Transitivity :: ET+
Graph:: bipartite
	v = 6 e = 16 f = 8
	degree seq :: [ 4^4, 8^2 ]

E2.55 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 8})
Quotient :: edge
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^-1 * T2 * T1 * T2 * T1^-2, T1^8, (T2 * T1)^4 ]
Map::
	R = (1, 3)(2, 6)(4, 9)(5, 12)(7, 11)(8, 15)(10, 14)(13, 16)(17, 18, 21, 27, 32, 31, 26, 20)(19, 23, 30, 22, 29, 25, 28, 24)
	L = (1, 17)(2, 18)(3, 19)(4, 20)(5, 21)(6, 22)(7, 23)(8, 24)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)
	local type(s) :: { ( 8, 8 ), ( 8^8 ) }
Outer automorphisms :: reflexible
Dual of E2.56
Transitivity :: ET+
Graph:: simple bipartite
	v = 10 e = 16 f = 4
	degree seq :: [ 2^8, 8^2 ]

E2.56 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 8})
Quotient :: loop
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T1^2, F^2, T2^4, (F * T1)^2, (F * T2)^2, (T2^-1 * T1 * T2^-1)^2, T2^-1 * T1 * T2^-1 * T1 * T2 * T1 * T2^-1 * T1 ]
Map::
	R = (1, 17, 3, 19, 8, 24, 4, 20)(2, 18, 5, 21, 11, 27, 6, 22)(7, 23, 13, 29, 9, 25, 14, 30)(10, 26, 15, 31, 12, 28, 16, 32)
	L = (1, 18)(2, 17)(3, 23)(4, 25)(5, 26)(6, 28)(7, 19)(8, 27)(9, 20)(10, 21)(11, 24)(12, 22)(13, 32)(14, 31)(15, 30)(16, 29)
	local type(s) :: { ( 2, 8, 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.55
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 4 e = 16 f = 10
	degree seq :: [ 8^4 ]

E2.57 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 8})
Quotient :: loop
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ F^2, T1^4, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^2, (T2^-1 * T1^-1)^2, T1^-1 * T2^-4 * T1^-1 ]
Map::
	R = (1, 17, 3, 19, 10, 26, 14, 30, 6, 22, 13, 29, 12, 28, 5, 21)(2, 18, 7, 23, 15, 31, 9, 25, 4, 20, 11, 27, 16, 32, 8, 24)
	L = (1, 18)(2, 22)(3, 25)(4, 17)(5, 27)(6, 20)(7, 21)(8, 19)(9, 29)(10, 32)(11, 30)(12, 31)(13, 24)(14, 23)(15, 26)(16, 28)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.53
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 2 e = 16 f = 12
	degree seq :: [ 16^2 ]

E2.58 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 8})
Quotient :: loop
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^-1 * T2 * T1 * T2 * T1^-2, T1^8, (T2 * T1)^4 ]
Map:: polytopal non-degenerate
	R = (1, 17, 3, 19)(2, 18, 6, 22)(4, 20, 9, 25)(5, 21, 12, 28)(7, 23, 11, 27)(8, 24, 15, 31)(10, 26, 14, 30)(13, 29, 16, 32)
	L = (1, 18)(2, 21)(3, 23)(4, 17)(5, 27)(6, 29)(7, 30)(8, 19)(9, 28)(10, 20)(11, 32)(12, 24)(13, 25)(14, 22)(15, 26)(16, 31)
	local type(s) :: { ( 4, 8, 4, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.54
Transitivity :: ET+ VT+ AT
Graph:: simple bipartite
	v = 8 e = 16 f = 6
	degree seq :: [ 4^8 ]

E2.59 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y3)^2, (R * Y1)^2, Y2^4, (R * Y2 * Y3^-1)^2, (Y2^-1 * R * Y2^-1)^2, (Y2^-1 * Y1 * Y2^-1)^2, Y2^-1 * Y1 * Y2^-1 * Y1 * Y2 * Y1 * Y2^-1 * Y1, (Y3 * Y2^-1)^8 ]
Map::
	R = (1, 17, 2, 18)(3, 19, 7, 23)(4, 20, 9, 25)(5, 21, 10, 26)(6, 22, 12, 28)(8, 24, 11, 27)(13, 29, 16, 32)(14, 30, 15, 31)(33, 49, 35, 51, 40, 56, 36, 52)(34, 50, 37, 53, 43, 59, 38, 54)(39, 55, 45, 61, 41, 57, 46, 62)(42, 58, 47, 63, 44, 60, 48, 64)
	L = (1, 34)(2, 33)(3, 39)(4, 41)(5, 42)(6, 44)(7, 35)(8, 43)(9, 36)(10, 37)(11, 40)(12, 38)(13, 48)(14, 47)(15, 46)(16, 45)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 2, 16, 2, 16 ), ( 2, 16, 2, 16, 2, 16, 2, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.62
Graph:: bipartite
	v = 12 e = 32 f = 18
	degree seq :: [ 4^8, 8^4 ]

E2.60 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ R^2, Y2 * Y3^-1, (R * Y1)^2, (R * Y3)^2, (Y2 * Y1^-1)^2, Y1^4, (Y3^-1 * Y1^-1)^2, Y2^2 * Y1^-1 * Y2^-2 * Y1^-1, Y2^8 ]
Map::
	R = (1, 17, 2, 18, 6, 22, 4, 20)(3, 19, 9, 25, 13, 29, 8, 24)(5, 21, 11, 27, 14, 30, 7, 23)(10, 26, 16, 32, 12, 28, 15, 31)(33, 49, 35, 51, 42, 58, 46, 62, 38, 54, 45, 61, 44, 60, 37, 53)(34, 50, 39, 55, 47, 63, 41, 57, 36, 52, 43, 59, 48, 64, 40, 56)
	L = (1, 35)(2, 39)(3, 42)(4, 43)(5, 33)(6, 45)(7, 47)(8, 34)(9, 36)(10, 46)(11, 48)(12, 37)(13, 44)(14, 38)(15, 41)(16, 40)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4, 2, 4 ), ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.61
Graph:: bipartite
	v = 6 e = 32 f = 24
	degree seq :: [ 8^4, 16^2 ]

E2.61 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ Y1, Y2^2, R^2, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, Y3^-1 * Y2 * Y3^3 * Y2, Y3^8, (Y3^-1 * Y1^-1)^8 ]
Map:: polytopal
	R = (1, 17)(2, 18)(3, 19)(4, 20)(5, 21)(6, 22)(7, 23)(8, 24)(9, 25)(10, 26)(11, 27)(12, 28)(13, 29)(14, 30)(15, 31)(16, 32)(33, 49, 34, 50)(35, 51, 39, 55)(36, 52, 41, 57)(37, 53, 43, 59)(38, 54, 45, 61)(40, 56, 46, 62)(42, 58, 44, 60)(47, 63, 48, 64)
	L = (1, 35)(2, 37)(3, 40)(4, 33)(5, 44)(6, 34)(7, 47)(8, 43)(9, 46)(10, 36)(11, 48)(12, 39)(13, 42)(14, 38)(15, 41)(16, 45)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 8, 16 ), ( 8, 16, 8, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.60
Graph:: simple bipartite
	v = 24 e = 32 f = 6
	degree seq :: [ 2^16, 4^8 ]

E2.62 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ Y2, R^2, Y3^2, (R * Y1)^2, (R * Y3)^2, (Y3 * Y2^-1)^2, (R * Y2 * Y3)^2, Y3 * Y1^3 * Y3 * Y1^-1, (Y3 * Y1^-2)^2, Y1^8, (Y3 * Y1)^4 ]
Map::
	R = (1, 17, 2, 18, 5, 21, 11, 27, 16, 32, 15, 31, 10, 26, 4, 20)(3, 19, 7, 23, 14, 30, 6, 22, 13, 29, 9, 25, 12, 28, 8, 24)(33, 49)(34, 50)(35, 51)(36, 52)(37, 53)(38, 54)(39, 55)(40, 56)(41, 57)(42, 58)(43, 59)(44, 60)(45, 61)(46, 62)(47, 63)(48, 64)
	L = (1, 35)(2, 38)(3, 33)(4, 41)(5, 44)(6, 34)(7, 43)(8, 47)(9, 36)(10, 46)(11, 39)(12, 37)(13, 48)(14, 42)(15, 40)(16, 45)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 4, 8 ), ( 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.59
Graph:: simple bipartite
	v = 18 e = 32 f = 12
	degree seq :: [ 2^16, 16^2 ]

E2.63 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, (Y1 * Y2^2)^2, (R * Y2 * Y3^-1)^2, Y2^-1 * Y1 * Y2^3 * Y1, (Y3 * Y2^-1)^4 ]
Map::
	R = (1, 17, 2, 18)(3, 19, 7, 23)(4, 20, 9, 25)(5, 21, 11, 27)(6, 22, 13, 29)(8, 24, 14, 30)(10, 26, 12, 28)(15, 31, 16, 32)(33, 49, 35, 51, 40, 56, 43, 59, 48, 64, 45, 61, 42, 58, 36, 52)(34, 50, 37, 53, 44, 60, 39, 55, 47, 63, 41, 57, 46, 62, 38, 54)
	L = (1, 34)(2, 33)(3, 39)(4, 41)(5, 43)(6, 45)(7, 35)(8, 46)(9, 36)(10, 44)(11, 37)(12, 42)(13, 38)(14, 40)(15, 48)(16, 47)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 2, 8, 2, 8 ), ( 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.64
Graph:: bipartite
	v = 10 e = 32 f = 20
	degree seq :: [ 4^8, 16^2 ]

E2.64 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 8})
Quotient :: dipole
Aut^+ = QD16 (small group id <16, 8>)
Aut   = (C2 x D8) : C2 (small group id <32, 43>)
|r| :: 2
Presentation :: [ Y2, R^2, (R * Y1)^2, (R * Y3)^2, (Y3 * Y1^-1)^2, Y1^4, (Y3^-1 * Y1^-1)^2, (R * Y2 * Y3^-1)^2, Y1^-1 * Y3^-4 * Y1^-1, (Y3 * Y2^-1)^8 ]
Map::
	R = (1, 17, 2, 18, 6, 22, 4, 20)(3, 19, 9, 25, 13, 29, 8, 24)(5, 21, 11, 27, 14, 30, 7, 23)(10, 26, 16, 32, 12, 28, 15, 31)(33, 49)(34, 50)(35, 51)(36, 52)(37, 53)(38, 54)(39, 55)(40, 56)(41, 57)(42, 58)(43, 59)(44, 60)(45, 61)(46, 62)(47, 63)(48, 64)
	L = (1, 35)(2, 39)(3, 42)(4, 43)(5, 33)(6, 45)(7, 47)(8, 34)(9, 36)(10, 46)(11, 48)(12, 37)(13, 44)(14, 38)(15, 41)(16, 40)(17, 49)(18, 50)(19, 51)(20, 52)(21, 53)(22, 54)(23, 55)(24, 56)(25, 57)(26, 58)(27, 59)(28, 60)(29, 61)(30, 62)(31, 63)(32, 64)
	local type(s) :: { ( 4, 16 ), ( 4, 16, 4, 16, 4, 16, 4, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.63
Graph:: simple bipartite
	v = 20 e = 32 f = 10
	degree seq :: [ 2^16, 8^4 ]

E2.65 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {3, 3, 4})
Quotient :: edge
Aut^+ = SL(2,3) (small group id <24, 3>)
Aut   = GL(2,3) (small group id <48, 29>)
|r| :: 2
Presentation :: [ F^2, T1^3, (F * T1)^2, (F * T2)^2, T2^4, T1 * T2^-1 * T1 * T2^-1 * T1 * T2, (T2^-1 * T1^-1)^3 ]
Map:: polytopal non-degenerate
	R = (1, 3, 9, 5)(2, 6, 16, 7)(4, 11, 22, 12)(8, 20, 13, 21)(10, 15, 14, 18)(17, 23, 19, 24)(25, 26, 28)(27, 32, 34)(29, 37, 38)(30, 39, 41)(31, 42, 43)(33, 40, 46)(35, 47, 45)(36, 48, 44)
	L = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 6^3 ), ( 6^4 ) }
Outer automorphisms :: reflexible
Dual of E2.66
Transitivity :: ET+
Graph:: simple bipartite
	v = 14 e = 24 f = 8
	degree seq :: [ 3^8, 4^6 ]

E2.66 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {3, 3, 4})
Quotient :: loop
Aut^+ = SL(2,3) (small group id <24, 3>)
Aut   = GL(2,3) (small group id <48, 29>)
|r| :: 2
Presentation :: [ F^2, T1^3, T2^3, (F * T1)^2, (F * T2)^2, T2 * T1 * T2^-1 * T1 * T2 * T1^-1, (T2^-1 * T1^-1)^4 ]
Map:: polytopal non-degenerate
	R = (1, 25, 3, 27, 5, 29)(2, 26, 6, 30, 7, 31)(4, 28, 10, 34, 11, 35)(8, 32, 18, 42, 17, 41)(9, 33, 19, 43, 15, 39)(12, 36, 21, 45, 16, 40)(13, 37, 20, 44, 23, 47)(14, 38, 24, 48, 22, 46)
	L = (1, 26)(2, 28)(3, 32)(4, 25)(5, 36)(6, 38)(7, 40)(8, 33)(9, 27)(10, 44)(11, 45)(12, 37)(13, 29)(14, 39)(15, 30)(16, 41)(17, 31)(18, 48)(19, 34)(20, 43)(21, 46)(22, 35)(23, 42)(24, 47)
	local type(s) :: { ( 3, 4, 3, 4, 3, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.65
Transitivity :: ET+ VT+ AT
Graph:: simple
	v = 8 e = 24 f = 14
	degree seq :: [ 6^8 ]

E2.67 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 3, 4})
Quotient :: dipole
Aut^+ = SL(2,3) (small group id <24, 3>)
Aut   = GL(2,3) (small group id <48, 29>)
|r| :: 2
Presentation :: [ R^2, Y2 * Y3^-1, Y1^3, (R * Y1)^2, (R * Y3)^2, Y2^4, Y2^-2 * Y1 * Y2^-2 * Y1^-1, (Y2^-1 * Y1^-1)^3, (Y3^-1 * Y1^-1)^3 ]
Map::
	R = (1, 25, 2, 26, 4, 28)(3, 27, 8, 32, 10, 34)(5, 29, 13, 37, 14, 38)(6, 30, 15, 39, 17, 41)(7, 31, 18, 42, 19, 43)(9, 33, 16, 40, 22, 46)(11, 35, 23, 47, 21, 45)(12, 36, 24, 48, 20, 44)(49, 73, 51, 75, 57, 81, 53, 77)(50, 74, 54, 78, 64, 88, 55, 79)(52, 76, 59, 83, 70, 94, 60, 84)(56, 80, 68, 92, 61, 85, 69, 93)(58, 82, 63, 87, 62, 86, 66, 90)(65, 89, 71, 95, 67, 91, 72, 96)
	L = (1, 51)(2, 54)(3, 57)(4, 59)(5, 49)(6, 64)(7, 50)(8, 68)(9, 53)(10, 63)(11, 70)(12, 52)(13, 69)(14, 66)(15, 62)(16, 55)(17, 71)(18, 58)(19, 72)(20, 61)(21, 56)(22, 60)(23, 67)(24, 65)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 2, 6, 2, 6, 2, 6 ), ( 2, 6, 2, 6, 2, 6, 2, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.68
Graph:: bipartite
	v = 14 e = 48 f = 32
	degree seq :: [ 6^8, 8^6 ]

E2.68 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {3, 3, 4})
Quotient :: dipole
Aut^+ = SL(2,3) (small group id <24, 3>)
Aut   = GL(2,3) (small group id <48, 29>)
|r| :: 2
Presentation :: [ Y1, R^2, Y2^3, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, Y3^-1 * Y2^-1 * Y3 * Y2^-1 * Y3^-1 * Y2^-1, (Y3 * Y2^-1)^3, Y3^2 * Y2 * Y3^-2 * Y2^-1, (Y3^-1 * Y1^-1)^4 ]
Map:: polytopal
	R = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)(49, 73, 50, 74, 52, 76)(51, 75, 56, 80, 58, 82)(53, 77, 61, 85, 62, 86)(54, 78, 63, 87, 65, 89)(55, 79, 66, 90, 67, 91)(57, 81, 64, 88, 70, 94)(59, 83, 71, 95, 68, 92)(60, 84, 72, 96, 69, 93)
	L = (1, 51)(2, 54)(3, 57)(4, 59)(5, 49)(6, 64)(7, 50)(8, 68)(9, 53)(10, 66)(11, 70)(12, 52)(13, 69)(14, 63)(15, 58)(16, 55)(17, 72)(18, 62)(19, 71)(20, 61)(21, 56)(22, 60)(23, 65)(24, 67)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 6, 8 ), ( 6, 8, 6, 8, 6, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.67
Graph:: simple bipartite
	v = 32 e = 48 f = 14
	degree seq :: [ 2^24, 6^8 ]

E2.69 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 4, 6})
Quotient :: regular
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^6, (T2 * T1^-2)^2, (T1 * T2)^4 ]
Map:: polytopal non-degenerate
	R = (1, 2, 5, 11, 10, 4)(3, 7, 15, 20, 12, 8)(6, 13, 9, 18, 19, 14)(16, 21, 17, 22, 24, 23)
	L = (1, 3)(2, 6)(4, 9)(5, 12)(7, 16)(8, 17)(10, 15)(11, 19)(13, 21)(14, 22)(18, 23)(20, 24)
	local type(s) :: { ( 4^6 ) }
Outer automorphisms :: reflexible
Dual of E2.70
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 4 e = 12 f = 6
	degree seq :: [ 6^4 ]

E2.70 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 4, 6})
Quotient :: regular
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^4, (T1^-1 * T2 * T1^-1)^2, (T1 * T2)^6 ]
Map:: polytopal non-degenerate
	R = (1, 2, 5, 4)(3, 7, 10, 8)(6, 11, 9, 12)(13, 17, 14, 18)(15, 19, 16, 20)(21, 24, 22, 23)
	L = (1, 3)(2, 6)(4, 9)(5, 10)(7, 13)(8, 14)(11, 15)(12, 16)(17, 21)(18, 22)(19, 23)(20, 24)
	local type(s) :: { ( 6^4 ) }
Outer automorphisms :: reflexible
Dual of E2.69
Transitivity :: ET+ VT+ AT+ REG+
Graph:: bipartite
	v = 6 e = 12 f = 4
	degree seq :: [ 4^6 ]

E2.71 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 6})
Quotient :: edge
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2^4, (T2^-1 * T1 * T2^-1)^2, (T2 * T1)^6 ]
Map:: polytopal
	R = (1, 3, 8, 4)(2, 5, 11, 6)(7, 13, 9, 14)(10, 15, 12, 16)(17, 21, 18, 22)(19, 23, 20, 24)(25, 26)(27, 31)(28, 33)(29, 34)(30, 36)(32, 35)(37, 41)(38, 42)(39, 43)(40, 44)(45, 48)(46, 47)
	L = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 12, 12 ), ( 12^4 ) }
Outer automorphisms :: reflexible
Dual of E2.75
Transitivity :: ET+
Graph:: simple bipartite
	v = 18 e = 24 f = 4
	degree seq :: [ 2^12, 4^6 ]

E2.72 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 6})
Quotient :: edge
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ F^2, (F * T1)^2, (F * T2)^2, T1^4, (T2^-1 * T1^-1)^2, (T2 * T1^-1)^2, T2^6 ]
Map:: polytopal non-degenerate
	R = (1, 3, 10, 18, 12, 5)(2, 7, 15, 22, 16, 8)(4, 11, 19, 23, 17, 9)(6, 13, 20, 24, 21, 14)(25, 26, 30, 28)(27, 33, 37, 32)(29, 35, 38, 31)(34, 40, 44, 41)(36, 39, 45, 43)(42, 47, 48, 46)
	L = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 4^4 ), ( 4^6 ) }
Outer automorphisms :: reflexible
Dual of E2.76
Transitivity :: ET+
Graph:: simple bipartite
	v = 10 e = 24 f = 12
	degree seq :: [ 4^6, 6^4 ]

E2.73 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 4, 6})
Quotient :: edge
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^6, (T2 * T1^-2)^2, (T2 * T1)^4 ]
Map:: polytopal
	R = (1, 3)(2, 6)(4, 9)(5, 12)(7, 16)(8, 17)(10, 15)(11, 19)(13, 21)(14, 22)(18, 23)(20, 24)(25, 26, 29, 35, 34, 28)(27, 31, 39, 44, 36, 32)(30, 37, 33, 42, 43, 38)(40, 45, 41, 46, 48, 47)
	L = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)
	local type(s) :: { ( 8, 8 ), ( 8^6 ) }
Outer automorphisms :: reflexible
Dual of E2.74
Transitivity :: ET+
Graph:: simple bipartite
	v = 16 e = 24 f = 6
	degree seq :: [ 2^12, 6^4 ]

E2.74 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 6})
Quotient :: loop
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T1^2, F^2, (F * T1)^2, (F * T2)^2, T2^4, (T2^-1 * T1 * T2^-1)^2, (T2 * T1)^6 ]
Map::
	R = (1, 25, 3, 27, 8, 32, 4, 28)(2, 26, 5, 29, 11, 35, 6, 30)(7, 31, 13, 37, 9, 33, 14, 38)(10, 34, 15, 39, 12, 36, 16, 40)(17, 41, 21, 45, 18, 42, 22, 46)(19, 43, 23, 47, 20, 44, 24, 48)
	L = (1, 26)(2, 25)(3, 31)(4, 33)(5, 34)(6, 36)(7, 27)(8, 35)(9, 28)(10, 29)(11, 32)(12, 30)(13, 41)(14, 42)(15, 43)(16, 44)(17, 37)(18, 38)(19, 39)(20, 40)(21, 48)(22, 47)(23, 46)(24, 45)
	local type(s) :: { ( 2, 6, 2, 6, 2, 6, 2, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.73
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 6 e = 24 f = 16
	degree seq :: [ 8^6 ]

E2.75 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 6})
Quotient :: loop
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ F^2, (F * T1)^2, (F * T2)^2, T1^4, (T2^-1 * T1^-1)^2, (T2 * T1^-1)^2, T2^6 ]
Map::
	R = (1, 25, 3, 27, 10, 34, 18, 42, 12, 36, 5, 29)(2, 26, 7, 31, 15, 39, 22, 46, 16, 40, 8, 32)(4, 28, 11, 35, 19, 43, 23, 47, 17, 41, 9, 33)(6, 30, 13, 37, 20, 44, 24, 48, 21, 45, 14, 38)
	L = (1, 26)(2, 30)(3, 33)(4, 25)(5, 35)(6, 28)(7, 29)(8, 27)(9, 37)(10, 40)(11, 38)(12, 39)(13, 32)(14, 31)(15, 45)(16, 44)(17, 34)(18, 47)(19, 36)(20, 41)(21, 43)(22, 42)(23, 48)(24, 46)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.71
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 4 e = 24 f = 18
	degree seq :: [ 12^4 ]

E2.76 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 4, 6})
Quotient :: loop
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, T1^6, (T2 * T1^-2)^2, (T2 * T1)^4 ]
Map:: polytopal non-degenerate
	R = (1, 25, 3, 27)(2, 26, 6, 30)(4, 28, 9, 33)(5, 29, 12, 36)(7, 31, 16, 40)(8, 32, 17, 41)(10, 34, 15, 39)(11, 35, 19, 43)(13, 37, 21, 45)(14, 38, 22, 46)(18, 42, 23, 47)(20, 44, 24, 48)
	L = (1, 26)(2, 29)(3, 31)(4, 25)(5, 35)(6, 37)(7, 39)(8, 27)(9, 42)(10, 28)(11, 34)(12, 32)(13, 33)(14, 30)(15, 44)(16, 45)(17, 46)(18, 43)(19, 38)(20, 36)(21, 41)(22, 48)(23, 40)(24, 47)
	local type(s) :: { ( 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.72
Transitivity :: ET+ VT+ AT
Graph:: simple bipartite
	v = 12 e = 24 f = 10
	degree seq :: [ 4^12 ]

E2.77 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, Y2^4, (R * Y2 * Y3^-1)^2, (Y2^-1 * Y1 * Y2^-1)^2, (Y3 * Y2^-1)^6 ]
Map::
	R = (1, 25, 2, 26)(3, 27, 7, 31)(4, 28, 9, 33)(5, 29, 10, 34)(6, 30, 12, 36)(8, 32, 11, 35)(13, 37, 17, 41)(14, 38, 18, 42)(15, 39, 19, 43)(16, 40, 20, 44)(21, 45, 24, 48)(22, 46, 23, 47)(49, 73, 51, 75, 56, 80, 52, 76)(50, 74, 53, 77, 59, 83, 54, 78)(55, 79, 61, 85, 57, 81, 62, 86)(58, 82, 63, 87, 60, 84, 64, 88)(65, 89, 69, 93, 66, 90, 70, 94)(67, 91, 71, 95, 68, 92, 72, 96)
	L = (1, 50)(2, 49)(3, 55)(4, 57)(5, 58)(6, 60)(7, 51)(8, 59)(9, 52)(10, 53)(11, 56)(12, 54)(13, 65)(14, 66)(15, 67)(16, 68)(17, 61)(18, 62)(19, 63)(20, 64)(21, 72)(22, 71)(23, 70)(24, 69)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 2, 12, 2, 12 ), ( 2, 12, 2, 12, 2, 12, 2, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.80
Graph:: bipartite
	v = 18 e = 48 f = 28
	degree seq :: [ 4^12, 8^6 ]

E2.78 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ R^2, Y2 * Y3^-1, (R * Y1)^2, (R * Y3)^2, (Y2^-1 * Y1^-1)^2, Y1^4, (Y3^-1 * Y1^-1)^2, (Y2 * Y1^-1)^2, Y2^6 ]
Map::
	R = (1, 25, 2, 26, 6, 30, 4, 28)(3, 27, 9, 33, 13, 37, 8, 32)(5, 29, 11, 35, 14, 38, 7, 31)(10, 34, 16, 40, 20, 44, 17, 41)(12, 36, 15, 39, 21, 45, 19, 43)(18, 42, 23, 47, 24, 48, 22, 46)(49, 73, 51, 75, 58, 82, 66, 90, 60, 84, 53, 77)(50, 74, 55, 79, 63, 87, 70, 94, 64, 88, 56, 80)(52, 76, 59, 83, 67, 91, 71, 95, 65, 89, 57, 81)(54, 78, 61, 85, 68, 92, 72, 96, 69, 93, 62, 86)
	L = (1, 51)(2, 55)(3, 58)(4, 59)(5, 49)(6, 61)(7, 63)(8, 50)(9, 52)(10, 66)(11, 67)(12, 53)(13, 68)(14, 54)(15, 70)(16, 56)(17, 57)(18, 60)(19, 71)(20, 72)(21, 62)(22, 64)(23, 65)(24, 69)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4, 2, 4 ), ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.79
Graph:: bipartite
	v = 10 e = 48 f = 36
	degree seq :: [ 8^6, 12^4 ]

E2.79 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ Y1, Y2^2, R^2, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y3^2 * Y2)^2, (Y3^-1 * Y2)^4, (Y3^-1 * Y1^-1)^6 ]
Map:: polytopal
	R = (1, 25)(2, 26)(3, 27)(4, 28)(5, 29)(6, 30)(7, 31)(8, 32)(9, 33)(10, 34)(11, 35)(12, 36)(13, 37)(14, 38)(15, 39)(16, 40)(17, 41)(18, 42)(19, 43)(20, 44)(21, 45)(22, 46)(23, 47)(24, 48)(49, 73, 50, 74)(51, 75, 55, 79)(52, 76, 57, 81)(53, 77, 59, 83)(54, 78, 61, 85)(56, 80, 62, 86)(58, 82, 60, 84)(63, 87, 67, 91)(64, 88, 70, 94)(65, 89, 71, 95)(66, 90, 68, 92)(69, 93, 72, 96)
	L = (1, 51)(2, 53)(3, 56)(4, 49)(5, 60)(6, 50)(7, 63)(8, 65)(9, 66)(10, 52)(11, 67)(12, 69)(13, 70)(14, 54)(15, 57)(16, 55)(17, 58)(18, 71)(19, 61)(20, 59)(21, 62)(22, 72)(23, 64)(24, 68)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 8, 12 ), ( 8, 12, 8, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.78
Graph:: simple bipartite
	v = 36 e = 48 f = 10
	degree seq :: [ 2^24, 4^12 ]

E2.80 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ Y2, R^2, (R * Y1)^2, (R * Y3)^2, (Y3 * Y2^-1)^2, (R * Y2 * Y3^-1)^2, Y1^6, Y3 * Y1^-2 * Y3^-1 * Y1^-2, (Y3^-1 * Y1)^4 ]
Map:: polytopal
	R = (1, 25, 2, 26, 5, 29, 11, 35, 10, 34, 4, 28)(3, 27, 7, 31, 15, 39, 20, 44, 12, 36, 8, 32)(6, 30, 13, 37, 9, 33, 18, 42, 19, 43, 14, 38)(16, 40, 21, 45, 17, 41, 22, 46, 24, 48, 23, 47)(49, 73)(50, 74)(51, 75)(52, 76)(53, 77)(54, 78)(55, 79)(56, 80)(57, 81)(58, 82)(59, 83)(60, 84)(61, 85)(62, 86)(63, 87)(64, 88)(65, 89)(66, 90)(67, 91)(68, 92)(69, 93)(70, 94)(71, 95)(72, 96)
	L = (1, 51)(2, 54)(3, 49)(4, 57)(5, 60)(6, 50)(7, 64)(8, 65)(9, 52)(10, 63)(11, 67)(12, 53)(13, 69)(14, 70)(15, 58)(16, 55)(17, 56)(18, 71)(19, 59)(20, 72)(21, 61)(22, 62)(23, 66)(24, 68)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 4, 8 ), ( 4, 8, 4, 8, 4, 8, 4, 8, 4, 8, 4, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.77
Graph:: simple bipartite
	v = 28 e = 48 f = 18
	degree seq :: [ 2^24, 12^4 ]

E2.81 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, Y2^6, (Y2^2 * Y1)^2, (Y3 * Y2^-1)^4 ]
Map::
	R = (1, 25, 2, 26)(3, 27, 7, 31)(4, 28, 9, 33)(5, 29, 11, 35)(6, 30, 13, 37)(8, 32, 14, 38)(10, 34, 12, 36)(15, 39, 19, 43)(16, 40, 22, 46)(17, 41, 23, 47)(18, 42, 20, 44)(21, 45, 24, 48)(49, 73, 51, 75, 56, 80, 65, 89, 58, 82, 52, 76)(50, 74, 53, 77, 60, 84, 69, 93, 62, 86, 54, 78)(55, 79, 63, 87, 57, 81, 66, 90, 71, 95, 64, 88)(59, 83, 67, 91, 61, 85, 70, 94, 72, 96, 68, 92)
	L = (1, 50)(2, 49)(3, 55)(4, 57)(5, 59)(6, 61)(7, 51)(8, 62)(9, 52)(10, 60)(11, 53)(12, 58)(13, 54)(14, 56)(15, 67)(16, 70)(17, 71)(18, 68)(19, 63)(20, 66)(21, 72)(22, 64)(23, 65)(24, 69)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 2, 8, 2, 8 ), ( 2, 8, 2, 8, 2, 8, 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.82
Graph:: bipartite
	v = 16 e = 48 f = 30
	degree seq :: [ 4^12, 12^4 ]

E2.82 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 4, 6})
Quotient :: dipole
Aut^+ = (C6 x C2) : C2 (small group id <24, 8>)
Aut   = D8 x S3 (small group id <48, 38>)
|r| :: 2
Presentation :: [ Y2, R^2, (R * Y1)^2, (R * Y3)^2, Y1^4, (Y3^-1 * Y1^-1)^2, (Y3 * Y1^-1)^2, (R * Y2 * Y3^-1)^2, (Y3 * Y2^-1)^6 ]
Map:: polytopal
	R = (1, 25, 2, 26, 6, 30, 4, 28)(3, 27, 9, 33, 13, 37, 8, 32)(5, 29, 11, 35, 14, 38, 7, 31)(10, 34, 16, 40, 20, 44, 17, 41)(12, 36, 15, 39, 21, 45, 19, 43)(18, 42, 23, 47, 24, 48, 22, 46)(49, 73)(50, 74)(51, 75)(52, 76)(53, 77)(54, 78)(55, 79)(56, 80)(57, 81)(58, 82)(59, 83)(60, 84)(61, 85)(62, 86)(63, 87)(64, 88)(65, 89)(66, 90)(67, 91)(68, 92)(69, 93)(70, 94)(71, 95)(72, 96)
	L = (1, 51)(2, 55)(3, 58)(4, 59)(5, 49)(6, 61)(7, 63)(8, 50)(9, 52)(10, 66)(11, 67)(12, 53)(13, 68)(14, 54)(15, 70)(16, 56)(17, 57)(18, 60)(19, 71)(20, 72)(21, 62)(22, 64)(23, 65)(24, 69)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 4, 12 ), ( 4, 12, 4, 12, 4, 12, 4, 12 ) }
Outer automorphisms :: reflexible
Dual of E2.81
Graph:: simple bipartite
	v = 30 e = 48 f = 16
	degree seq :: [ 2^24, 8^6 ]

E2.83 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 3, 8})
Quotient :: regular
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, (T1^-1 * T2)^3, T1^8, (T2 * T1^-4)^2, (T2 * T1^2 * T2 * T1^-1)^2 ]
Map:: polytopal non-degenerate
	R = (1, 2, 5, 11, 21, 20, 10, 4)(3, 7, 15, 27, 36, 31, 17, 8)(6, 13, 25, 41, 35, 44, 26, 14)(9, 18, 32, 38, 22, 37, 29, 16)(12, 23, 39, 33, 19, 34, 40, 24)(28, 45, 48, 42, 30, 46, 47, 43)
	L = (1, 3)(2, 6)(4, 9)(5, 12)(7, 16)(8, 13)(10, 19)(11, 22)(14, 23)(15, 28)(17, 30)(18, 33)(20, 35)(21, 36)(24, 37)(25, 42)(26, 43)(27, 44)(29, 45)(31, 38)(32, 46)(34, 41)(39, 47)(40, 48)
	local type(s) :: { ( 3^8 ) }
Outer automorphisms :: reflexible
Dual of E2.84
Transitivity :: ET+ VT+ AT+ REG+
Graph::
	v = 6 e = 24 f = 16
	degree seq :: [ 8^6 ]

E2.84 :: Family: { 1 } :: Oriented family(ies): { E1b }
Signature :: (0; {2, 3, 8})
Quotient :: regular
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T2^2, F^2, T1^3, (F * T1)^2, (F * T2)^2, (T2 * T1 * T2 * T1 * T2 * T1^-1)^2, (T1^-1 * T2)^8 ]
Map:: polytopal non-degenerate
	R = (1, 2, 4)(3, 6, 7)(5, 9, 10)(8, 13, 14)(11, 17, 18)(12, 19, 20)(15, 23, 24)(16, 25, 26)(21, 31, 32)(22, 33, 34)(27, 39, 38)(28, 40, 36)(29, 41, 37)(30, 42, 43)(35, 45, 44)(46, 48, 47)
	L = (1, 3)(2, 5)(4, 8)(6, 11)(7, 12)(9, 15)(10, 16)(13, 21)(14, 22)(17, 27)(18, 28)(19, 29)(20, 30)(23, 35)(24, 36)(25, 37)(26, 38)(31, 42)(32, 40)(33, 41)(34, 44)(39, 46)(43, 47)(45, 48)
	local type(s) :: { ( 8^3 ) }
Outer automorphisms :: reflexible
Dual of E2.83
Transitivity :: ET+ VT+ AT+ REG+
Graph:: simple bipartite
	v = 16 e = 24 f = 6
	degree seq :: [ 3^16 ]

E2.85 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 3, 8})
Quotient :: edge
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T1^2, F^2, T2^3, (F * T1)^2, (F * T2)^2, (T2 * T1 * T2 * T1 * T2^-1 * T1)^2, (T2^-1 * T1)^8 ]
Map:: polytopal
	R = (1, 3, 4)(2, 5, 6)(7, 11, 12)(8, 13, 14)(9, 15, 16)(10, 17, 18)(19, 27, 28)(20, 29, 30)(21, 31, 32)(22, 33, 34)(23, 35, 36)(24, 37, 38)(25, 39, 40)(26, 41, 42)(43, 47, 44)(45, 48, 46)(49, 50)(51, 55)(52, 56)(53, 57)(54, 58)(59, 67)(60, 68)(61, 69)(62, 70)(63, 71)(64, 72)(65, 73)(66, 74)(75, 91)(76, 86)(77, 88)(78, 84)(79, 89)(80, 85)(81, 87)(82, 92)(83, 93)(90, 94)(95, 96)
	L = (1, 49)(2, 50)(3, 51)(4, 52)(5, 53)(6, 54)(7, 55)(8, 56)(9, 57)(10, 58)(11, 59)(12, 60)(13, 61)(14, 62)(15, 63)(16, 64)(17, 65)(18, 66)(19, 67)(20, 68)(21, 69)(22, 70)(23, 71)(24, 72)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 16, 16 ), ( 16^3 ) }
Outer automorphisms :: reflexible
Dual of E2.89
Transitivity :: ET+
Graph:: simple bipartite
	v = 40 e = 48 f = 6
	degree seq :: [ 2^24, 3^16 ]

E2.86 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 3, 8})
Quotient :: edge
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ F^2, T1^3, (F * T1)^2, (F * T2)^2, (T2^-1 * T1^-1)^2, T2^8, (T2^3 * T1^-1)^2 ]
Map:: polytopal non-degenerate
	R = (1, 3, 9, 19, 37, 26, 13, 5)(2, 6, 14, 27, 45, 32, 16, 7)(4, 11, 22, 40, 48, 34, 17, 8)(10, 21, 39, 25, 43, 41, 35, 18)(12, 23, 42, 31, 36, 20, 38, 24)(15, 29, 47, 33, 44, 28, 46, 30)(49, 50, 52)(51, 56, 58)(53, 60, 54)(55, 63, 59)(57, 66, 68)(61, 73, 71)(62, 72, 76)(64, 79, 77)(65, 81, 69)(67, 84, 80)(70, 78, 89)(74, 88, 91)(75, 92, 82)(83, 94, 86)(85, 93, 96)(87, 95, 90)
	L = (1, 49)(2, 50)(3, 51)(4, 52)(5, 53)(6, 54)(7, 55)(8, 56)(9, 57)(10, 58)(11, 59)(12, 60)(13, 61)(14, 62)(15, 63)(16, 64)(17, 65)(18, 66)(19, 67)(20, 68)(21, 69)(22, 70)(23, 71)(24, 72)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 4^3 ), ( 4^8 ) }
Outer automorphisms :: reflexible
Dual of E2.90
Transitivity :: ET+
Graph:: simple bipartite
	v = 22 e = 48 f = 24
	degree seq :: [ 3^16, 8^6 ]

E2.87 :: Family: { 2 } :: Oriented family(ies): { E3b }
Signature :: (0; {2, 3, 8})
Quotient :: edge
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^3, T1^8, (T2 * T1^-4)^2, (T2 * T1^2 * T2 * T1^-1)^2 ]
Map:: polytopal
	R = (1, 3)(2, 6)(4, 9)(5, 12)(7, 16)(8, 13)(10, 19)(11, 22)(14, 23)(15, 28)(17, 30)(18, 33)(20, 35)(21, 36)(24, 37)(25, 42)(26, 43)(27, 44)(29, 45)(31, 38)(32, 46)(34, 41)(39, 47)(40, 48)(49, 50, 53, 59, 69, 68, 58, 52)(51, 55, 63, 75, 84, 79, 65, 56)(54, 61, 73, 89, 83, 92, 74, 62)(57, 66, 80, 86, 70, 85, 77, 64)(60, 71, 87, 81, 67, 82, 88, 72)(76, 93, 96, 90, 78, 94, 95, 91)
	L = (1, 49)(2, 50)(3, 51)(4, 52)(5, 53)(6, 54)(7, 55)(8, 56)(9, 57)(10, 58)(11, 59)(12, 60)(13, 61)(14, 62)(15, 63)(16, 64)(17, 65)(18, 66)(19, 67)(20, 68)(21, 69)(22, 70)(23, 71)(24, 72)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)
	local type(s) :: { ( 6, 6 ), ( 6^8 ) }
Outer automorphisms :: reflexible
Dual of E2.88
Transitivity :: ET+
Graph:: simple bipartite
	v = 30 e = 48 f = 16
	degree seq :: [ 2^24, 8^6 ]

E2.88 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 3, 8})
Quotient :: loop
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T1^2, F^2, T2^3, (F * T1)^2, (F * T2)^2, (T2 * T1 * T2 * T1 * T2^-1 * T1)^2, (T2^-1 * T1)^8 ]
Map::
	R = (1, 49, 3, 51, 4, 52)(2, 50, 5, 53, 6, 54)(7, 55, 11, 59, 12, 60)(8, 56, 13, 61, 14, 62)(9, 57, 15, 63, 16, 64)(10, 58, 17, 65, 18, 66)(19, 67, 27, 75, 28, 76)(20, 68, 29, 77, 30, 78)(21, 69, 31, 79, 32, 80)(22, 70, 33, 81, 34, 82)(23, 71, 35, 83, 36, 84)(24, 72, 37, 85, 38, 86)(25, 73, 39, 87, 40, 88)(26, 74, 41, 89, 42, 90)(43, 91, 47, 95, 44, 92)(45, 93, 48, 96, 46, 94)
	L = (1, 50)(2, 49)(3, 55)(4, 56)(5, 57)(6, 58)(7, 51)(8, 52)(9, 53)(10, 54)(11, 67)(12, 68)(13, 69)(14, 70)(15, 71)(16, 72)(17, 73)(18, 74)(19, 59)(20, 60)(21, 61)(22, 62)(23, 63)(24, 64)(25, 65)(26, 66)(27, 91)(28, 86)(29, 88)(30, 84)(31, 89)(32, 85)(33, 87)(34, 92)(35, 93)(36, 78)(37, 80)(38, 76)(39, 81)(40, 77)(41, 79)(42, 94)(43, 75)(44, 82)(45, 83)(46, 90)(47, 96)(48, 95)
	local type(s) :: { ( 2, 8, 2, 8, 2, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.87
Transitivity :: ET+ VT+ AT
Graph:: bipartite
	v = 16 e = 48 f = 30
	degree seq :: [ 6^16 ]

E2.89 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 3, 8})
Quotient :: loop
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ F^2, T1^3, (F * T1)^2, (F * T2)^2, (T2^-1 * T1^-1)^2, T2^8, (T2^3 * T1^-1)^2 ]
Map::
	R = (1, 49, 3, 51, 9, 57, 19, 67, 37, 85, 26, 74, 13, 61, 5, 53)(2, 50, 6, 54, 14, 62, 27, 75, 45, 93, 32, 80, 16, 64, 7, 55)(4, 52, 11, 59, 22, 70, 40, 88, 48, 96, 34, 82, 17, 65, 8, 56)(10, 58, 21, 69, 39, 87, 25, 73, 43, 91, 41, 89, 35, 83, 18, 66)(12, 60, 23, 71, 42, 90, 31, 79, 36, 84, 20, 68, 38, 86, 24, 72)(15, 63, 29, 77, 47, 95, 33, 81, 44, 92, 28, 76, 46, 94, 30, 78)
	L = (1, 50)(2, 52)(3, 56)(4, 49)(5, 60)(6, 53)(7, 63)(8, 58)(9, 66)(10, 51)(11, 55)(12, 54)(13, 73)(14, 72)(15, 59)(16, 79)(17, 81)(18, 68)(19, 84)(20, 57)(21, 65)(22, 78)(23, 61)(24, 76)(25, 71)(26, 88)(27, 92)(28, 62)(29, 64)(30, 89)(31, 77)(32, 67)(33, 69)(34, 75)(35, 94)(36, 80)(37, 93)(38, 83)(39, 95)(40, 91)(41, 70)(42, 87)(43, 74)(44, 82)(45, 96)(46, 86)(47, 90)(48, 85)
	local type(s) :: { ( 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3 ) }
Outer automorphisms :: reflexible
Dual of E2.85
Transitivity :: ET+ VT+ AT
Graph::
	v = 6 e = 48 f = 40
	degree seq :: [ 16^6 ]

E2.90 :: Family: { 2* } :: Oriented family(ies): { E3*b }
Signature :: (0; {2, 3, 8})
Quotient :: loop
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ T2^2, F^2, (F * T1)^2, (F * T2)^2, (T2 * T1^-1)^3, T1^8, (T2 * T1^-4)^2, (T2 * T1^2 * T2 * T1^-1)^2 ]
Map:: polytopal non-degenerate
	R = (1, 49, 3, 51)(2, 50, 6, 54)(4, 52, 9, 57)(5, 53, 12, 60)(7, 55, 16, 64)(8, 56, 13, 61)(10, 58, 19, 67)(11, 59, 22, 70)(14, 62, 23, 71)(15, 63, 28, 76)(17, 65, 30, 78)(18, 66, 33, 81)(20, 68, 35, 83)(21, 69, 36, 84)(24, 72, 37, 85)(25, 73, 42, 90)(26, 74, 43, 91)(27, 75, 44, 92)(29, 77, 45, 93)(31, 79, 38, 86)(32, 80, 46, 94)(34, 82, 41, 89)(39, 87, 47, 95)(40, 88, 48, 96)
	L = (1, 50)(2, 53)(3, 55)(4, 49)(5, 59)(6, 61)(7, 63)(8, 51)(9, 66)(10, 52)(11, 69)(12, 71)(13, 73)(14, 54)(15, 75)(16, 57)(17, 56)(18, 80)(19, 82)(20, 58)(21, 68)(22, 85)(23, 87)(24, 60)(25, 89)(26, 62)(27, 84)(28, 93)(29, 64)(30, 94)(31, 65)(32, 86)(33, 67)(34, 88)(35, 92)(36, 79)(37, 77)(38, 70)(39, 81)(40, 72)(41, 83)(42, 78)(43, 76)(44, 74)(45, 96)(46, 95)(47, 91)(48, 90)
	local type(s) :: { ( 3, 8, 3, 8 ) }
Outer automorphisms :: reflexible
Dual of E2.86
Transitivity :: ET+ VT+ AT
Graph:: simple
	v = 24 e = 48 f = 22
	degree seq :: [ 4^24 ]

E2.91 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, Y2^3, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y2 * Y1 * Y2 * Y1 * Y2^-1 * Y1)^2, (Y3 * Y2^-1)^8 ]
Map::
	R = (1, 49, 2, 50)(3, 51, 7, 55)(4, 52, 8, 56)(5, 53, 9, 57)(6, 54, 10, 58)(11, 59, 19, 67)(12, 60, 20, 68)(13, 61, 21, 69)(14, 62, 22, 70)(15, 63, 23, 71)(16, 64, 24, 72)(17, 65, 25, 73)(18, 66, 26, 74)(27, 75, 43, 91)(28, 76, 38, 86)(29, 77, 40, 88)(30, 78, 36, 84)(31, 79, 41, 89)(32, 80, 37, 85)(33, 81, 39, 87)(34, 82, 44, 92)(35, 83, 45, 93)(42, 90, 46, 94)(47, 95, 48, 96)(97, 145, 99, 147, 100, 148)(98, 146, 101, 149, 102, 150)(103, 151, 107, 155, 108, 156)(104, 152, 109, 157, 110, 158)(105, 153, 111, 159, 112, 160)(106, 154, 113, 161, 114, 162)(115, 163, 123, 171, 124, 172)(116, 164, 125, 173, 126, 174)(117, 165, 127, 175, 128, 176)(118, 166, 129, 177, 130, 178)(119, 167, 131, 179, 132, 180)(120, 168, 133, 181, 134, 182)(121, 169, 135, 183, 136, 184)(122, 170, 137, 185, 138, 186)(139, 187, 143, 191, 140, 188)(141, 189, 144, 192, 142, 190)
	L = (1, 98)(2, 97)(3, 103)(4, 104)(5, 105)(6, 106)(7, 99)(8, 100)(9, 101)(10, 102)(11, 115)(12, 116)(13, 117)(14, 118)(15, 119)(16, 120)(17, 121)(18, 122)(19, 107)(20, 108)(21, 109)(22, 110)(23, 111)(24, 112)(25, 113)(26, 114)(27, 139)(28, 134)(29, 136)(30, 132)(31, 137)(32, 133)(33, 135)(34, 140)(35, 141)(36, 126)(37, 128)(38, 124)(39, 129)(40, 125)(41, 127)(42, 142)(43, 123)(44, 130)(45, 131)(46, 138)(47, 144)(48, 143)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 2, 16, 2, 16 ), ( 2, 16, 2, 16, 2, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.94
Graph:: bipartite
	v = 40 e = 96 f = 54
	degree seq :: [ 4^24, 6^16 ]

E2.92 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ R^2, Y2 * Y3^-1, Y1^3, (R * Y1)^2, (R * Y3)^2, (Y3^-1 * Y1^-1)^2, Y2^8, (Y2^3 * Y1^-1)^2 ]
Map::
	R = (1, 49, 2, 50, 4, 52)(3, 51, 8, 56, 10, 58)(5, 53, 12, 60, 6, 54)(7, 55, 15, 63, 11, 59)(9, 57, 18, 66, 20, 68)(13, 61, 25, 73, 23, 71)(14, 62, 24, 72, 28, 76)(16, 64, 31, 79, 29, 77)(17, 65, 33, 81, 21, 69)(19, 67, 36, 84, 32, 80)(22, 70, 30, 78, 41, 89)(26, 74, 40, 88, 43, 91)(27, 75, 44, 92, 34, 82)(35, 83, 46, 94, 38, 86)(37, 85, 45, 93, 48, 96)(39, 87, 47, 95, 42, 90)(97, 145, 99, 147, 105, 153, 115, 163, 133, 181, 122, 170, 109, 157, 101, 149)(98, 146, 102, 150, 110, 158, 123, 171, 141, 189, 128, 176, 112, 160, 103, 151)(100, 148, 107, 155, 118, 166, 136, 184, 144, 192, 130, 178, 113, 161, 104, 152)(106, 154, 117, 165, 135, 183, 121, 169, 139, 187, 137, 185, 131, 179, 114, 162)(108, 156, 119, 167, 138, 186, 127, 175, 132, 180, 116, 164, 134, 182, 120, 168)(111, 159, 125, 173, 143, 191, 129, 177, 140, 188, 124, 172, 142, 190, 126, 174)
	L = (1, 99)(2, 102)(3, 105)(4, 107)(5, 97)(6, 110)(7, 98)(8, 100)(9, 115)(10, 117)(11, 118)(12, 119)(13, 101)(14, 123)(15, 125)(16, 103)(17, 104)(18, 106)(19, 133)(20, 134)(21, 135)(22, 136)(23, 138)(24, 108)(25, 139)(26, 109)(27, 141)(28, 142)(29, 143)(30, 111)(31, 132)(32, 112)(33, 140)(34, 113)(35, 114)(36, 116)(37, 122)(38, 120)(39, 121)(40, 144)(41, 131)(42, 127)(43, 137)(44, 124)(45, 128)(46, 126)(47, 129)(48, 130)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 2, 4, 2, 4, 2, 4 ), ( 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4, 2, 4 ) }
Outer automorphisms :: reflexible
Dual of E2.93
Graph:: bipartite
	v = 22 e = 96 f = 72
	degree seq :: [ 6^16, 16^6 ]

E2.93 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ Y1, Y2^2, R^2, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y3 * Y2)^3, Y3 * Y2 * Y3^-3 * Y2 * Y3^-3 * Y2, (Y3^-1 * Y1^-1)^8 ]
Map:: polytopal
	R = (1, 49)(2, 50)(3, 51)(4, 52)(5, 53)(6, 54)(7, 55)(8, 56)(9, 57)(10, 58)(11, 59)(12, 60)(13, 61)(14, 62)(15, 63)(16, 64)(17, 65)(18, 66)(19, 67)(20, 68)(21, 69)(22, 70)(23, 71)(24, 72)(25, 73)(26, 74)(27, 75)(28, 76)(29, 77)(30, 78)(31, 79)(32, 80)(33, 81)(34, 82)(35, 83)(36, 84)(37, 85)(38, 86)(39, 87)(40, 88)(41, 89)(42, 90)(43, 91)(44, 92)(45, 93)(46, 94)(47, 95)(48, 96)(97, 145, 98, 146)(99, 147, 103, 151)(100, 148, 105, 153)(101, 149, 107, 155)(102, 150, 109, 157)(104, 152, 112, 160)(106, 154, 115, 163)(108, 156, 118, 166)(110, 158, 121, 169)(111, 159, 123, 171)(113, 161, 126, 174)(114, 162, 128, 176)(116, 164, 131, 179)(117, 165, 132, 180)(119, 167, 135, 183)(120, 168, 137, 185)(122, 170, 140, 188)(124, 172, 134, 182)(125, 173, 133, 181)(127, 175, 136, 184)(129, 177, 139, 187)(130, 178, 138, 186)(141, 189, 144, 192)(142, 190, 143, 191)
	L = (1, 99)(2, 101)(3, 104)(4, 97)(5, 108)(6, 98)(7, 109)(8, 113)(9, 114)(10, 100)(11, 105)(12, 119)(13, 120)(14, 102)(15, 103)(16, 123)(17, 127)(18, 129)(19, 130)(20, 106)(21, 107)(22, 132)(23, 136)(24, 138)(25, 139)(26, 110)(27, 141)(28, 111)(29, 112)(30, 133)(31, 116)(32, 115)(33, 140)(34, 142)(35, 135)(36, 143)(37, 117)(38, 118)(39, 124)(40, 122)(41, 121)(42, 131)(43, 144)(44, 126)(45, 128)(46, 125)(47, 137)(48, 134)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 6, 16 ), ( 6, 16, 6, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.92
Graph:: simple bipartite
	v = 72 e = 96 f = 22
	degree seq :: [ 2^48, 4^24 ]

E2.94 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ Y2, R^2, Y3^2, R * Y2 * R * Y2^-1, (R * Y1)^2, (R * Y3)^2, (Y3 * Y2^-1)^2, (Y3 * Y1^-1)^3, Y1^8, (Y3 * Y1^-4)^2, (Y3 * Y1^2 * Y3 * Y1^-1)^2 ]
Map:: polytopal
	R = (1, 49, 2, 50, 5, 53, 11, 59, 21, 69, 20, 68, 10, 58, 4, 52)(3, 51, 7, 55, 15, 63, 27, 75, 36, 84, 31, 79, 17, 65, 8, 56)(6, 54, 13, 61, 25, 73, 41, 89, 35, 83, 44, 92, 26, 74, 14, 62)(9, 57, 18, 66, 32, 80, 38, 86, 22, 70, 37, 85, 29, 77, 16, 64)(12, 60, 23, 71, 39, 87, 33, 81, 19, 67, 34, 82, 40, 88, 24, 72)(28, 76, 45, 93, 48, 96, 42, 90, 30, 78, 46, 94, 47, 95, 43, 91)(97, 145)(98, 146)(99, 147)(100, 148)(101, 149)(102, 150)(103, 151)(104, 152)(105, 153)(106, 154)(107, 155)(108, 156)(109, 157)(110, 158)(111, 159)(112, 160)(113, 161)(114, 162)(115, 163)(116, 164)(117, 165)(118, 166)(119, 167)(120, 168)(121, 169)(122, 170)(123, 171)(124, 172)(125, 173)(126, 174)(127, 175)(128, 176)(129, 177)(130, 178)(131, 179)(132, 180)(133, 181)(134, 182)(135, 183)(136, 184)(137, 185)(138, 186)(139, 187)(140, 188)(141, 189)(142, 190)(143, 191)(144, 192)
	L = (1, 99)(2, 102)(3, 97)(4, 105)(5, 108)(6, 98)(7, 112)(8, 109)(9, 100)(10, 115)(11, 118)(12, 101)(13, 104)(14, 119)(15, 124)(16, 103)(17, 126)(18, 129)(19, 106)(20, 131)(21, 132)(22, 107)(23, 110)(24, 133)(25, 138)(26, 139)(27, 140)(28, 111)(29, 141)(30, 113)(31, 134)(32, 142)(33, 114)(34, 137)(35, 116)(36, 117)(37, 120)(38, 127)(39, 143)(40, 144)(41, 130)(42, 121)(43, 122)(44, 123)(45, 125)(46, 128)(47, 135)(48, 136)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 4, 6 ), ( 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6, 4, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.91
Graph:: simple bipartite
	v = 54 e = 96 f = 40
	degree seq :: [ 2^48, 16^6 ]

E2.95 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ Y1^2, R^2, Y3^-1 * Y1, (R * Y1)^2, (R * Y3)^2, (R * Y2 * Y3^-1)^2, (Y2 * Y1)^3, (Y3 * Y2^-1)^3, Y2^8, Y2 * Y1 * Y2^-3 * Y1 * Y2^-3 * Y1 ]
Map::
	R = (1, 49, 2, 50)(3, 51, 7, 55)(4, 52, 9, 57)(5, 53, 11, 59)(6, 54, 13, 61)(8, 56, 16, 64)(10, 58, 19, 67)(12, 60, 22, 70)(14, 62, 25, 73)(15, 63, 27, 75)(17, 65, 30, 78)(18, 66, 32, 80)(20, 68, 35, 83)(21, 69, 36, 84)(23, 71, 39, 87)(24, 72, 41, 89)(26, 74, 44, 92)(28, 76, 38, 86)(29, 77, 37, 85)(31, 79, 40, 88)(33, 81, 43, 91)(34, 82, 42, 90)(45, 93, 48, 96)(46, 94, 47, 95)(97, 145, 99, 147, 104, 152, 113, 161, 127, 175, 116, 164, 106, 154, 100, 148)(98, 146, 101, 149, 108, 156, 119, 167, 136, 184, 122, 170, 110, 158, 102, 150)(103, 151, 109, 157, 120, 168, 138, 186, 131, 179, 135, 183, 124, 172, 111, 159)(105, 153, 114, 162, 129, 177, 140, 188, 126, 174, 133, 181, 117, 165, 107, 155)(112, 160, 123, 171, 141, 189, 128, 176, 115, 163, 130, 178, 142, 190, 125, 173)(118, 166, 132, 180, 143, 191, 137, 185, 121, 169, 139, 187, 144, 192, 134, 182)
	L = (1, 98)(2, 97)(3, 103)(4, 105)(5, 107)(6, 109)(7, 99)(8, 112)(9, 100)(10, 115)(11, 101)(12, 118)(13, 102)(14, 121)(15, 123)(16, 104)(17, 126)(18, 128)(19, 106)(20, 131)(21, 132)(22, 108)(23, 135)(24, 137)(25, 110)(26, 140)(27, 111)(28, 134)(29, 133)(30, 113)(31, 136)(32, 114)(33, 139)(34, 138)(35, 116)(36, 117)(37, 125)(38, 124)(39, 119)(40, 127)(41, 120)(42, 130)(43, 129)(44, 122)(45, 144)(46, 143)(47, 142)(48, 141)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 2, 6, 2, 6 ), ( 2, 6, 2, 6, 2, 6, 2, 6, 2, 6, 2, 6, 2, 6, 2, 6 ) }
Outer automorphisms :: reflexible
Dual of E2.96
Graph:: bipartite
	v = 30 e = 96 f = 64
	degree seq :: [ 4^24, 16^6 ]

E2.96 :: Family: { 3 } :: Oriented family(ies): { E5a }
Signature :: (0; {2, 3, 8})
Quotient :: dipole
Aut^+ = GL(2,3) (small group id <48, 29>)
Aut   = (SL(2,3) : C2) : C2 (small group id <96, 193>)
|r| :: 2
Presentation :: [ Y2, R^2, Y1^3, (R * Y1)^2, (R * Y3)^2, (Y3^-1 * Y1^-1)^2, (R * Y2 * Y3^-1)^2, (Y3^3 * Y1^-1)^2, (Y3 * Y2^-1)^8 ]
Map:: polytopal
	R = (1, 49, 2, 50, 4, 52)(3, 51, 8, 56, 10, 58)(5, 53, 12, 60, 6, 54)(7, 55, 15, 63, 11, 59)(9, 57, 18, 66, 20, 68)(13, 61, 25, 73, 23, 71)(14, 62, 24, 72, 28, 76)(16, 64, 31, 79, 29, 77)(17, 65, 33, 81, 21, 69)(19, 67, 36, 84, 32, 80)(22, 70, 30, 78, 41, 89)(26, 74, 40, 88, 43, 91)(27, 75, 44, 92, 34, 82)(35, 83, 46, 94, 38, 86)(37, 85, 45, 93, 48, 96)(39, 87, 47, 95, 42, 90)(97, 145)(98, 146)(99, 147)(100, 148)(101, 149)(102, 150)(103, 151)(104, 152)(105, 153)(106, 154)(107, 155)(108, 156)(109, 157)(110, 158)(111, 159)(112, 160)(113, 161)(114, 162)(115, 163)(116, 164)(117, 165)(118, 166)(119, 167)(120, 168)(121, 169)(122, 170)(123, 171)(124, 172)(125, 173)(126, 174)(127, 175)(128, 176)(129, 177)(130, 178)(131, 179)(132, 180)(133, 181)(134, 182)(135, 183)(136, 184)(137, 185)(138, 186)(139, 187)(140, 188)(141, 189)(142, 190)(143, 191)(144, 192)
	L = (1, 99)(2, 102)(3, 105)(4, 107)(5, 97)(6, 110)(7, 98)(8, 100)(9, 115)(10, 117)(11, 118)(12, 119)(13, 101)(14, 123)(15, 125)(16, 103)(17, 104)(18, 106)(19, 133)(20, 134)(21, 135)(22, 136)(23, 138)(24, 108)(25, 139)(26, 109)(27, 141)(28, 142)(29, 143)(30, 111)(31, 132)(32, 112)(33, 140)(34, 113)(35, 114)(36, 116)(37, 122)(38, 120)(39, 121)(40, 144)(41, 131)(42, 127)(43, 137)(44, 124)(45, 128)(46, 126)(47, 129)(48, 130)(49, 145)(50, 146)(51, 147)(52, 148)(53, 149)(54, 150)(55, 151)(56, 152)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62, 158)(63, 159)(64, 160)(65, 161)(66, 162)(67, 163)(68, 164)(69, 165)(70, 166)(71, 167)(72, 168)(73, 169)(74, 170)(75, 171)(76, 172)(77, 173)(78, 174)(79, 175)(80, 176)(81, 177)(82, 178)(83, 179)(84, 180)(85, 181)(86, 182)(87, 183)(88, 184)(89, 185)(90, 186)(91, 187)(92, 188)(93, 189)(94, 190)(95, 191)(96, 192)
	local type(s) :: { ( 4, 16 ), ( 4, 16, 4, 16, 4, 16 ) }
Outer automorphisms :: reflexible
Dual of E2.95
Graph:: simple bipartite
	v = 64 e = 96 f = 30
	degree seq :: [ 2^48, 6^16 ]

## Checksum: 96 records.
## Written on: Tue Oct 15 09:07:31 CEST 2019