def Hex.Conway.supportedEntry_2_14 : SupportedEntry 2 14

The verified table supports C(2, 14).

Equations

• Hex.Conway.supportedEntry_2_14 = { poly := Hex.Conway.luebeckConwayPolynomial_2_14, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_14 }

def Hex.Conway.supportedEntry_7_8 : SupportedEntry 7 8

The verified table supports C(7, 8).

Equations

• Hex.Conway.supportedEntry_7_8 = { poly := Hex.Conway.luebeckConwayPolynomial_7_8, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_8 }

def Hex.Conway.supportedEntry_11_6 : SupportedEntry 11 6

The verified table supports C(11, 6).

Equations

• Hex.Conway.supportedEntry_11_6 = { poly := Hex.Conway.luebeckConwayPolynomial_11_6, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_6 }

def Hex.Conway.supportedEntry_7_7 : SupportedEntry 7 7

The verified table supports C(7, 7).

Equations

• Hex.Conway.supportedEntry_7_7 = { poly := Hex.Conway.luebeckConwayPolynomial_7_7, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_7 }

def Hex.Conway.supportedEntry_157_4 : SupportedEntry 157 4

The verified table supports C(157, 4).

Equations

• Hex.Conway.supportedEntry_157_4 = { poly := Hex.Conway.luebeckConwayPolynomial_157_4, prime := Hex.Conway.prime_157, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_157_4 }

def Hex.Conway.supportedEntry_229_4 : SupportedEntry 229 4

The verified table supports C(229, 4).

Equations

• Hex.Conway.supportedEntry_229_4 = { poly := Hex.Conway.luebeckConwayPolynomial_229_4, prime := Hex.Conway.prime_229, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_229_4 }

def Hex.Conway.supportedEntry_277_4 : SupportedEntry 277 4

The verified table supports C(277, 4).

Equations

• Hex.Conway.supportedEntry_277_4 = { poly := Hex.Conway.luebeckConwayPolynomial_277_4, prime := Hex.Conway.prime_277, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_277_4 }

def Hex.Conway.supportedEntry_3_8 : SupportedEntry 3 8

The verified table supports C(3, 8).

Equations

• Hex.Conway.supportedEntry_3_8 = { poly := Hex.Conway.luebeckConwayPolynomial_3_8, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_8 }

def Hex.Conway.supportedEntry_149_4 : SupportedEntry 149 4

The verified table supports C(149, 4).

Equations

• Hex.Conway.supportedEntry_149_4 = { poly := Hex.Conway.luebeckConwayPolynomial_149_4, prime := Hex.Conway.prime_149, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_149_4 }

def Hex.Conway.supportedEntry_181_4 : SupportedEntry 181 4

The verified table supports C(181, 4).

Equations

• Hex.Conway.supportedEntry_181_4 = { poly := Hex.Conway.luebeckConwayPolynomial_181_4, prime := Hex.Conway.prime_181, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_181_4 }

def Hex.Conway.supportedEntry_239_4 : SupportedEntry 239 4

The verified table supports C(239, 4).

Equations

• Hex.Conway.supportedEntry_239_4 = { poly := Hex.Conway.luebeckConwayPolynomial_239_4, prime := Hex.Conway.prime_239, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_239_4 }

def Hex.Conway.supportedEntry_257_4 : SupportedEntry 257 4

The verified table supports C(257, 4).

Equations

• Hex.Conway.supportedEntry_257_4 = { poly := Hex.Conway.luebeckConwayPolynomial_257_4, prime := Hex.Conway.prime_257, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_257_4 }

def Hex.Conway.supportedEntry_89_4 : SupportedEntry 89 4

The verified table supports C(89, 4).

Equations

• Hex.Conway.supportedEntry_89_4 = { poly := Hex.Conway.luebeckConwayPolynomial_89_4, prime := Hex.Conway.prime_89, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_89_4 }

def Hex.Conway.supportedEntry_5_6 : SupportedEntry 5 6

The verified table supports C(5, 6).

Equations

• Hex.Conway.supportedEntry_5_6 = { poly := Hex.Conway.luebeckConwayPolynomial_5_6, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_6 }

def Hex.Conway.supportedEntry_199_4 : SupportedEntry 199 4

The verified table supports C(199, 4).

Equations

• Hex.Conway.supportedEntry_199_4 = { poly := Hex.Conway.luebeckConwayPolynomial_199_4, prime := Hex.Conway.prime_199, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_199_4 }

def Hex.Conway.supportedEntry_79_4 : SupportedEntry 79 4

The verified table supports C(79, 4).

Equations

• Hex.Conway.supportedEntry_79_4 = { poly := Hex.Conway.luebeckConwayPolynomial_79_4, prime := Hex.Conway.prime_79, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_79_4 }

def Hex.Conway.supportedEntry_127_4 : SupportedEntry 127 4

The verified table supports C(127, 4).

Equations

• Hex.Conway.supportedEntry_127_4 = { poly := Hex.Conway.luebeckConwayPolynomial_127_4, prime := Hex.Conway.prime_127, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_127_4 }

def Hex.Conway.supportedEntry_53_4 : SupportedEntry 53 4

The verified table supports C(53, 4).

Equations

• Hex.Conway.supportedEntry_53_4 = { poly := Hex.Conway.luebeckConwayPolynomial_53_4, prime := Hex.Conway.prime_53, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_53_4 }

def Hex.Conway.supportedEntry_919_3 : SupportedEntry 919 3

The verified table supports C(919, 3).

Equations

• Hex.Conway.supportedEntry_919_3 = { poly := Hex.Conway.luebeckConwayPolynomial_919_3, prime := Hex.Conway.prime_919, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_919_3 }

def Hex.Conway.supportedEntry_691_3 : SupportedEntry 691 3

The verified table supports C(691, 3).

Equations

• Hex.Conway.supportedEntry_691_3 = { poly := Hex.Conway.luebeckConwayPolynomial_691_3, prime := Hex.Conway.prime_691, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_691_3 }

def Hex.Conway.supportedEntry_823_3 : SupportedEntry 823 3

The verified table supports C(823, 3).

Equations

• Hex.Conway.supportedEntry_823_3 = { poly := Hex.Conway.luebeckConwayPolynomial_823_3, prime := Hex.Conway.prime_823, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_823_3 }

def Hex.Conway.supportedEntry_971_3 : SupportedEntry 971 3

The verified table supports C(971, 3).

Equations

• Hex.Conway.supportedEntry_971_3 = { poly := Hex.Conway.luebeckConwayPolynomial_971_3, prime := Hex.Conway.prime_971, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_971_3 }

def Hex.Conway.supportedEntry_31_4 : SupportedEntry 31 4

The verified table supports C(31, 4).

Equations

• Hex.Conway.supportedEntry_31_4 = { poly := Hex.Conway.luebeckConwayPolynomial_31_4, prime := Hex.Conway.prime_31, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_31_4 }

def Hex.Conway.supportedEntry_277_3 : SupportedEntry 277 3

The verified table supports C(277, 3).

Equations

• Hex.Conway.supportedEntry_277_3 = { poly := Hex.Conway.luebeckConwayPolynomial_277_3, prime := Hex.Conway.prime_277, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_277_3 }