def Hex.Conway.supportedEntry_463_3 : SupportedEntry 463 3

The verified table supports C(463, 3).

Equations

• Hex.Conway.supportedEntry_463_3 = { poly := Hex.Conway.luebeckConwayPolynomial_463_3, prime := Hex.Conway.prime_463, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_463_3 }

def Hex.Conway.supportedEntry_541_3 : SupportedEntry 541 3

The verified table supports C(541, 3).

Equations

• Hex.Conway.supportedEntry_541_3 = { poly := Hex.Conway.luebeckConwayPolynomial_541_3, prime := Hex.Conway.prime_541, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_541_3 }

def Hex.Conway.supportedEntry_613_3 : SupportedEntry 613 3

The verified table supports C(613, 3).

Equations

• Hex.Conway.supportedEntry_613_3 = { poly := Hex.Conway.luebeckConwayPolynomial_613_3, prime := Hex.Conway.prime_613, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_613_3 }

def Hex.Conway.supportedEntry_647_3 : SupportedEntry 647 3

The verified table supports C(647, 3).

Equations

• Hex.Conway.supportedEntry_647_3 = { poly := Hex.Conway.luebeckConwayPolynomial_647_3, prime := Hex.Conway.prime_647, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_647_3 }

def Hex.Conway.supportedEntry_683_3 : SupportedEntry 683 3

The verified table supports C(683, 3).

Equations

• Hex.Conway.supportedEntry_683_3 = { poly := Hex.Conway.luebeckConwayPolynomial_683_3, prime := Hex.Conway.prime_683, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_683_3 }

def Hex.Conway.supportedEntry_751_3 : SupportedEntry 751 3

The verified table supports C(751, 3).

Equations

• Hex.Conway.supportedEntry_751_3 = { poly := Hex.Conway.luebeckConwayPolynomial_751_3, prime := Hex.Conway.prime_751, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_751_3 }

def Hex.Conway.supportedEntry_853_3 : SupportedEntry 853 3

The verified table supports C(853, 3).

Equations

• Hex.Conway.supportedEntry_853_3 = { poly := Hex.Conway.luebeckConwayPolynomial_853_3, prime := Hex.Conway.prime_853, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_853_3 }

def Hex.Conway.supportedEntry_911_3 : SupportedEntry 911 3

The verified table supports C(911, 3).

Equations

• Hex.Conway.supportedEntry_911_3 = { poly := Hex.Conway.luebeckConwayPolynomial_911_3, prime := Hex.Conway.prime_911, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_911_3 }

def Hex.Conway.supportedEntry_191_3 : SupportedEntry 191 3

The verified table supports C(191, 3).

Equations

• Hex.Conway.supportedEntry_191_3 = { poly := Hex.Conway.luebeckConwayPolynomial_191_3, prime := Hex.Conway.prime_191, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_191_3 }

def Hex.Conway.supportedEntry_263_3 : SupportedEntry 263 3

The verified table supports C(263, 3).

Equations

• Hex.Conway.supportedEntry_263_3 = { poly := Hex.Conway.luebeckConwayPolynomial_263_3, prime := Hex.Conway.prime_263, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_263_3 }

def Hex.Conway.supportedEntry_307_3 : SupportedEntry 307 3

The verified table supports C(307, 3).

Equations

• Hex.Conway.supportedEntry_307_3 = { poly := Hex.Conway.luebeckConwayPolynomial_307_3, prime := Hex.Conway.prime_307, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_307_3 }

def Hex.Conway.supportedEntry_349_3 : SupportedEntry 349 3

The verified table supports C(349, 3).

Equations

• Hex.Conway.supportedEntry_349_3 = { poly := Hex.Conway.luebeckConwayPolynomial_349_3, prime := Hex.Conway.prime_349, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_349_3 }

def Hex.Conway.supportedEntry_397_3 : SupportedEntry 397 3

The verified table supports C(397, 3).

Equations

• Hex.Conway.supportedEntry_397_3 = { poly := Hex.Conway.luebeckConwayPolynomial_397_3, prime := Hex.Conway.prime_397, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_397_3 }

def Hex.Conway.supportedEntry_443_3 : SupportedEntry 443 3

The verified table supports C(443, 3).

Equations

• Hex.Conway.supportedEntry_443_3 = { poly := Hex.Conway.luebeckConwayPolynomial_443_3, prime := Hex.Conway.prime_443, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_443_3 }

def Hex.Conway.supportedEntry_499_3 : SupportedEntry 499 3

The verified table supports C(499, 3).

Equations

• Hex.Conway.supportedEntry_499_3 = { poly := Hex.Conway.luebeckConwayPolynomial_499_3, prime := Hex.Conway.prime_499, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_499_3 }

def Hex.Conway.supportedEntry_139_3 : SupportedEntry 139 3

The verified table supports C(139, 3).

Equations

• Hex.Conway.supportedEntry_139_3 = { poly := Hex.Conway.luebeckConwayPolynomial_139_3, prime := Hex.Conway.prime_139, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_139_3 }

def Hex.Conway.supportedEntry_181_3 : SupportedEntry 181 3

The verified table supports C(181, 3).

Equations

• Hex.Conway.supportedEntry_181_3 = { poly := Hex.Conway.luebeckConwayPolynomial_181_3, prime := Hex.Conway.prime_181, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_181_3 }

def Hex.Conway.supportedEntry_563_3 : SupportedEntry 563 3

The verified table supports C(563, 3).

Equations

• Hex.Conway.supportedEntry_563_3 = { poly := Hex.Conway.luebeckConwayPolynomial_563_3, prime := Hex.Conway.prime_563, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_563_3 }

def Hex.Conway.supportedEntry_593_3 : SupportedEntry 593 3

The verified table supports C(593, 3).

Equations

• Hex.Conway.supportedEntry_593_3 = { poly := Hex.Conway.luebeckConwayPolynomial_593_3, prime := Hex.Conway.prime_593, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_593_3 }

def Hex.Conway.supportedEntry_719_3 : SupportedEntry 719 3

The verified table supports C(719, 3).

Equations

• Hex.Conway.supportedEntry_719_3 = { poly := Hex.Conway.luebeckConwayPolynomial_719_3, prime := Hex.Conway.prime_719, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_719_3 }

def Hex.Conway.supportedEntry_769_3 : SupportedEntry 769 3

The verified table supports C(769, 3).

Equations

• Hex.Conway.supportedEntry_769_3 = { poly := Hex.Conway.luebeckConwayPolynomial_769_3, prime := Hex.Conway.prime_769, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_769_3 }

def Hex.Conway.supportedEntry_883_3 : SupportedEntry 883 3

The verified table supports C(883, 3).

Equations

• Hex.Conway.supportedEntry_883_3 = { poly := Hex.Conway.luebeckConwayPolynomial_883_3, prime := Hex.Conway.prime_883, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_883_3 }

def Hex.Conway.supportedEntry_977_3 : SupportedEntry 977 3

The verified table supports C(977, 3).

Equations

• Hex.Conway.supportedEntry_977_3 = { poly := Hex.Conway.luebeckConwayPolynomial_977_3, prime := Hex.Conway.prime_977, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_977_3 }

def Hex.Conway.supportedEntry_313_3 : SupportedEntry 313 3

The verified table supports C(313, 3).

Equations

• Hex.Conway.supportedEntry_313_3 = { poly := Hex.Conway.luebeckConwayPolynomial_313_3, prime := Hex.Conway.prime_313, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_313_3 }