def Hex.Conway.supportedEntry_2_16 : SupportedEntry 2 16

The verified table supports C(2, 16).

Equations

• Hex.Conway.supportedEntry_2_16 = { poly := Hex.Conway.luebeckConwayPolynomial_2_16, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_16 }

def Hex.Conway.supportedEntry_173_4 : SupportedEntry 173 4

The verified table supports C(173, 4).

Equations

• Hex.Conway.supportedEntry_173_4 = { poly := Hex.Conway.luebeckConwayPolynomial_173_4, prime := Hex.Conway.prime_173, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_173_4 }

def Hex.Conway.supportedEntry_233_4 : SupportedEntry 233 4

The verified table supports C(233, 4).

Equations

• Hex.Conway.supportedEntry_233_4 = { poly := Hex.Conway.luebeckConwayPolynomial_233_4, prime := Hex.Conway.prime_233, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_233_4 }

def Hex.Conway.supportedEntry_283_4 : SupportedEntry 283 4

The verified table supports C(283, 4).

Equations

• Hex.Conway.supportedEntry_283_4 = { poly := Hex.Conway.luebeckConwayPolynomial_283_4, prime := Hex.Conway.prime_283, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_283_4 }

def Hex.Conway.supportedEntry_131_4 : SupportedEntry 131 4

The verified table supports C(131, 4).

Equations

• Hex.Conway.supportedEntry_131_4 = { poly := Hex.Conway.luebeckConwayPolynomial_131_4, prime := Hex.Conway.prime_131, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_131_4 }

def Hex.Conway.supportedEntry_151_4 : SupportedEntry 151 4

The verified table supports C(151, 4).

Equations

• Hex.Conway.supportedEntry_151_4 = { poly := Hex.Conway.luebeckConwayPolynomial_151_4, prime := Hex.Conway.prime_151, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_151_4 }

def Hex.Conway.supportedEntry_197_4 : SupportedEntry 197 4

The verified table supports C(197, 4).

Equations

• Hex.Conway.supportedEntry_197_4 = { poly := Hex.Conway.luebeckConwayPolynomial_197_4, prime := Hex.Conway.prime_197, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_197_4 }

def Hex.Conway.supportedEntry_241_4 : SupportedEntry 241 4

The verified table supports C(241, 4).

Equations

• Hex.Conway.supportedEntry_241_4 = { poly := Hex.Conway.luebeckConwayPolynomial_241_4, prime := Hex.Conway.prime_241, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_241_4 }

def Hex.Conway.supportedEntry_271_4 : SupportedEntry 271 4

The verified table supports C(271, 4).

Equations

• Hex.Conway.supportedEntry_271_4 = { poly := Hex.Conway.luebeckConwayPolynomial_271_4, prime := Hex.Conway.prime_271, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_271_4 }

def Hex.Conway.supportedEntry_103_4 : SupportedEntry 103 4

The verified table supports C(103, 4).

Equations

• Hex.Conway.supportedEntry_103_4 = { poly := Hex.Conway.luebeckConwayPolynomial_103_4, prime := Hex.Conway.prime_103, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_103_4 }

def Hex.Conway.supportedEntry_7_6 : SupportedEntry 7 6

The verified table supports C(7, 6).

Equations

• Hex.Conway.supportedEntry_7_6 = { poly := Hex.Conway.luebeckConwayPolynomial_7_6, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_6 }

def Hex.Conway.supportedEntry_43_4 : SupportedEntry 43 4

The verified table supports C(43, 4).

Equations

• Hex.Conway.supportedEntry_43_4 = { poly := Hex.Conway.luebeckConwayPolynomial_43_4, prime := Hex.Conway.prime_43, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_43_4 }

def Hex.Conway.supportedEntry_97_4 : SupportedEntry 97 4

The verified table supports C(97, 4).

Equations

• Hex.Conway.supportedEntry_97_4 = { poly := Hex.Conway.luebeckConwayPolynomial_97_4, prime := Hex.Conway.prime_97, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_97_4 }

def Hex.Conway.supportedEntry_5_7 : SupportedEntry 5 7

The verified table supports C(5, 7).

Equations

• Hex.Conway.supportedEntry_5_7 = { poly := Hex.Conway.luebeckConwayPolynomial_5_7, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_7 }

def Hex.Conway.supportedEntry_59_4 : SupportedEntry 59 4

The verified table supports C(59, 4).

Equations

• Hex.Conway.supportedEntry_59_4 = { poly := Hex.Conway.luebeckConwayPolynomial_59_4, prime := Hex.Conway.prime_59, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_59_4 }

def Hex.Conway.supportedEntry_991_3 : SupportedEntry 991 3

The verified table supports C(991, 3).

Equations

• Hex.Conway.supportedEntry_991_3 = { poly := Hex.Conway.luebeckConwayPolynomial_991_3, prime := Hex.Conway.prime_991, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_991_3 }

def Hex.Conway.supportedEntry_809_3 : SupportedEntry 809 3

The verified table supports C(809, 3).

Equations

• Hex.Conway.supportedEntry_809_3 = { poly := Hex.Conway.luebeckConwayPolynomial_809_3, prime := Hex.Conway.prime_809, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_809_3 }

def Hex.Conway.supportedEntry_877_3 : SupportedEntry 877 3

The verified table supports C(877, 3).

Equations

• Hex.Conway.supportedEntry_877_3 = { poly := Hex.Conway.luebeckConwayPolynomial_877_3, prime := Hex.Conway.prime_877, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_877_3 }

def Hex.Conway.supportedEntry_997_3 : SupportedEntry 997 3

The verified table supports C(997, 3).

Equations

• Hex.Conway.supportedEntry_997_3 = { poly := Hex.Conway.luebeckConwayPolynomial_997_3, prime := Hex.Conway.prime_997, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_997_3 }

def Hex.Conway.supportedEntry_211_3 : SupportedEntry 211 3

The verified table supports C(211, 3).

Equations

• Hex.Conway.supportedEntry_211_3 = { poly := Hex.Conway.luebeckConwayPolynomial_211_3, prime := Hex.Conway.prime_211, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_211_3 }

def Hex.Conway.supportedEntry_331_3 : SupportedEntry 331 3

The verified table supports C(331, 3).

Equations

• Hex.Conway.supportedEntry_331_3 = { poly := Hex.Conway.luebeckConwayPolynomial_331_3, prime := Hex.Conway.prime_331, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_331_3 }

def Hex.Conway.supportedEntry_3_7 : SupportedEntry 3 7

The verified table supports C(3, 7).

Equations

• Hex.Conway.supportedEntry_3_7 = { poly := Hex.Conway.luebeckConwayPolynomial_3_7, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_7 }

def Hex.Conway.supportedEntry_599_3 : SupportedEntry 599 3

The verified table supports C(599, 3).

Equations

• Hex.Conway.supportedEntry_599_3 = { poly := Hex.Conway.luebeckConwayPolynomial_599_3, prime := Hex.Conway.prime_599, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_599_3 }

def Hex.Conway.supportedEntry_617_3 : SupportedEntry 617 3

The verified table supports C(617, 3).

Equations

• Hex.Conway.supportedEntry_617_3 = { poly := Hex.Conway.luebeckConwayPolynomial_617_3, prime := Hex.Conway.prime_617, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_617_3 }