def Hex.Conway.supportedEntry_277_1 : SupportedEntry 277 1

The verified table supports C(277, 1).

Equations

• Hex.Conway.supportedEntry_277_1 = { poly := Hex.Conway.luebeckConwayPolynomial_277_1, prime := Hex.Conway.prime_277, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_277_1 }

def Hex.Conway.supportedEntry_311_1 : SupportedEntry 311 1

The verified table supports C(311, 1).

Equations

• Hex.Conway.supportedEntry_311_1 = { poly := Hex.Conway.luebeckConwayPolynomial_311_1, prime := Hex.Conway.prime_311, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_311_1 }

def Hex.Conway.supportedEntry_367_1 : SupportedEntry 367 1

The verified table supports C(367, 1).

Equations

• Hex.Conway.supportedEntry_367_1 = { poly := Hex.Conway.luebeckConwayPolynomial_367_1, prime := Hex.Conway.prime_367, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_367_1 }

def Hex.Conway.supportedEntry_409_1 : SupportedEntry 409 1

The verified table supports C(409, 1).

Equations

• Hex.Conway.supportedEntry_409_1 = { poly := Hex.Conway.luebeckConwayPolynomial_409_1, prime := Hex.Conway.prime_409, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_409_1 }

def Hex.Conway.supportedEntry_443_1 : SupportedEntry 443 1

The verified table supports C(443, 1).

Equations

• Hex.Conway.supportedEntry_443_1 = { poly := Hex.Conway.luebeckConwayPolynomial_443_1, prime := Hex.Conway.prime_443, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_443_1 }

def Hex.Conway.supportedEntry_499_1 : SupportedEntry 499 1

The verified table supports C(499, 1).

Equations

• Hex.Conway.supportedEntry_499_1 = { poly := Hex.Conway.luebeckConwayPolynomial_499_1, prime := Hex.Conway.prime_499, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_499_1 }

def Hex.Conway.supportedEntry_191_1 : SupportedEntry 191 1

The verified table supports C(191, 1).

Equations

• Hex.Conway.supportedEntry_191_1 = { poly := Hex.Conway.luebeckConwayPolynomial_191_1, prime := Hex.Conway.prime_191, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_191_1 }

def Hex.Conway.supportedEntry_239_1 : SupportedEntry 239 1

The verified table supports C(239, 1).

Equations

• Hex.Conway.supportedEntry_239_1 = { poly := Hex.Conway.luebeckConwayPolynomial_239_1, prime := Hex.Conway.prime_239, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_239_1 }

def Hex.Conway.supportedEntry_79_1 : SupportedEntry 79 1

The verified table supports C(79, 1).

Equations

• Hex.Conway.supportedEntry_79_1 = { poly := Hex.Conway.luebeckConwayPolynomial_79_1, prime := Hex.Conway.prime_79, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_79_1 }

def Hex.Conway.supportedEntry_563_1 : SupportedEntry 563 1

The verified table supports C(563, 1).

Equations

• Hex.Conway.supportedEntry_563_1 = { poly := Hex.Conway.luebeckConwayPolynomial_563_1, prime := Hex.Conway.prime_563, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_563_1 }

def Hex.Conway.supportedEntry_593_1 : SupportedEntry 593 1

The verified table supports C(593, 1).

Equations

• Hex.Conway.supportedEntry_593_1 = { poly := Hex.Conway.luebeckConwayPolynomial_593_1, prime := Hex.Conway.prime_593, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_593_1 }

def Hex.Conway.supportedEntry_719_1 : SupportedEntry 719 1

The verified table supports C(719, 1).

Equations

• Hex.Conway.supportedEntry_719_1 = { poly := Hex.Conway.luebeckConwayPolynomial_719_1, prime := Hex.Conway.prime_719, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_719_1 }

def Hex.Conway.supportedEntry_809_1 : SupportedEntry 809 1

The verified table supports C(809, 1).

Equations

• Hex.Conway.supportedEntry_809_1 = { poly := Hex.Conway.luebeckConwayPolynomial_809_1, prime := Hex.Conway.prime_809, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_809_1 }

def Hex.Conway.supportedEntry_887_1 : SupportedEntry 887 1

The verified table supports C(887, 1).

Equations

• Hex.Conway.supportedEntry_887_1 = { poly := Hex.Conway.luebeckConwayPolynomial_887_1, prime := Hex.Conway.prime_887, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_887_1 }

def Hex.Conway.supportedEntry_43_1 : SupportedEntry 43 1

The verified table supports C(43, 1).

Equations

• Hex.Conway.supportedEntry_43_1 = { poly := Hex.Conway.luebeckConwayPolynomial_43_1, prime := Hex.Conway.prime_43, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_43_1 }

def Hex.Conway.supportedEntry_263_1 : SupportedEntry 263 1

The verified table supports C(263, 1).

Equations

• Hex.Conway.supportedEntry_263_1 = { poly := Hex.Conway.luebeckConwayPolynomial_263_1, prime := Hex.Conway.prime_263, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_263_1 }

def Hex.Conway.supportedEntry_347_1 : SupportedEntry 347 1

The verified table supports C(347, 1).

Equations

• Hex.Conway.supportedEntry_347_1 = { poly := Hex.Conway.luebeckConwayPolynomial_347_1, prime := Hex.Conway.prime_347, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_347_1 }

def Hex.Conway.supportedEntry_389_1 : SupportedEntry 389 1

The verified table supports C(389, 1).

Equations

• Hex.Conway.supportedEntry_389_1 = { poly := Hex.Conway.luebeckConwayPolynomial_389_1, prime := Hex.Conway.prime_389, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_389_1 }

def Hex.Conway.supportedEntry_467_1 : SupportedEntry 467 1

The verified table supports C(467, 1).

Equations

• Hex.Conway.supportedEntry_467_1 = { poly := Hex.Conway.luebeckConwayPolynomial_467_1, prime := Hex.Conway.prime_467, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_467_1 }

def Hex.Conway.supportedEntry_509_1 : SupportedEntry 509 1

The verified table supports C(509, 1).

Equations

• Hex.Conway.supportedEntry_509_1 = { poly := Hex.Conway.luebeckConwayPolynomial_509_1, prime := Hex.Conway.prime_509, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_509_1 }

def Hex.Conway.supportedEntry_167_1 : SupportedEntry 167 1

The verified table supports C(167, 1).

Equations

• Hex.Conway.supportedEntry_167_1 = { poly := Hex.Conway.luebeckConwayPolynomial_167_1, prime := Hex.Conway.prime_167, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_167_1 }

def Hex.Conway.supportedEntry_197_1 : SupportedEntry 197 1

The verified table supports C(197, 1).

Equations

• Hex.Conway.supportedEntry_197_1 = { poly := Hex.Conway.luebeckConwayPolynomial_197_1, prime := Hex.Conway.prime_197, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_197_1 }

def Hex.Conway.supportedEntry_31_1 : SupportedEntry 31 1

The verified table supports C(31, 1).

Equations

• Hex.Conway.supportedEntry_31_1 = { poly := Hex.Conway.luebeckConwayPolynomial_31_1, prime := Hex.Conway.prime_31, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_31_1 }

def Hex.Conway.supportedEntry_101_1 : SupportedEntry 101 1

The verified table supports C(101, 1).

Equations

• Hex.Conway.supportedEntry_101_1 = { poly := Hex.Conway.luebeckConwayPolynomial_101_1, prime := Hex.Conway.prime_101, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_101_1 }