def Hex.Conway.supportedEntry_401_3 : SupportedEntry 401 3

The verified table supports C(401, 3).

Equations

• Hex.Conway.supportedEntry_401_3 = { poly := Hex.Conway.luebeckConwayPolynomial_401_3, prime := Hex.Conway.prime_401, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_401_3 }

def Hex.Conway.supportedEntry_467_3 : SupportedEntry 467 3

The verified table supports C(467, 3).

Equations

• Hex.Conway.supportedEntry_467_3 = { poly := Hex.Conway.luebeckConwayPolynomial_467_3, prime := Hex.Conway.prime_467, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_467_3 }

def Hex.Conway.supportedEntry_509_3 : SupportedEntry 509 3

The verified table supports C(509, 3).

Equations

• Hex.Conway.supportedEntry_509_3 = { poly := Hex.Conway.luebeckConwayPolynomial_509_3, prime := Hex.Conway.prime_509, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_509_3 }

def Hex.Conway.supportedEntry_2_6 : SupportedEntry 2 6

The verified table supports C(2, 6).

Equations

• Hex.Conway.supportedEntry_2_6 = { poly := Hex.Conway.luebeckConwayPolynomial_2_6, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_6 }

def Hex.Conway.supportedEntry_193_3 : SupportedEntry 193 3

The verified table supports C(193, 3).

Equations

• Hex.Conway.supportedEntry_193_3 = { poly := Hex.Conway.luebeckConwayPolynomial_193_3, prime := Hex.Conway.prime_193, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_193_3 }

def Hex.Conway.supportedEntry_227_3 : SupportedEntry 227 3

The verified table supports C(227, 3).

Equations

• Hex.Conway.supportedEntry_227_3 = { poly := Hex.Conway.luebeckConwayPolynomial_227_3, prime := Hex.Conway.prime_227, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_227_3 }

def Hex.Conway.supportedEntry_61_3 : SupportedEntry 61 3

The verified table supports C(61, 3).

Equations

• Hex.Conway.supportedEntry_61_3 = { poly := Hex.Conway.luebeckConwayPolynomial_61_3, prime := Hex.Conway.prime_61, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_61_3 }

def Hex.Conway.supportedEntry_857_3 : SupportedEntry 857 3

The verified table supports C(857, 3).

Equations

• Hex.Conway.supportedEntry_857_3 = { poly := Hex.Conway.luebeckConwayPolynomial_857_3, prime := Hex.Conway.prime_857, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_857_3 }

def Hex.Conway.supportedEntry_109_3 : SupportedEntry 109 3

The verified table supports C(109, 3).

Equations

• Hex.Conway.supportedEntry_109_3 = { poly := Hex.Conway.luebeckConwayPolynomial_109_3, prime := Hex.Conway.prime_109, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_109_3 }

def Hex.Conway.supportedEntry_293_3 : SupportedEntry 293 3

The verified table supports C(293, 3).

Equations

• Hex.Conway.supportedEntry_293_3 = { poly := Hex.Conway.luebeckConwayPolynomial_293_3, prime := Hex.Conway.prime_293, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_293_3 }

def Hex.Conway.supportedEntry_53_3 : SupportedEntry 53 3

The verified table supports C(53, 3).

Equations

• Hex.Conway.supportedEntry_53_3 = { poly := Hex.Conway.luebeckConwayPolynomial_53_3, prime := Hex.Conway.prime_53, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_53_3 }

def Hex.Conway.supportedEntry_7_4 : SupportedEntry 7 4

The verified table supports C(7, 4).

Equations

• Hex.Conway.supportedEntry_7_4 = { poly := Hex.Conway.luebeckConwayPolynomial_7_4, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_4 }

def Hex.Conway.supportedEntry_101_3 : SupportedEntry 101 3

The verified table supports C(101, 3).

Equations

• Hex.Conway.supportedEntry_101_3 = { poly := Hex.Conway.luebeckConwayPolynomial_101_3, prime := Hex.Conway.prime_101, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_101_3 }

def Hex.Conway.supportedEntry_3_5 : SupportedEntry 3 5

The verified table supports C(3, 5).

Equations

• Hex.Conway.supportedEntry_3_5 = { poly := Hex.Conway.luebeckConwayPolynomial_3_5, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_5 }

def Hex.Conway.supportedEntry_59_3 : SupportedEntry 59 3

The verified table supports C(59, 3).

Equations

• Hex.Conway.supportedEntry_59_3 = { poly := Hex.Conway.luebeckConwayPolynomial_59_3, prime := Hex.Conway.prime_59, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_59_3 }

def Hex.Conway.supportedEntry_11_3 : SupportedEntry 11 3

The verified table supports C(11, 3).

Equations

• Hex.Conway.supportedEntry_11_3 = { poly := Hex.Conway.luebeckConwayPolynomial_11_3, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_3 }

def Hex.Conway.supportedEntry_19_3 : SupportedEntry 19 3

The verified table supports C(19, 3).

Equations

• Hex.Conway.supportedEntry_19_3 = { poly := Hex.Conway.luebeckConwayPolynomial_19_3, prime := Hex.Conway.prime_19, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_19_3 }

def Hex.Conway.supportedEntry_599_2 : SupportedEntry 599 2

The verified table supports C(599, 2).

Equations

• Hex.Conway.supportedEntry_599_2 = { poly := Hex.Conway.luebeckConwayPolynomial_599_2, prime := Hex.Conway.prime_599, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_599_2 }

def Hex.Conway.supportedEntry_631_2 : SupportedEntry 631 2

The verified table supports C(631, 2).

Equations

• Hex.Conway.supportedEntry_631_2 = { poly := Hex.Conway.luebeckConwayPolynomial_631_2, prime := Hex.Conway.prime_631, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_631_2 }

def Hex.Conway.supportedEntry_691_2 : SupportedEntry 691 2

The verified table supports C(691, 2).

Equations

• Hex.Conway.supportedEntry_691_2 = { poly := Hex.Conway.luebeckConwayPolynomial_691_2, prime := Hex.Conway.prime_691, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_691_2 }

def Hex.Conway.supportedEntry_739_2 : SupportedEntry 739 2

The verified table supports C(739, 2).

Equations

• Hex.Conway.supportedEntry_739_2 = { poly := Hex.Conway.luebeckConwayPolynomial_739_2, prime := Hex.Conway.prime_739, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_739_2 }

def Hex.Conway.supportedEntry_797_2 : SupportedEntry 797 2

The verified table supports C(797, 2).

Equations

• Hex.Conway.supportedEntry_797_2 = { poly := Hex.Conway.luebeckConwayPolynomial_797_2, prime := Hex.Conway.prime_797, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_797_2 }

def Hex.Conway.supportedEntry_829_2 : SupportedEntry 829 2

The verified table supports C(829, 2).

Equations

• Hex.Conway.supportedEntry_829_2 = { poly := Hex.Conway.luebeckConwayPolynomial_829_2, prime := Hex.Conway.prime_829, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_829_2 }

def Hex.Conway.supportedEntry_881_2 : SupportedEntry 881 2

The verified table supports C(881, 2).

Equations

• Hex.Conway.supportedEntry_881_2 = { poly := Hex.Conway.luebeckConwayPolynomial_881_2, prime := Hex.Conway.prime_881, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_881_2 }