# Transitive groups downloaded from the LMFDB on 22 June 2024.
# Search link: https://www.lmfdb.org/GaloisGroup/?n=47
# Query "{'n': 47}" returned 6 groups, sorted by degree.
# Each entry in the following data list has the form:
# [Label, Name, Order, Parity, Solvable, Low Degree Siblings]
# For more details, see the definitions at the bottom of the file.
"47T1" "$C_{47}$" 47 1 1 [[], 47]
"47T2" "$D_{47}$" 94 -1 1 [[], 47]
"47T3" "$C_{47}:C_{23}$" 1081 1 1 [[], 47]
"47T4" "$F_{47}$" 2162 -1 1 [[], 47]
"47T5" "$A_{47}$" 129311620755584090321482177576805989984598816194560000000000 1 0 [[], 47]
"47T6" "$S_{47}$" 258623241511168180642964355153611979969197632389120000000000 -1 0 [[], 47]
# Label --
# Labels for Galois groups are of the form $\tt{nTt}$ where $n$ is the degree and $t$ is the $T$-number.
#Name (pretty) --
# We describe abstract groups using standard building blocks:
#
# - $C_n$ denotes the cyclic group of order $n$
#
- $D_n$ denotes the dihedral group of order $2n$
#
- $A_n$ denotes the alternating group on $n$ letters
#
- $S_n$ denotes the symmetric group on $n$ letters
#

# Groups $A$ and $B$ may be used to construct a larger group:
# - $A\times B$ for the direct product of $A$ and $B$
# - $A:B$ for the semidirect product of $A$ and $B$ (with normal subgroup $A$)
# - $A.B$ an extension with normal subgroup $A$ and quotient isomorphic to $B$
# - $A\wr B$ for the wreath product of A and B
# Order --
# The **order** of a group is its cardinality as a set.
# Parity --
# A Galois group $G\leq S_n$ has **parity** $1$ if $G\leq A_n$, and $-1$ otherwise.
#Solvable (solv) --
# A group $G$ is **solvable** if there exists a chain of subgroups
# \[ \langle e\rangle =H_0\leq H_1 \leq H_2 \leq \cdots \leq H_n=G\]
# such that for all $i