def Hex.Conway.supportedEntry_431_1 : SupportedEntry 431 1

The verified table supports C(431, 1).

Equations

• Hex.Conway.supportedEntry_431_1 = { poly := Hex.Conway.luebeckConwayPolynomial_431_1, prime := Hex.Conway.prime_431, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_431_1 }

def Hex.Conway.supportedEntry_461_1 : SupportedEntry 461 1

The verified table supports C(461, 1).

Equations

• Hex.Conway.supportedEntry_461_1 = { poly := Hex.Conway.luebeckConwayPolynomial_461_1, prime := Hex.Conway.prime_461, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_461_1 }

def Hex.Conway.supportedEntry_139_1 : SupportedEntry 139 1

The verified table supports C(139, 1).

Equations

• Hex.Conway.supportedEntry_139_1 = { poly := Hex.Conway.luebeckConwayPolynomial_139_1, prime := Hex.Conway.prime_139, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_139_1 }

def Hex.Conway.supportedEntry_181_1 : SupportedEntry 181 1

The verified table supports C(181, 1).

Equations

• Hex.Conway.supportedEntry_181_1 = { poly := Hex.Conway.luebeckConwayPolynomial_181_1, prime := Hex.Conway.prime_181, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_181_1 }

def Hex.Conway.supportedEntry_229_1 : SupportedEntry 229 1

The verified table supports C(229, 1).

Equations

• Hex.Conway.supportedEntry_229_1 = { poly := Hex.Conway.luebeckConwayPolynomial_229_1, prime := Hex.Conway.prime_229, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_229_1 }

def Hex.Conway.supportedEntry_71_1 : SupportedEntry 71 1

The verified table supports C(71, 1).

Equations

• Hex.Conway.supportedEntry_71_1 = { poly := Hex.Conway.luebeckConwayPolynomial_71_1, prime := Hex.Conway.prime_71, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_71_1 }

def Hex.Conway.supportedEntry_557_1 : SupportedEntry 557 1

The verified table supports C(557, 1).

Equations

• Hex.Conway.supportedEntry_557_1 = { poly := Hex.Conway.luebeckConwayPolynomial_557_1, prime := Hex.Conway.prime_557, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_557_1 }

def Hex.Conway.supportedEntry_577_1 : SupportedEntry 577 1

The verified table supports C(577, 1).

Equations

• Hex.Conway.supportedEntry_577_1 = { poly := Hex.Conway.luebeckConwayPolynomial_577_1, prime := Hex.Conway.prime_577, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_577_1 }

def Hex.Conway.supportedEntry_653_1 : SupportedEntry 653 1

The verified table supports C(653, 1).

Equations

• Hex.Conway.supportedEntry_653_1 = { poly := Hex.Conway.luebeckConwayPolynomial_653_1, prime := Hex.Conway.prime_653, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_653_1 }

def Hex.Conway.supportedEntry_773_1 : SupportedEntry 773 1

The verified table supports C(773, 1).

Equations

• Hex.Conway.supportedEntry_773_1 = { poly := Hex.Conway.luebeckConwayPolynomial_773_1, prime := Hex.Conway.prime_773, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_773_1 }

def Hex.Conway.supportedEntry_857_1 : SupportedEntry 857 1

The verified table supports C(857, 1).

Equations

• Hex.Conway.supportedEntry_857_1 = { poly := Hex.Conway.luebeckConwayPolynomial_857_1, prime := Hex.Conway.prime_857, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_857_1 }

def Hex.Conway.supportedEntry_977_1 : SupportedEntry 977 1

The verified table supports C(977, 1).

Equations

• Hex.Conway.supportedEntry_977_1 = { poly := Hex.Conway.luebeckConwayPolynomial_977_1, prime := Hex.Conway.prime_977, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_977_1 }

def Hex.Conway.supportedEntry_269_1 : SupportedEntry 269 1

The verified table supports C(269, 1).

Equations

• Hex.Conway.supportedEntry_269_1 = { poly := Hex.Conway.luebeckConwayPolynomial_269_1, prime := Hex.Conway.prime_269, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_269_1 }

def Hex.Conway.supportedEntry_353_1 : SupportedEntry 353 1

The verified table supports C(353, 1).

Equations

• Hex.Conway.supportedEntry_353_1 = { poly := Hex.Conway.luebeckConwayPolynomial_353_1, prime := Hex.Conway.prime_353, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_353_1 }

def Hex.Conway.supportedEntry_401_1 : SupportedEntry 401 1

The verified table supports C(401, 1).

Equations

• Hex.Conway.supportedEntry_401_1 = { poly := Hex.Conway.luebeckConwayPolynomial_401_1, prime := Hex.Conway.prime_401, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_401_1 }

def Hex.Conway.supportedEntry_479_1 : SupportedEntry 479 1

The verified table supports C(479, 1).

Equations

• Hex.Conway.supportedEntry_479_1 = { poly := Hex.Conway.luebeckConwayPolynomial_479_1, prime := Hex.Conway.prime_479, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_479_1 }

def Hex.Conway.supportedEntry_2_2 : SupportedEntry 2 2

The verified table supports C(2, 2).

Equations

• Hex.Conway.supportedEntry_2_2 = { poly := Hex.Conway.luebeckConwayPolynomial_2_2, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_2 }

def Hex.Conway.supportedEntry_149_1 : SupportedEntry 149 1

The verified table supports C(149, 1).

Equations

• Hex.Conway.supportedEntry_149_1 = { poly := Hex.Conway.luebeckConwayPolynomial_149_1, prime := Hex.Conway.prime_149, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_149_1 }

def Hex.Conway.supportedEntry_179_1 : SupportedEntry 179 1

The verified table supports C(179, 1).

Equations

• Hex.Conway.supportedEntry_179_1 = { poly := Hex.Conway.luebeckConwayPolynomial_179_1, prime := Hex.Conway.prime_179, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_179_1 }

def Hex.Conway.supportedEntry_233_1 : SupportedEntry 233 1

The verified table supports C(233, 1).

Equations

• Hex.Conway.supportedEntry_233_1 = { poly := Hex.Conway.luebeckConwayPolynomial_233_1, prime := Hex.Conway.prime_233, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_233_1 }

def Hex.Conway.supportedEntry_89_1 : SupportedEntry 89 1

The verified table supports C(89, 1).

Equations

• Hex.Conway.supportedEntry_89_1 = { poly := Hex.Conway.luebeckConwayPolynomial_89_1, prime := Hex.Conway.prime_89, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_89_1 }

def Hex.Conway.supportedEntry_109_1 : SupportedEntry 109 1

The verified table supports C(109, 1).

Equations

• Hex.Conway.supportedEntry_109_1 = { poly := Hex.Conway.luebeckConwayPolynomial_109_1, prime := Hex.Conway.prime_109, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_109_1 }

def Hex.Conway.supportedEntry_53_1 : SupportedEntry 53 1

The verified table supports C(53, 1).

Equations

• Hex.Conway.supportedEntry_53_1 = { poly := Hex.Conway.luebeckConwayPolynomial_53_1, prime := Hex.Conway.prime_53, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_53_1 }

def Hex.Conway.supportedEntry_29_1 : SupportedEntry 29 1

The verified table supports C(29, 1).

Equations

• Hex.Conway.supportedEntry_29_1 = { poly := Hex.Conway.luebeckConwayPolynomial_29_1, prime := Hex.Conway.prime_29, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_29_1 }