def Hex.Conway.supportedEntry_179_3 : SupportedEntry 179 3

The verified table supports C(179, 3).

Equations

• Hex.Conway.supportedEntry_179_3 = { poly := Hex.Conway.luebeckConwayPolynomial_179_3, prime := Hex.Conway.prime_179, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_179_3 }

def Hex.Conway.supportedEntry_223_3 : SupportedEntry 223 3

The verified table supports C(223, 3).

Equations

• Hex.Conway.supportedEntry_223_3 = { poly := Hex.Conway.luebeckConwayPolynomial_223_3, prime := Hex.Conway.prime_223, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_223_3 }

def Hex.Conway.supportedEntry_251_3 : SupportedEntry 251 3

The verified table supports C(251, 3).

Equations

• Hex.Conway.supportedEntry_251_3 = { poly := Hex.Conway.luebeckConwayPolynomial_251_3, prime := Hex.Conway.prime_251, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_251_3 }

def Hex.Conway.supportedEntry_839_3 : SupportedEntry 839 3

The verified table supports C(839, 3).

Equations

• Hex.Conway.supportedEntry_839_3 = { poly := Hex.Conway.luebeckConwayPolynomial_839_3, prime := Hex.Conway.prime_839, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_839_3 }

def Hex.Conway.supportedEntry_103_3 : SupportedEntry 103 3

The verified table supports C(103, 3).

Equations

• Hex.Conway.supportedEntry_103_3 = { poly := Hex.Conway.luebeckConwayPolynomial_103_3, prime := Hex.Conway.prime_103, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_103_3 }

def Hex.Conway.supportedEntry_257_3 : SupportedEntry 257 3

The verified table supports C(257, 3).

Equations

• Hex.Conway.supportedEntry_257_3 = { poly := Hex.Conway.luebeckConwayPolynomial_257_3, prime := Hex.Conway.prime_257, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_257_3 }

def Hex.Conway.supportedEntry_2_7 : SupportedEntry 2 7

The verified table supports C(2, 7).

Equations

• Hex.Conway.supportedEntry_2_7 = { poly := Hex.Conway.luebeckConwayPolynomial_2_7, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_7 }

def Hex.Conway.supportedEntry_47_3 : SupportedEntry 47 3

The verified table supports C(47, 3).

Equations

• Hex.Conway.supportedEntry_47_3 = { poly := Hex.Conway.luebeckConwayPolynomial_47_3, prime := Hex.Conway.prime_47, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_47_3 }

def Hex.Conway.supportedEntry_5_4 : SupportedEntry 5 4

The verified table supports C(5, 4).

Equations

• Hex.Conway.supportedEntry_5_4 = { poly := Hex.Conway.luebeckConwayPolynomial_5_4, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_4 }

def Hex.Conway.supportedEntry_89_3 : SupportedEntry 89 3

The verified table supports C(89, 3).

Equations

• Hex.Conway.supportedEntry_89_3 = { poly := Hex.Conway.luebeckConwayPolynomial_89_3, prime := Hex.Conway.prime_89, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_89_3 }

def Hex.Conway.supportedEntry_29_3 : SupportedEntry 29 3

The verified table supports C(29, 3).

Equations

• Hex.Conway.supportedEntry_29_3 = { poly := Hex.Conway.luebeckConwayPolynomial_29_3, prime := Hex.Conway.prime_29, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_29_3 }

def Hex.Conway.supportedEntry_659_2 : SupportedEntry 659 2

The verified table supports C(659, 2).

Equations

• Hex.Conway.supportedEntry_659_2 = { poly := Hex.Conway.luebeckConwayPolynomial_659_2, prime := Hex.Conway.prime_659, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_659_2 }

def Hex.Conway.supportedEntry_419_2 : SupportedEntry 419 2

The verified table supports C(419, 2).

Equations

• Hex.Conway.supportedEntry_419_2 = { poly := Hex.Conway.luebeckConwayPolynomial_419_2, prime := Hex.Conway.prime_419, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_419_2 }

def Hex.Conway.supportedEntry_521_2 : SupportedEntry 521 2

The verified table supports C(521, 2).

Equations

• Hex.Conway.supportedEntry_521_2 = { poly := Hex.Conway.luebeckConwayPolynomial_521_2, prime := Hex.Conway.prime_521, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_521_2 }

def Hex.Conway.supportedEntry_601_2 : SupportedEntry 601 2

The verified table supports C(601, 2).

Equations

• Hex.Conway.supportedEntry_601_2 = { poly := Hex.Conway.luebeckConwayPolynomial_601_2, prime := Hex.Conway.prime_601, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_601_2 }

def Hex.Conway.supportedEntry_643_2 : SupportedEntry 643 2

The verified table supports C(643, 2).

Equations

• Hex.Conway.supportedEntry_643_2 = { poly := Hex.Conway.luebeckConwayPolynomial_643_2, prime := Hex.Conway.prime_643, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_643_2 }

def Hex.Conway.supportedEntry_701_2 : SupportedEntry 701 2

The verified table supports C(701, 2).

Equations

• Hex.Conway.supportedEntry_701_2 = { poly := Hex.Conway.luebeckConwayPolynomial_701_2, prime := Hex.Conway.prime_701, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_701_2 }

def Hex.Conway.supportedEntry_743_2 : SupportedEntry 743 2

The verified table supports C(743, 2).

Equations

• Hex.Conway.supportedEntry_743_2 = { poly := Hex.Conway.luebeckConwayPolynomial_743_2, prime := Hex.Conway.prime_743, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_743_2 }

def Hex.Conway.supportedEntry_811_2 : SupportedEntry 811 2

The verified table supports C(811, 2).

Equations

• Hex.Conway.supportedEntry_811_2 = { poly := Hex.Conway.luebeckConwayPolynomial_811_2, prime := Hex.Conway.prime_811, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_811_2 }

def Hex.Conway.supportedEntry_839_2 : SupportedEntry 839 2

The verified table supports C(839, 2).

Equations

• Hex.Conway.supportedEntry_839_2 = { poly := Hex.Conway.luebeckConwayPolynomial_839_2, prime := Hex.Conway.prime_839, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_839_2 }

def Hex.Conway.supportedEntry_883_2 : SupportedEntry 883 2

The verified table supports C(883, 2).

Equations

• Hex.Conway.supportedEntry_883_2 = { poly := Hex.Conway.luebeckConwayPolynomial_883_2, prime := Hex.Conway.prime_883, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_883_2 }

def Hex.Conway.supportedEntry_941_2 : SupportedEntry 941 2

The verified table supports C(941, 2).

Equations

• Hex.Conway.supportedEntry_941_2 = { poly := Hex.Conway.luebeckConwayPolynomial_941_2, prime := Hex.Conway.prime_941, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_941_2 }

def Hex.Conway.supportedEntry_991_2 : SupportedEntry 991 2

The verified table supports C(991, 2).

Equations

• Hex.Conway.supportedEntry_991_2 = { poly := Hex.Conway.luebeckConwayPolynomial_991_2, prime := Hex.Conway.prime_991, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_991_2 }

def Hex.Conway.supportedEntry_373_2 : SupportedEntry 373 2

The verified table supports C(373, 2).

Equations

• Hex.Conway.supportedEntry_373_2 = { poly := Hex.Conway.luebeckConwayPolynomial_373_2, prime := Hex.Conway.prime_373, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_373_2 }