def Hex.Conway.supportedEntry_947_1 : SupportedEntry 947 1

The verified table supports C(947, 1).

Equations

• Hex.Conway.supportedEntry_947_1 = { poly := Hex.Conway.luebeckConwayPolynomial_947_1, prime := Hex.Conway.prime_947, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_947_1 }

def Hex.Conway.supportedEntry_271_1 : SupportedEntry 271 1

The verified table supports C(271, 1).

Equations

• Hex.Conway.supportedEntry_271_1 = { poly := Hex.Conway.luebeckConwayPolynomial_271_1, prime := Hex.Conway.prime_271, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_271_1 }

def Hex.Conway.supportedEntry_307_1 : SupportedEntry 307 1

The verified table supports C(307, 1).

Equations

• Hex.Conway.supportedEntry_307_1 = { poly := Hex.Conway.luebeckConwayPolynomial_307_1, prime := Hex.Conway.prime_307, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_307_1 }

def Hex.Conway.supportedEntry_349_1 : SupportedEntry 349 1

The verified table supports C(349, 1).

Equations

• Hex.Conway.supportedEntry_349_1 = { poly := Hex.Conway.luebeckConwayPolynomial_349_1, prime := Hex.Conway.prime_349, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_349_1 }

def Hex.Conway.supportedEntry_397_1 : SupportedEntry 397 1

The verified table supports C(397, 1).

Equations

• Hex.Conway.supportedEntry_397_1 = { poly := Hex.Conway.luebeckConwayPolynomial_397_1, prime := Hex.Conway.prime_397, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_397_1 }

def Hex.Conway.supportedEntry_439_1 : SupportedEntry 439 1

The verified table supports C(439, 1).

Equations

• Hex.Conway.supportedEntry_439_1 = { poly := Hex.Conway.luebeckConwayPolynomial_439_1, prime := Hex.Conway.prime_439, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_439_1 }

def Hex.Conway.supportedEntry_491_1 : SupportedEntry 491 1

The verified table supports C(491, 1).

Equations

• Hex.Conway.supportedEntry_491_1 = { poly := Hex.Conway.luebeckConwayPolynomial_491_1, prime := Hex.Conway.prime_491, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_491_1 }

def Hex.Conway.supportedEntry_151_1 : SupportedEntry 151 1

The verified table supports C(151, 1).

Equations

• Hex.Conway.supportedEntry_151_1 = { poly := Hex.Conway.luebeckConwayPolynomial_151_1, prime := Hex.Conway.prime_151, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_151_1 }

def Hex.Conway.supportedEntry_199_1 : SupportedEntry 199 1

The verified table supports C(199, 1).

Equations

• Hex.Conway.supportedEntry_199_1 = { poly := Hex.Conway.luebeckConwayPolynomial_199_1, prime := Hex.Conway.prime_199, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_199_1 }

def Hex.Conway.supportedEntry_241_1 : SupportedEntry 241 1

The verified table supports C(241, 1).

Equations

• Hex.Conway.supportedEntry_241_1 = { poly := Hex.Conway.luebeckConwayPolynomial_241_1, prime := Hex.Conway.prime_241, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_241_1 }

def Hex.Conway.supportedEntry_103_1 : SupportedEntry 103 1

The verified table supports C(103, 1).

Equations

• Hex.Conway.supportedEntry_103_1 = { poly := Hex.Conway.luebeckConwayPolynomial_103_1, prime := Hex.Conway.prime_103, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_103_1 }

def Hex.Conway.supportedEntry_569_1 : SupportedEntry 569 1

The verified table supports C(569, 1).

Equations

• Hex.Conway.supportedEntry_569_1 = { poly := Hex.Conway.luebeckConwayPolynomial_569_1, prime := Hex.Conway.prime_569, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_569_1 }

def Hex.Conway.supportedEntry_641_1 : SupportedEntry 641 1

The verified table supports C(641, 1).

Equations

• Hex.Conway.supportedEntry_641_1 = { poly := Hex.Conway.luebeckConwayPolynomial_641_1, prime := Hex.Conway.prime_641, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_641_1 }

def Hex.Conway.supportedEntry_769_1 : SupportedEntry 769 1

The verified table supports C(769, 1).

Equations

• Hex.Conway.supportedEntry_769_1 = { poly := Hex.Conway.luebeckConwayPolynomial_769_1, prime := Hex.Conway.prime_769, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_769_1 }

def Hex.Conway.supportedEntry_839_1 : SupportedEntry 839 1

The verified table supports C(839, 1).

Equations

• Hex.Conway.supportedEntry_839_1 = { poly := Hex.Conway.luebeckConwayPolynomial_839_1, prime := Hex.Conway.prime_839, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_839_1 }

def Hex.Conway.supportedEntry_929_1 : SupportedEntry 929 1

The verified table supports C(929, 1).

Equations

• Hex.Conway.supportedEntry_929_1 = { poly := Hex.Conway.luebeckConwayPolynomial_929_1, prime := Hex.Conway.prime_929, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_929_1 }

def Hex.Conway.supportedEntry_61_1 : SupportedEntry 61 1

The verified table supports C(61, 1).

Equations

• Hex.Conway.supportedEntry_61_1 = { poly := Hex.Conway.luebeckConwayPolynomial_61_1, prime := Hex.Conway.prime_61, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_61_1 }

def Hex.Conway.supportedEntry_317_1 : SupportedEntry 317 1

The verified table supports C(317, 1).

Equations

• Hex.Conway.supportedEntry_317_1 = { poly := Hex.Conway.luebeckConwayPolynomial_317_1, prime := Hex.Conway.prime_317, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_317_1 }

def Hex.Conway.supportedEntry_383_1 : SupportedEntry 383 1

The verified table supports C(383, 1).

Equations

• Hex.Conway.supportedEntry_383_1 = { poly := Hex.Conway.luebeckConwayPolynomial_383_1, prime := Hex.Conway.prime_383, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_383_1 }

def Hex.Conway.supportedEntry_449_1 : SupportedEntry 449 1

The verified table supports C(449, 1).

Equations

• Hex.Conway.supportedEntry_449_1 = { poly := Hex.Conway.luebeckConwayPolynomial_449_1, prime := Hex.Conway.prime_449, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_449_1 }

def Hex.Conway.supportedEntry_503_1 : SupportedEntry 503 1

The verified table supports C(503, 1).

Equations

• Hex.Conway.supportedEntry_503_1 = { poly := Hex.Conway.luebeckConwayPolynomial_503_1, prime := Hex.Conway.prime_503, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_503_1 }

def Hex.Conway.supportedEntry_137_1 : SupportedEntry 137 1

The verified table supports C(137, 1).

Equations

• Hex.Conway.supportedEntry_137_1 = { poly := Hex.Conway.luebeckConwayPolynomial_137_1, prime := Hex.Conway.prime_137, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_137_1 }

def Hex.Conway.supportedEntry_173_1 : SupportedEntry 173 1

The verified table supports C(173, 1).

Equations

• Hex.Conway.supportedEntry_173_1 = { poly := Hex.Conway.luebeckConwayPolynomial_173_1, prime := Hex.Conway.prime_173, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_173_1 }

def Hex.Conway.supportedEntry_227_1 : SupportedEntry 227 1

The verified table supports C(227, 1).

Equations

• Hex.Conway.supportedEntry_227_1 = { poly := Hex.Conway.luebeckConwayPolynomial_227_1, prime := Hex.Conway.prime_227, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_227_1 }