def Hex.Conway.supportedEntry_937_2 : SupportedEntry 937 2

The verified table supports C(937, 2).

Equations

• Hex.Conway.supportedEntry_937_2 = { poly := Hex.Conway.luebeckConwayPolynomial_937_2, prime := Hex.Conway.prime_937, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_937_2 }

def Hex.Conway.supportedEntry_967_2 : SupportedEntry 967 2

The verified table supports C(967, 2).

Equations

• Hex.Conway.supportedEntry_967_2 = { poly := Hex.Conway.luebeckConwayPolynomial_967_2, prime := Hex.Conway.prime_967, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_967_2 }

def Hex.Conway.supportedEntry_331_2 : SupportedEntry 331 2

The verified table supports C(331, 2).

Equations

• Hex.Conway.supportedEntry_331_2 = { poly := Hex.Conway.luebeckConwayPolynomial_331_2, prime := Hex.Conway.prime_331, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_331_2 }

def Hex.Conway.supportedEntry_389_2 : SupportedEntry 389 2

The verified table supports C(389, 2).

Equations

• Hex.Conway.supportedEntry_389_2 = { poly := Hex.Conway.luebeckConwayPolynomial_389_2, prime := Hex.Conway.prime_389, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_389_2 }

def Hex.Conway.supportedEntry_443_2 : SupportedEntry 443 2

The verified table supports C(443, 2).

Equations

• Hex.Conway.supportedEntry_443_2 = { poly := Hex.Conway.luebeckConwayPolynomial_443_2, prime := Hex.Conway.prime_443, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_443_2 }

def Hex.Conway.supportedEntry_13_3 : SupportedEntry 13 3

The verified table supports C(13, 3).

Equations

• Hex.Conway.supportedEntry_13_3 = { poly := Hex.Conway.luebeckConwayPolynomial_13_3, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_3 }

def Hex.Conway.supportedEntry_211_2 : SupportedEntry 211 2

The verified table supports C(211, 2).

Equations

• Hex.Conway.supportedEntry_211_2 = { poly := Hex.Conway.luebeckConwayPolynomial_211_2, prime := Hex.Conway.prime_211, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_211_2 }

def Hex.Conway.supportedEntry_541_2 : SupportedEntry 541 2

The verified table supports C(541, 2).

Equations

• Hex.Conway.supportedEntry_541_2 = { poly := Hex.Conway.luebeckConwayPolynomial_541_2, prime := Hex.Conway.prime_541, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_541_2 }

def Hex.Conway.supportedEntry_593_2 : SupportedEntry 593 2

The verified table supports C(593, 2).

Equations

• Hex.Conway.supportedEntry_593_2 = { poly := Hex.Conway.luebeckConwayPolynomial_593_2, prime := Hex.Conway.prime_593, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_593_2 }

def Hex.Conway.supportedEntry_647_2 : SupportedEntry 647 2

The verified table supports C(647, 2).

Equations

• Hex.Conway.supportedEntry_647_2 = { poly := Hex.Conway.luebeckConwayPolynomial_647_2, prime := Hex.Conway.prime_647, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_647_2 }

def Hex.Conway.supportedEntry_719_2 : SupportedEntry 719 2

The verified table supports C(719, 2).

Equations

• Hex.Conway.supportedEntry_719_2 = { poly := Hex.Conway.luebeckConwayPolynomial_719_2, prime := Hex.Conway.prime_719, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_719_2 }

def Hex.Conway.supportedEntry_773_2 : SupportedEntry 773 2

The verified table supports C(773, 2).

Equations

• Hex.Conway.supportedEntry_773_2 = { poly := Hex.Conway.luebeckConwayPolynomial_773_2, prime := Hex.Conway.prime_773, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_773_2 }

def Hex.Conway.supportedEntry_877_2 : SupportedEntry 877 2

The verified table supports C(877, 2).

Equations

• Hex.Conway.supportedEntry_877_2 = { poly := Hex.Conway.luebeckConwayPolynomial_877_2, prime := Hex.Conway.prime_877, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_877_2 }

def Hex.Conway.supportedEntry_977_2 : SupportedEntry 977 2

The verified table supports C(977, 2).

Equations

• Hex.Conway.supportedEntry_977_2 = { poly := Hex.Conway.luebeckConwayPolynomial_977_2, prime := Hex.Conway.prime_977, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_977_2 }

def Hex.Conway.supportedEntry_269_2 : SupportedEntry 269 2

The verified table supports C(269, 2).

Equations

• Hex.Conway.supportedEntry_269_2 = { poly := Hex.Conway.luebeckConwayPolynomial_269_2, prime := Hex.Conway.prime_269, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_269_2 }

def Hex.Conway.supportedEntry_293_2 : SupportedEntry 293 2

The verified table supports C(293, 2).

Equations

• Hex.Conway.supportedEntry_293_2 = { poly := Hex.Conway.luebeckConwayPolynomial_293_2, prime := Hex.Conway.prime_293, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_293_2 }

def Hex.Conway.supportedEntry_347_2 : SupportedEntry 347 2

The verified table supports C(347, 2).

Equations

• Hex.Conway.supportedEntry_347_2 = { poly := Hex.Conway.luebeckConwayPolynomial_347_2, prime := Hex.Conway.prime_347, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_347_2 }

def Hex.Conway.supportedEntry_397_2 : SupportedEntry 397 2

The verified table supports C(397, 2).

Equations

• Hex.Conway.supportedEntry_397_2 = { poly := Hex.Conway.luebeckConwayPolynomial_397_2, prime := Hex.Conway.prime_397, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_397_2 }

def Hex.Conway.supportedEntry_449_2 : SupportedEntry 449 2

The verified table supports C(449, 2).

Equations

• Hex.Conway.supportedEntry_449_2 = { poly := Hex.Conway.luebeckConwayPolynomial_449_2, prime := Hex.Conway.prime_449, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_449_2 }

def Hex.Conway.supportedEntry_499_2 : SupportedEntry 499 2

The verified table supports C(499, 2).

Equations

• Hex.Conway.supportedEntry_499_2 = { poly := Hex.Conway.luebeckConwayPolynomial_499_2, prime := Hex.Conway.prime_499, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_499_2 }

def Hex.Conway.supportedEntry_3_4 : SupportedEntry 3 4

The verified table supports C(3, 4).

Equations

• Hex.Conway.supportedEntry_3_4 = { poly := Hex.Conway.luebeckConwayPolynomial_3_4, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_4 }

def Hex.Conway.supportedEntry_157_2 : SupportedEntry 157 2

The verified table supports C(157, 2).

Equations

• Hex.Conway.supportedEntry_157_2 = { poly := Hex.Conway.luebeckConwayPolynomial_157_2, prime := Hex.Conway.prime_157, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_157_2 }

def Hex.Conway.supportedEntry_191_2 : SupportedEntry 191 2

The verified table supports C(191, 2).

Equations

• Hex.Conway.supportedEntry_191_2 = { poly := Hex.Conway.luebeckConwayPolynomial_191_2, prime := Hex.Conway.prime_191, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_191_2 }

def Hex.Conway.supportedEntry_227_2 : SupportedEntry 227 2

The verified table supports C(227, 2).

Equations

• Hex.Conway.supportedEntry_227_2 = { poly := Hex.Conway.luebeckConwayPolynomial_227_2, prime := Hex.Conway.prime_227, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_227_2 }