def Hex.Conway.supportedEntry_223_2 : SupportedEntry 223 2

The verified table supports C(223, 2).

Equations

• Hex.Conway.supportedEntry_223_2 = { poly := Hex.Conway.luebeckConwayPolynomial_223_2, prime := Hex.Conway.prime_223, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_223_2 }

def Hex.Conway.supportedEntry_251_2 : SupportedEntry 251 2

The verified table supports C(251, 2).

Equations

• Hex.Conway.supportedEntry_251_2 = { poly := Hex.Conway.luebeckConwayPolynomial_251_2, prime := Hex.Conway.prime_251, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_251_2 }

def Hex.Conway.supportedEntry_71_2 : SupportedEntry 71 2

The verified table supports C(71, 2).

Equations

• Hex.Conway.supportedEntry_71_2 = { poly := Hex.Conway.luebeckConwayPolynomial_71_2, prime := Hex.Conway.prime_71, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_71_2 }

def Hex.Conway.supportedEntry_89_2 : SupportedEntry 89 2

The verified table supports C(89, 2).

Equations

• Hex.Conway.supportedEntry_89_2 = { poly := Hex.Conway.luebeckConwayPolynomial_89_2, prime := Hex.Conway.prime_89, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_89_2 }

def Hex.Conway.supportedEntry_113_2 : SupportedEntry 113 2

The verified table supports C(113, 2).

Equations

• Hex.Conway.supportedEntry_113_2 = { poly := Hex.Conway.luebeckConwayPolynomial_113_2, prime := Hex.Conway.prime_113, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_113_2 }

def Hex.Conway.supportedEntry_43_2 : SupportedEntry 43 2

The verified table supports C(43, 2).

Equations

• Hex.Conway.supportedEntry_43_2 = { poly := Hex.Conway.luebeckConwayPolynomial_43_2, prime := Hex.Conway.prime_43, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_43_2 }

def Hex.Conway.supportedEntry_163_2 : SupportedEntry 163 2

The verified table supports C(163, 2).

Equations

• Hex.Conway.supportedEntry_163_2 = { poly := Hex.Conway.luebeckConwayPolynomial_163_2, prime := Hex.Conway.prime_163, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_163_2 }

def Hex.Conway.supportedEntry_127_2 : SupportedEntry 127 2

The verified table supports C(127, 2).

Equations

• Hex.Conway.supportedEntry_127_2 = { poly := Hex.Conway.luebeckConwayPolynomial_127_2, prime := Hex.Conway.prime_127, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_127_2 }

def Hex.Conway.supportedEntry_53_2 : SupportedEntry 53 2

The verified table supports C(53, 2).

Equations

• Hex.Conway.supportedEntry_53_2 = { poly := Hex.Conway.luebeckConwayPolynomial_53_2, prime := Hex.Conway.prime_53, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_53_2 }

def Hex.Conway.supportedEntry_31_2 : SupportedEntry 31 2

The verified table supports C(31, 2).

Equations

• Hex.Conway.supportedEntry_31_2 = { poly := Hex.Conway.luebeckConwayPolynomial_31_2, prime := Hex.Conway.prime_31, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_31_2 }

def Hex.Conway.supportedEntry_2_3 : SupportedEntry 2 3

The verified table supports C(2, 3).

Equations

• Hex.Conway.supportedEntry_2_3 = { poly := Hex.Conway.luebeckConwayPolynomial_2_3, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_3 }

def Hex.Conway.supportedEntry_5_2 : SupportedEntry 5 2

The verified table supports C(5, 2).

Equations

• Hex.Conway.supportedEntry_5_2 = { poly := Hex.Conway.luebeckConwayPolynomial_5_2, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_2 }

def Hex.Conway.supportedEntry_631_1 : SupportedEntry 631 1

The verified table supports C(631, 1).

Equations

• Hex.Conway.supportedEntry_631_1 = { poly := Hex.Conway.luebeckConwayPolynomial_631_1, prime := Hex.Conway.prime_631, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_631_1 }

def Hex.Conway.supportedEntry_911_1 : SupportedEntry 911 1

The verified table supports C(911, 1).

Equations

• Hex.Conway.supportedEntry_911_1 = { poly := Hex.Conway.luebeckConwayPolynomial_911_1, prime := Hex.Conway.prime_911, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_911_1 }

def Hex.Conway.supportedEntry_421_1 : SupportedEntry 421 1

The verified table supports C(421, 1).

Equations

• Hex.Conway.supportedEntry_421_1 = { poly := Hex.Conway.luebeckConwayPolynomial_421_1, prime := Hex.Conway.prime_421, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_421_1 }

def Hex.Conway.supportedEntry_523_1 : SupportedEntry 523 1

The verified table supports C(523, 1).

Equations

• Hex.Conway.supportedEntry_523_1 = { poly := Hex.Conway.luebeckConwayPolynomial_523_1, prime := Hex.Conway.prime_523, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_523_1 }

def Hex.Conway.supportedEntry_607_1 : SupportedEntry 607 1

The verified table supports C(607, 1).

Equations

• Hex.Conway.supportedEntry_607_1 = { poly := Hex.Conway.luebeckConwayPolynomial_607_1, prime := Hex.Conway.prime_607, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_607_1 }

def Hex.Conway.supportedEntry_643_1 : SupportedEntry 643 1

The verified table supports C(643, 1).

Equations

• Hex.Conway.supportedEntry_643_1 = { poly := Hex.Conway.luebeckConwayPolynomial_643_1, prime := Hex.Conway.prime_643, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_643_1 }

def Hex.Conway.supportedEntry_683_1 : SupportedEntry 683 1

The verified table supports C(683, 1).

Equations

• Hex.Conway.supportedEntry_683_1 = { poly := Hex.Conway.luebeckConwayPolynomial_683_1, prime := Hex.Conway.prime_683, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_683_1 }

def Hex.Conway.supportedEntry_733_1 : SupportedEntry 733 1

The verified table supports C(733, 1).

Equations

• Hex.Conway.supportedEntry_733_1 = { poly := Hex.Conway.luebeckConwayPolynomial_733_1, prime := Hex.Conway.prime_733, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_733_1 }

def Hex.Conway.supportedEntry_757_1 : SupportedEntry 757 1

The verified table supports C(757, 1).

Equations

• Hex.Conway.supportedEntry_757_1 = { poly := Hex.Conway.luebeckConwayPolynomial_757_1, prime := Hex.Conway.prime_757, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_757_1 }

def Hex.Conway.supportedEntry_821_1 : SupportedEntry 821 1

The verified table supports C(821, 1).

Equations

• Hex.Conway.supportedEntry_821_1 = { poly := Hex.Conway.luebeckConwayPolynomial_821_1, prime := Hex.Conway.prime_821, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_821_1 }

def Hex.Conway.supportedEntry_853_1 : SupportedEntry 853 1

The verified table supports C(853, 1).

Equations

• Hex.Conway.supportedEntry_853_1 = { poly := Hex.Conway.luebeckConwayPolynomial_853_1, prime := Hex.Conway.prime_853, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_853_1 }

def Hex.Conway.supportedEntry_907_1 : SupportedEntry 907 1

The verified table supports C(907, 1).

Equations

• Hex.Conway.supportedEntry_907_1 = { poly := Hex.Conway.luebeckConwayPolynomial_907_1, prime := Hex.Conway.prime_907, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_907_1 }