def Hex.Conway.supportedEntry_281_1 : SupportedEntry 281 1

The verified table supports C(281, 1).

Equations

• Hex.Conway.supportedEntry_281_1 = { poly := Hex.Conway.luebeckConwayPolynomial_281_1, prime := Hex.Conway.prime_281, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_281_1 }

def Hex.Conway.supportedEntry_313_1 : SupportedEntry 313 1

The verified table supports C(313, 1).

Equations

• Hex.Conway.supportedEntry_313_1 = { poly := Hex.Conway.luebeckConwayPolynomial_313_1, prime := Hex.Conway.prime_313, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_313_1 }

def Hex.Conway.supportedEntry_373_1 : SupportedEntry 373 1

The verified table supports C(373, 1).

Equations

• Hex.Conway.supportedEntry_373_1 = { poly := Hex.Conway.luebeckConwayPolynomial_373_1, prime := Hex.Conway.prime_373, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_373_1 }

def Hex.Conway.supportedEntry_419_1 : SupportedEntry 419 1

The verified table supports C(419, 1).

Equations

• Hex.Conway.supportedEntry_419_1 = { poly := Hex.Conway.luebeckConwayPolynomial_419_1, prime := Hex.Conway.prime_419, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_419_1 }

def Hex.Conway.supportedEntry_457_1 : SupportedEntry 457 1

The verified table supports C(457, 1).

Equations

• Hex.Conway.supportedEntry_457_1 = { poly := Hex.Conway.luebeckConwayPolynomial_457_1, prime := Hex.Conway.prime_457, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_457_1 }

def Hex.Conway.supportedEntry_131_1 : SupportedEntry 131 1

The verified table supports C(131, 1).

Equations

• Hex.Conway.supportedEntry_131_1 = { poly := Hex.Conway.luebeckConwayPolynomial_131_1, prime := Hex.Conway.prime_131, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_131_1 }

def Hex.Conway.supportedEntry_157_1 : SupportedEntry 157 1

The verified table supports C(157, 1).

Equations

• Hex.Conway.supportedEntry_157_1 = { poly := Hex.Conway.luebeckConwayPolynomial_157_1, prime := Hex.Conway.prime_157, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_157_1 }

def Hex.Conway.supportedEntry_223_1 : SupportedEntry 223 1

The verified table supports C(223, 1).

Equations

• Hex.Conway.supportedEntry_223_1 = { poly := Hex.Conway.luebeckConwayPolynomial_223_1, prime := Hex.Conway.prime_223, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_223_1 }

def Hex.Conway.supportedEntry_67_1 : SupportedEntry 67 1

The verified table supports C(67, 1).

Equations

• Hex.Conway.supportedEntry_67_1 = { poly := Hex.Conway.luebeckConwayPolynomial_67_1, prime := Hex.Conway.prime_67, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_67_1 }

def Hex.Conway.supportedEntry_127_1 : SupportedEntry 127 1

The verified table supports C(127, 1).

Equations

• Hex.Conway.supportedEntry_127_1 = { poly := Hex.Conway.luebeckConwayPolynomial_127_1, prime := Hex.Conway.prime_127, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_127_1 }

def Hex.Conway.supportedEntry_587_1 : SupportedEntry 587 1

The verified table supports C(587, 1).

Equations

• Hex.Conway.supportedEntry_587_1 = { poly := Hex.Conway.luebeckConwayPolynomial_587_1, prime := Hex.Conway.prime_587, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_587_1 }

def Hex.Conway.supportedEntry_677_1 : SupportedEntry 677 1

The verified table supports C(677, 1).

Equations

• Hex.Conway.supportedEntry_677_1 = { poly := Hex.Conway.luebeckConwayPolynomial_677_1, prime := Hex.Conway.prime_677, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_677_1 }

def Hex.Conway.supportedEntry_797_1 : SupportedEntry 797 1

The verified table supports C(797, 1).

Equations

• Hex.Conway.supportedEntry_797_1 = { poly := Hex.Conway.luebeckConwayPolynomial_797_1, prime := Hex.Conway.prime_797, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_797_1 }

def Hex.Conway.supportedEntry_863_1 : SupportedEntry 863 1

The verified table supports C(863, 1).

Equations

• Hex.Conway.supportedEntry_863_1 = { poly := Hex.Conway.luebeckConwayPolynomial_863_1, prime := Hex.Conway.prime_863, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_863_1 }

def Hex.Conway.supportedEntry_983_1 : SupportedEntry 983 1

The verified table supports C(983, 1).

Equations

• Hex.Conway.supportedEntry_983_1 = { poly := Hex.Conway.luebeckConwayPolynomial_983_1, prime := Hex.Conway.prime_983, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_983_1 }

def Hex.Conway.supportedEntry_293_1 : SupportedEntry 293 1

The verified table supports C(293, 1).

Equations

• Hex.Conway.supportedEntry_293_1 = { poly := Hex.Conway.luebeckConwayPolynomial_293_1, prime := Hex.Conway.prime_293, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_293_1 }

def Hex.Conway.supportedEntry_359_1 : SupportedEntry 359 1

The verified table supports C(359, 1).

Equations

• Hex.Conway.supportedEntry_359_1 = { poly := Hex.Conway.luebeckConwayPolynomial_359_1, prime := Hex.Conway.prime_359, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_359_1 }

def Hex.Conway.supportedEntry_433_1 : SupportedEntry 433 1

The verified table supports C(433, 1).

Equations

• Hex.Conway.supportedEntry_433_1 = { poly := Hex.Conway.luebeckConwayPolynomial_433_1, prime := Hex.Conway.prime_433, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_433_1 }

def Hex.Conway.supportedEntry_487_1 : SupportedEntry 487 1

The verified table supports C(487, 1).

Equations

• Hex.Conway.supportedEntry_487_1 = { poly := Hex.Conway.luebeckConwayPolynomial_487_1, prime := Hex.Conway.prime_487, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_487_1 }

def Hex.Conway.supportedEntry_3_2 : SupportedEntry 3 2

The verified table supports C(3, 2).

Equations

• Hex.Conway.supportedEntry_3_2 = { poly := Hex.Conway.luebeckConwayPolynomial_3_2, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_2 }

def Hex.Conway.supportedEntry_163_1 : SupportedEntry 163 1

The verified table supports C(163, 1).

Equations

• Hex.Conway.supportedEntry_163_1 = { poly := Hex.Conway.luebeckConwayPolynomial_163_1, prime := Hex.Conway.prime_163, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_163_1 }

def Hex.Conway.supportedEntry_193_1 : SupportedEntry 193 1

The verified table supports C(193, 1).

Equations

• Hex.Conway.supportedEntry_193_1 = { poly := Hex.Conway.luebeckConwayPolynomial_193_1, prime := Hex.Conway.prime_193, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_193_1 }

def Hex.Conway.supportedEntry_251_1 : SupportedEntry 251 1

The verified table supports C(251, 1).

Equations

• Hex.Conway.supportedEntry_251_1 = { poly := Hex.Conway.luebeckConwayPolynomial_251_1, prime := Hex.Conway.prime_251, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_251_1 }

def Hex.Conway.supportedEntry_97_1 : SupportedEntry 97 1

The verified table supports C(97, 1).

Equations

• Hex.Conway.supportedEntry_97_1 = { poly := Hex.Conway.luebeckConwayPolynomial_97_1, prime := Hex.Conway.prime_97, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_97_1 }