def Hex.Conway.supportedEntry_113_1 : SupportedEntry 113 1

The verified table supports C(113, 1).

Equations

• Hex.Conway.supportedEntry_113_1 = { poly := Hex.Conway.luebeckConwayPolynomial_113_1, prime := Hex.Conway.prime_113, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_113_1 }

def Hex.Conway.supportedEntry_59_1 : SupportedEntry 59 1

The verified table supports C(59, 1).

Equations

• Hex.Conway.supportedEntry_59_1 = { poly := Hex.Conway.luebeckConwayPolynomial_59_1, prime := Hex.Conway.prime_59, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_59_1 }

def Hex.Conway.supportedEntry_257_1 : SupportedEntry 257 1

The verified table supports C(257, 1).

Equations

• Hex.Conway.supportedEntry_257_1 = { poly := Hex.Conway.luebeckConwayPolynomial_257_1, prime := Hex.Conway.prime_257, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_257_1 }

def Hex.Conway.supportedEntry_13_1 : SupportedEntry 13 1

The verified table supports C(13, 1).

Equations

• Hex.Conway.supportedEntry_13_1 = { poly := Hex.Conway.luebeckConwayPolynomial_13_1, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_1 }