def Hex.Conway.supportedEntry_37_1 : SupportedEntry 37 1

The verified table supports C(37, 1).

Equations

• Hex.Conway.supportedEntry_37_1 = { poly := Hex.Conway.luebeckConwayPolynomial_37_1, prime := Hex.Conway.prime_37, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_37_1 }

def Hex.Conway.supportedEntry_41_1 : SupportedEntry 41 1

The verified table supports C(41, 1).

Equations

• Hex.Conway.supportedEntry_41_1 = { poly := Hex.Conway.luebeckConwayPolynomial_41_1, prime := Hex.Conway.prime_41, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_41_1 }

def Hex.Conway.supportedEntry_19_1 : SupportedEntry 19 1

The verified table supports C(19, 1).

Equations

• Hex.Conway.supportedEntry_19_1 = { poly := Hex.Conway.luebeckConwayPolynomial_19_1, prime := Hex.Conway.prime_19, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_19_1 }

def Hex.Conway.supportedEntry_11_1 : SupportedEntry 11 1

The verified table supports C(11, 1).

Equations

• Hex.Conway.supportedEntry_11_1 = { poly := Hex.Conway.luebeckConwayPolynomial_11_1, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_1 }

def Hex.Conway.supportedEntry_2_1 : SupportedEntry 2 1

The verified table supports C(2, 1).

Equations

• Hex.Conway.supportedEntry_2_1 = { poly := Hex.Conway.luebeckConwayPolynomial_2_1, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_1 }