def Hex.Conway.supportedEntry_421_2 : SupportedEntry 421 2

The verified table supports C(421, 2).

Equations

• Hex.Conway.supportedEntry_421_2 = { poly := Hex.Conway.luebeckConwayPolynomial_421_2, prime := Hex.Conway.prime_421, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_421_2 }

def Hex.Conway.supportedEntry_491_2 : SupportedEntry 491 2

The verified table supports C(491, 2).

Equations

• Hex.Conway.supportedEntry_491_2 = { poly := Hex.Conway.luebeckConwayPolynomial_491_2, prime := Hex.Conway.prime_491, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_491_2 }

def Hex.Conway.supportedEntry_139_2 : SupportedEntry 139 2

The verified table supports C(139, 2).

Equations

• Hex.Conway.supportedEntry_139_2 = { poly := Hex.Conway.luebeckConwayPolynomial_139_2, prime := Hex.Conway.prime_139, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_139_2 }

def Hex.Conway.supportedEntry_229_2 : SupportedEntry 229 2

The verified table supports C(229, 2).

Equations

• Hex.Conway.supportedEntry_229_2 = { poly := Hex.Conway.luebeckConwayPolynomial_229_2, prime := Hex.Conway.prime_229, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_229_2 }

def Hex.Conway.supportedEntry_557_2 : SupportedEntry 557 2

The verified table supports C(557, 2).

Equations

• Hex.Conway.supportedEntry_557_2 = { poly := Hex.Conway.luebeckConwayPolynomial_557_2, prime := Hex.Conway.prime_557, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_557_2 }

def Hex.Conway.supportedEntry_607_2 : SupportedEntry 607 2

The verified table supports C(607, 2).

Equations

• Hex.Conway.supportedEntry_607_2 = { poly := Hex.Conway.luebeckConwayPolynomial_607_2, prime := Hex.Conway.prime_607, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_607_2 }

def Hex.Conway.supportedEntry_653_2 : SupportedEntry 653 2

The verified table supports C(653, 2).

Equations

• Hex.Conway.supportedEntry_653_2 = { poly := Hex.Conway.luebeckConwayPolynomial_653_2, prime := Hex.Conway.prime_653, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_653_2 }

def Hex.Conway.supportedEntry_733_2 : SupportedEntry 733 2

The verified table supports C(733, 2).

Equations

• Hex.Conway.supportedEntry_733_2 = { poly := Hex.Conway.luebeckConwayPolynomial_733_2, prime := Hex.Conway.prime_733, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_733_2 }

def Hex.Conway.supportedEntry_787_2 : SupportedEntry 787 2

The verified table supports C(787, 2).

Equations

• Hex.Conway.supportedEntry_787_2 = { poly := Hex.Conway.luebeckConwayPolynomial_787_2, prime := Hex.Conway.prime_787, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_787_2 }

def Hex.Conway.supportedEntry_887_2 : SupportedEntry 887 2

The verified table supports C(887, 2).

Equations

• Hex.Conway.supportedEntry_887_2 = { poly := Hex.Conway.luebeckConwayPolynomial_887_2, prime := Hex.Conway.prime_887, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_887_2 }

def Hex.Conway.supportedEntry_983_2 : SupportedEntry 983 2

The verified table supports C(983, 2).

Equations

• Hex.Conway.supportedEntry_983_2 = { poly := Hex.Conway.luebeckConwayPolynomial_983_2, prime := Hex.Conway.prime_983, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_983_2 }

def Hex.Conway.supportedEntry_271_2 : SupportedEntry 271 2

The verified table supports C(271, 2).

Equations

• Hex.Conway.supportedEntry_271_2 = { poly := Hex.Conway.luebeckConwayPolynomial_271_2, prime := Hex.Conway.prime_271, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_271_2 }

def Hex.Conway.supportedEntry_313_2 : SupportedEntry 313 2

The verified table supports C(313, 2).

Equations

• Hex.Conway.supportedEntry_313_2 = { poly := Hex.Conway.luebeckConwayPolynomial_313_2, prime := Hex.Conway.prime_313, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_313_2 }

def Hex.Conway.supportedEntry_353_2 : SupportedEntry 353 2

The verified table supports C(353, 2).

Equations

• Hex.Conway.supportedEntry_353_2 = { poly := Hex.Conway.luebeckConwayPolynomial_353_2, prime := Hex.Conway.prime_353, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_353_2 }

def Hex.Conway.supportedEntry_401_2 : SupportedEntry 401 2

The verified table supports C(401, 2).

Equations

• Hex.Conway.supportedEntry_401_2 = { poly := Hex.Conway.luebeckConwayPolynomial_401_2, prime := Hex.Conway.prime_401, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_401_2 }

def Hex.Conway.supportedEntry_457_2 : SupportedEntry 457 2

The verified table supports C(457, 2).

Equations

• Hex.Conway.supportedEntry_457_2 = { poly := Hex.Conway.luebeckConwayPolynomial_457_2, prime := Hex.Conway.prime_457, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_457_2 }

def Hex.Conway.supportedEntry_503_2 : SupportedEntry 503 2

The verified table supports C(503, 2).

Equations

• Hex.Conway.supportedEntry_503_2 = { poly := Hex.Conway.luebeckConwayPolynomial_503_2, prime := Hex.Conway.prime_503, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_503_2 }

def Hex.Conway.supportedEntry_149_2 : SupportedEntry 149 2

The verified table supports C(149, 2).

Equations

• Hex.Conway.supportedEntry_149_2 = { poly := Hex.Conway.luebeckConwayPolynomial_149_2, prime := Hex.Conway.prime_149, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_149_2 }

def Hex.Conway.supportedEntry_173_2 : SupportedEntry 173 2

The verified table supports C(173, 2).

Equations

• Hex.Conway.supportedEntry_173_2 = { poly := Hex.Conway.luebeckConwayPolynomial_173_2, prime := Hex.Conway.prime_173, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_173_2 }

def Hex.Conway.supportedEntry_199_2 : SupportedEntry 199 2

The verified table supports C(199, 2).

Equations

• Hex.Conway.supportedEntry_199_2 = { poly := Hex.Conway.luebeckConwayPolynomial_199_2, prime := Hex.Conway.prime_199, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_199_2 }

def Hex.Conway.supportedEntry_241_2 : SupportedEntry 241 2

The verified table supports C(241, 2).

Equations

• Hex.Conway.supportedEntry_241_2 = { poly := Hex.Conway.luebeckConwayPolynomial_241_2, prime := Hex.Conway.prime_241, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_241_2 }

def Hex.Conway.supportedEntry_577_2 : SupportedEntry 577 2

The verified table supports C(577, 2).

Equations

• Hex.Conway.supportedEntry_577_2 = { poly := Hex.Conway.luebeckConwayPolynomial_577_2, prime := Hex.Conway.prime_577, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_577_2 }

def Hex.Conway.supportedEntry_79_2 : SupportedEntry 79 2

The verified table supports C(79, 2).

Equations

• Hex.Conway.supportedEntry_79_2 = { poly := Hex.Conway.luebeckConwayPolynomial_79_2, prime := Hex.Conway.prime_79, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_79_2 }

def Hex.Conway.supportedEntry_101_2 : SupportedEntry 101 2

The verified table supports C(101, 2).

Equations

• Hex.Conway.supportedEntry_101_2 = { poly := Hex.Conway.luebeckConwayPolynomial_101_2, prime := Hex.Conway.prime_101, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_101_2 }