def Hex.Conway.supportedEntry_431_3 : SupportedEntry 431 3

The verified table supports C(431, 3).

Equations

• Hex.Conway.supportedEntry_431_3 = { poly := Hex.Conway.luebeckConwayPolynomial_431_3, prime := Hex.Conway.prime_431, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_431_3 }

def Hex.Conway.supportedEntry_523_3 : SupportedEntry 523 3

The verified table supports C(523, 3).

Equations

• Hex.Conway.supportedEntry_523_3 = { poly := Hex.Conway.luebeckConwayPolynomial_523_3, prime := Hex.Conway.prime_523, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_523_3 }

def Hex.Conway.supportedEntry_607_3 : SupportedEntry 607 3

The verified table supports C(607, 3).

Equations

• Hex.Conway.supportedEntry_607_3 = { poly := Hex.Conway.luebeckConwayPolynomial_607_3, prime := Hex.Conway.prime_607, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_607_3 }

def Hex.Conway.supportedEntry_643_3 : SupportedEntry 643 3

The verified table supports C(643, 3).

Equations

• Hex.Conway.supportedEntry_643_3 = { poly := Hex.Conway.luebeckConwayPolynomial_643_3, prime := Hex.Conway.prime_643, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_643_3 }

def Hex.Conway.supportedEntry_661_3 : SupportedEntry 661 3

The verified table supports C(661, 3).

Equations

• Hex.Conway.supportedEntry_661_3 = { poly := Hex.Conway.luebeckConwayPolynomial_661_3, prime := Hex.Conway.prime_661, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_661_3 }

def Hex.Conway.supportedEntry_739_3 : SupportedEntry 739 3

The verified table supports C(739, 3).

Equations

• Hex.Conway.supportedEntry_739_3 = { poly := Hex.Conway.luebeckConwayPolynomial_739_3, prime := Hex.Conway.prime_739, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_739_3 }

def Hex.Conway.supportedEntry_829_3 : SupportedEntry 829 3

The verified table supports C(829, 3).

Equations

• Hex.Conway.supportedEntry_829_3 = { poly := Hex.Conway.luebeckConwayPolynomial_829_3, prime := Hex.Conway.prime_829, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_829_3 }

def Hex.Conway.supportedEntry_907_3 : SupportedEntry 907 3

The verified table supports C(907, 3).

Equations

• Hex.Conway.supportedEntry_907_3 = { poly := Hex.Conway.luebeckConwayPolynomial_907_3, prime := Hex.Conway.prime_907, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_907_3 }

def Hex.Conway.supportedEntry_3_6 : SupportedEntry 3 6

The verified table supports C(3, 6).

Equations

• Hex.Conway.supportedEntry_3_6 = { poly := Hex.Conway.luebeckConwayPolynomial_3_6, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_6 }

def Hex.Conway.supportedEntry_17_4 : SupportedEntry 17 4

The verified table supports C(17, 4).

Equations

• Hex.Conway.supportedEntry_17_4 = { poly := Hex.Conway.luebeckConwayPolynomial_17_4, prime := Hex.Conway.prime_17, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_17_4 }

def Hex.Conway.supportedEntry_281_3 : SupportedEntry 281 3

The verified table supports C(281, 3).

Equations

• Hex.Conway.supportedEntry_281_3 = { poly := Hex.Conway.luebeckConwayPolynomial_281_3, prime := Hex.Conway.prime_281, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_281_3 }

def Hex.Conway.supportedEntry_337_3 : SupportedEntry 337 3

The verified table supports C(337, 3).

Equations

• Hex.Conway.supportedEntry_337_3 = { poly := Hex.Conway.luebeckConwayPolynomial_337_3, prime := Hex.Conway.prime_337, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_337_3 }

def Hex.Conway.supportedEntry_367_3 : SupportedEntry 367 3

The verified table supports C(367, 3).

Equations

• Hex.Conway.supportedEntry_367_3 = { poly := Hex.Conway.luebeckConwayPolynomial_367_3, prime := Hex.Conway.prime_367, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_367_3 }

def Hex.Conway.supportedEntry_421_3 : SupportedEntry 421 3

The verified table supports C(421, 3).

Equations

• Hex.Conway.supportedEntry_421_3 = { poly := Hex.Conway.luebeckConwayPolynomial_421_3, prime := Hex.Conway.prime_421, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_421_3 }

def Hex.Conway.supportedEntry_461_3 : SupportedEntry 461 3

The verified table supports C(461, 3).

Equations

• Hex.Conway.supportedEntry_461_3 = { poly := Hex.Conway.luebeckConwayPolynomial_461_3, prime := Hex.Conway.prime_461, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_461_3 }

def Hex.Conway.supportedEntry_7_5 : SupportedEntry 7 5

The verified table supports C(7, 5).

Equations

• Hex.Conway.supportedEntry_7_5 = { poly := Hex.Conway.luebeckConwayPolynomial_7_5, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_5 }

def Hex.Conway.supportedEntry_151_3 : SupportedEntry 151 3

The verified table supports C(151, 3).

Equations

• Hex.Conway.supportedEntry_151_3 = { poly := Hex.Conway.luebeckConwayPolynomial_151_3, prime := Hex.Conway.prime_151, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_151_3 }

def Hex.Conway.supportedEntry_239_3 : SupportedEntry 239 3

The verified table supports C(239, 3).

Equations

• Hex.Conway.supportedEntry_239_3 = { poly := Hex.Conway.luebeckConwayPolynomial_239_3, prime := Hex.Conway.prime_239, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_239_3 }

def Hex.Conway.supportedEntry_577_3 : SupportedEntry 577 3

The verified table supports C(577, 3).

Equations

• Hex.Conway.supportedEntry_577_3 = { poly := Hex.Conway.luebeckConwayPolynomial_577_3, prime := Hex.Conway.prime_577, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_577_3 }

def Hex.Conway.supportedEntry_673_3 : SupportedEntry 673 3

The verified table supports C(673, 3).

Equations

• Hex.Conway.supportedEntry_673_3 = { poly := Hex.Conway.luebeckConwayPolynomial_673_3, prime := Hex.Conway.prime_673, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_673_3 }

def Hex.Conway.supportedEntry_743_3 : SupportedEntry 743 3

The verified table supports C(743, 3).

Equations

• Hex.Conway.supportedEntry_743_3 = { poly := Hex.Conway.luebeckConwayPolynomial_743_3, prime := Hex.Conway.prime_743, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_743_3 }

def Hex.Conway.supportedEntry_827_3 : SupportedEntry 827 3

The verified table supports C(827, 3).

Equations

• Hex.Conway.supportedEntry_827_3 = { poly := Hex.Conway.luebeckConwayPolynomial_827_3, prime := Hex.Conway.prime_827, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_827_3 }

def Hex.Conway.supportedEntry_929_3 : SupportedEntry 929 3

The verified table supports C(929, 3).

Equations

• Hex.Conway.supportedEntry_929_3 = { poly := Hex.Conway.luebeckConwayPolynomial_929_3, prime := Hex.Conway.prime_929, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_929_3 }

def Hex.Conway.supportedEntry_11_4 : SupportedEntry 11 4

The verified table supports C(11, 4).

Equations

• Hex.Conway.supportedEntry_11_4 = { poly := Hex.Conway.luebeckConwayPolynomial_11_4, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_4 }