def Hex.Conway.supportedEntry_947_2 : SupportedEntry 947 2

The verified table supports C(947, 2).

Equations

• Hex.Conway.supportedEntry_947_2 = { poly := Hex.Conway.luebeckConwayPolynomial_947_2, prime := Hex.Conway.prime_947, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_947_2 }

def Hex.Conway.supportedEntry_281_2 : SupportedEntry 281 2

The verified table supports C(281, 2).

Equations

• Hex.Conway.supportedEntry_281_2 = { poly := Hex.Conway.luebeckConwayPolynomial_281_2, prime := Hex.Conway.prime_281, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_281_2 }

def Hex.Conway.supportedEntry_311_2 : SupportedEntry 311 2

The verified table supports C(311, 2).

Equations

• Hex.Conway.supportedEntry_311_2 = { poly := Hex.Conway.luebeckConwayPolynomial_311_2, prime := Hex.Conway.prime_311, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_311_2 }

def Hex.Conway.supportedEntry_379_2 : SupportedEntry 379 2

The verified table supports C(379, 2).

Equations

• Hex.Conway.supportedEntry_379_2 = { poly := Hex.Conway.luebeckConwayPolynomial_379_2, prime := Hex.Conway.prime_379, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_379_2 }

def Hex.Conway.supportedEntry_439_2 : SupportedEntry 439 2

The verified table supports C(439, 2).

Equations

• Hex.Conway.supportedEntry_439_2 = { poly := Hex.Conway.luebeckConwayPolynomial_439_2, prime := Hex.Conway.prime_439, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_439_2 }

def Hex.Conway.supportedEntry_509_2 : SupportedEntry 509 2

The verified table supports C(509, 2).

Equations

• Hex.Conway.supportedEntry_509_2 = { poly := Hex.Conway.luebeckConwayPolynomial_509_2, prime := Hex.Conway.prime_509, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_509_2 }

def Hex.Conway.supportedEntry_239_2 : SupportedEntry 239 2

The verified table supports C(239, 2).

Equations

• Hex.Conway.supportedEntry_239_2 = { poly := Hex.Conway.luebeckConwayPolynomial_239_2, prime := Hex.Conway.prime_239, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_239_2 }

def Hex.Conway.supportedEntry_563_2 : SupportedEntry 563 2

The verified table supports C(563, 2).

Equations

• Hex.Conway.supportedEntry_563_2 = { poly := Hex.Conway.luebeckConwayPolynomial_563_2, prime := Hex.Conway.prime_563, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_563_2 }

def Hex.Conway.supportedEntry_613_2 : SupportedEntry 613 2

The verified table supports C(613, 2).

Equations

• Hex.Conway.supportedEntry_613_2 = { poly := Hex.Conway.luebeckConwayPolynomial_613_2, prime := Hex.Conway.prime_613, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_613_2 }

def Hex.Conway.supportedEntry_673_2 : SupportedEntry 673 2

The verified table supports C(673, 2).

Equations

• Hex.Conway.supportedEntry_673_2 = { poly := Hex.Conway.luebeckConwayPolynomial_673_2, prime := Hex.Conway.prime_673, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_673_2 }

def Hex.Conway.supportedEntry_751_2 : SupportedEntry 751 2

The verified table supports C(751, 2).

Equations

• Hex.Conway.supportedEntry_751_2 = { poly := Hex.Conway.luebeckConwayPolynomial_751_2, prime := Hex.Conway.prime_751, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_751_2 }

def Hex.Conway.supportedEntry_809_2 : SupportedEntry 809 2

The verified table supports C(809, 2).

Equations

• Hex.Conway.supportedEntry_809_2 = { poly := Hex.Conway.luebeckConwayPolynomial_809_2, prime := Hex.Conway.prime_809, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_809_2 }

def Hex.Conway.supportedEntry_907_2 : SupportedEntry 907 2

The verified table supports C(907, 2).

Equations

• Hex.Conway.supportedEntry_907_2 = { poly := Hex.Conway.luebeckConwayPolynomial_907_2, prime := Hex.Conway.prime_907, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_907_2 }

def Hex.Conway.supportedEntry_997_2 : SupportedEntry 997 2

The verified table supports C(997, 2).

Equations

• Hex.Conway.supportedEntry_997_2 = { poly := Hex.Conway.luebeckConwayPolynomial_997_2, prime := Hex.Conway.prime_997, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_997_2 }

def Hex.Conway.supportedEntry_277_2 : SupportedEntry 277 2

The verified table supports C(277, 2).

Equations

• Hex.Conway.supportedEntry_277_2 = { poly := Hex.Conway.luebeckConwayPolynomial_277_2, prime := Hex.Conway.prime_277, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_277_2 }

def Hex.Conway.supportedEntry_317_2 : SupportedEntry 317 2

The verified table supports C(317, 2).

Equations

• Hex.Conway.supportedEntry_317_2 = { poly := Hex.Conway.luebeckConwayPolynomial_317_2, prime := Hex.Conway.prime_317, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_317_2 }

def Hex.Conway.supportedEntry_359_2 : SupportedEntry 359 2

The verified table supports C(359, 2).

Equations

• Hex.Conway.supportedEntry_359_2 = { poly := Hex.Conway.luebeckConwayPolynomial_359_2, prime := Hex.Conway.prime_359, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_359_2 }

def Hex.Conway.supportedEntry_431_2 : SupportedEntry 431 2

The verified table supports C(431, 2).

Equations

• Hex.Conway.supportedEntry_431_2 = { poly := Hex.Conway.luebeckConwayPolynomial_431_2, prime := Hex.Conway.prime_431, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_431_2 }

def Hex.Conway.supportedEntry_467_2 : SupportedEntry 467 2

The verified table supports C(467, 2).

Equations

• Hex.Conway.supportedEntry_467_2 = { poly := Hex.Conway.luebeckConwayPolynomial_467_2, prime := Hex.Conway.prime_467, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_467_2 }

def Hex.Conway.supportedEntry_17_3 : SupportedEntry 17 3

The verified table supports C(17, 3).

Equations

• Hex.Conway.supportedEntry_17_3 = { poly := Hex.Conway.luebeckConwayPolynomial_17_3, prime := Hex.Conway.prime_17, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_17_3 }

def Hex.Conway.supportedEntry_137_2 : SupportedEntry 137 2

The verified table supports C(137, 2).

Equations

• Hex.Conway.supportedEntry_137_2 = { poly := Hex.Conway.luebeckConwayPolynomial_137_2, prime := Hex.Conway.prime_137, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_137_2 }

def Hex.Conway.supportedEntry_167_2 : SupportedEntry 167 2

The verified table supports C(167, 2).

Equations

• Hex.Conway.supportedEntry_167_2 = { poly := Hex.Conway.luebeckConwayPolynomial_167_2, prime := Hex.Conway.prime_167, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_167_2 }

def Hex.Conway.supportedEntry_197_2 : SupportedEntry 197 2

The verified table supports C(197, 2).

Equations

• Hex.Conway.supportedEntry_197_2 = { poly := Hex.Conway.luebeckConwayPolynomial_197_2, prime := Hex.Conway.prime_197, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_197_2 }

def Hex.Conway.supportedEntry_233_2 : SupportedEntry 233 2

The verified table supports C(233, 2).

Equations

• Hex.Conway.supportedEntry_233_2 = { poly := Hex.Conway.luebeckConwayPolynomial_233_2, prime := Hex.Conway.prime_233, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_233_2 }