def Hex.Conway.supportedEntry_73_1 : SupportedEntry 73 1

The verified table supports C(73, 1).

Equations

• Hex.Conway.supportedEntry_73_1 = { poly := Hex.Conway.luebeckConwayPolynomial_73_1, prime := Hex.Conway.prime_73, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_73_1 }

def Hex.Conway.supportedEntry_83_1 : SupportedEntry 83 1

The verified table supports C(83, 1).

Equations

• Hex.Conway.supportedEntry_83_1 = { poly := Hex.Conway.luebeckConwayPolynomial_83_1, prime := Hex.Conway.prime_83, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_83_1 }

def Hex.Conway.supportedEntry_107_1 : SupportedEntry 107 1

The verified table supports C(107, 1).

Equations

• Hex.Conway.supportedEntry_107_1 = { poly := Hex.Conway.luebeckConwayPolynomial_107_1, prime := Hex.Conway.prime_107, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_107_1 }

def Hex.Conway.supportedEntry_47_1 : SupportedEntry 47 1

The verified table supports C(47, 1).

Equations

• Hex.Conway.supportedEntry_47_1 = { poly := Hex.Conway.luebeckConwayPolynomial_47_1, prime := Hex.Conway.prime_47, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_47_1 }

def Hex.Conway.supportedEntry_23_1 : SupportedEntry 23 1

The verified table supports C(23, 1).

Equations

• Hex.Conway.supportedEntry_23_1 = { poly := Hex.Conway.luebeckConwayPolynomial_23_1, prime := Hex.Conway.prime_23, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_23_1 }

def Hex.Conway.supportedEntry_7_1 : SupportedEntry 7 1

The verified table supports C(7, 1).

Equations

• Hex.Conway.supportedEntry_7_1 = { poly := Hex.Conway.luebeckConwayPolynomial_7_1, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_1 }

def Hex.Conway.supportedEntry_3_1 : SupportedEntry 3 1

The verified table supports C(3, 1).

Equations

• Hex.Conway.supportedEntry_3_1 = { poly := Hex.Conway.luebeckConwayPolynomial_3_1, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_1 }