def Hex.Conway.supportedEntry_521_3 : SupportedEntry 521 3

The verified table supports C(521, 3).

Equations

• Hex.Conway.supportedEntry_521_3 = { poly := Hex.Conway.luebeckConwayPolynomial_521_3, prime := Hex.Conway.prime_521, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_521_3 }

def Hex.Conway.supportedEntry_601_3 : SupportedEntry 601 3

The verified table supports C(601, 3).

Equations

• Hex.Conway.supportedEntry_601_3 = { poly := Hex.Conway.luebeckConwayPolynomial_601_3, prime := Hex.Conway.prime_601, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_601_3 }

def Hex.Conway.supportedEntry_619_3 : SupportedEntry 619 3

The verified table supports C(619, 3).

Equations

• Hex.Conway.supportedEntry_619_3 = { poly := Hex.Conway.luebeckConwayPolynomial_619_3, prime := Hex.Conway.prime_619, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_619_3 }

def Hex.Conway.supportedEntry_659_3 : SupportedEntry 659 3

The verified table supports C(659, 3).

Equations

• Hex.Conway.supportedEntry_659_3 = { poly := Hex.Conway.luebeckConwayPolynomial_659_3, prime := Hex.Conway.prime_659, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_659_3 }

def Hex.Conway.supportedEntry_733_3 : SupportedEntry 733 3

The verified table supports C(733, 3).

Equations

• Hex.Conway.supportedEntry_733_3 = { poly := Hex.Conway.luebeckConwayPolynomial_733_3, prime := Hex.Conway.prime_733, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_733_3 }

def Hex.Conway.supportedEntry_787_3 : SupportedEntry 787 3

The verified table supports C(787, 3).

Equations

• Hex.Conway.supportedEntry_787_3 = { poly := Hex.Conway.luebeckConwayPolynomial_787_3, prime := Hex.Conway.prime_787, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_787_3 }

def Hex.Conway.supportedEntry_881_3 : SupportedEntry 881 3

The verified table supports C(881, 3).

Equations

• Hex.Conway.supportedEntry_881_3 = { poly := Hex.Conway.luebeckConwayPolynomial_881_3, prime := Hex.Conway.prime_881, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_881_3 }

def Hex.Conway.supportedEntry_953_3 : SupportedEntry 953 3

The verified table supports C(953, 3).

Equations

• Hex.Conway.supportedEntry_953_3 = { poly := Hex.Conway.luebeckConwayPolynomial_953_3, prime := Hex.Conway.prime_953, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_953_3 }

def Hex.Conway.supportedEntry_19_4 : SupportedEntry 19 4

The verified table supports C(19, 4).

Equations

• Hex.Conway.supportedEntry_19_4 = { poly := Hex.Conway.luebeckConwayPolynomial_19_4, prime := Hex.Conway.prime_19, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_19_4 }

def Hex.Conway.supportedEntry_283_3 : SupportedEntry 283 3

The verified table supports C(283, 3).

Equations

• Hex.Conway.supportedEntry_283_3 = { poly := Hex.Conway.luebeckConwayPolynomial_283_3, prime := Hex.Conway.prime_283, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_283_3 }

def Hex.Conway.supportedEntry_347_3 : SupportedEntry 347 3

The verified table supports C(347, 3).

Equations

• Hex.Conway.supportedEntry_347_3 = { poly := Hex.Conway.luebeckConwayPolynomial_347_3, prime := Hex.Conway.prime_347, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_347_3 }

def Hex.Conway.supportedEntry_379_3 : SupportedEntry 379 3

The verified table supports C(379, 3).

Equations

• Hex.Conway.supportedEntry_379_3 = { poly := Hex.Conway.luebeckConwayPolynomial_379_3, prime := Hex.Conway.prime_379, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_379_3 }

def Hex.Conway.supportedEntry_439_3 : SupportedEntry 439 3

The verified table supports C(439, 3).

Equations

• Hex.Conway.supportedEntry_439_3 = { poly := Hex.Conway.luebeckConwayPolynomial_439_3, prime := Hex.Conway.prime_439, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_439_3 }

def Hex.Conway.supportedEntry_491_3 : SupportedEntry 491 3

The verified table supports C(491, 3).

Equations

• Hex.Conway.supportedEntry_491_3 = { poly := Hex.Conway.luebeckConwayPolynomial_491_3, prime := Hex.Conway.prime_491, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_491_3 }

def Hex.Conway.supportedEntry_137_3 : SupportedEntry 137 3

The verified table supports C(137, 3).

Equations

• Hex.Conway.supportedEntry_137_3 = { poly := Hex.Conway.luebeckConwayPolynomial_137_3, prime := Hex.Conway.prime_137, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_137_3 }

def Hex.Conway.supportedEntry_163_3 : SupportedEntry 163 3

The verified table supports C(163, 3).

Equations

• Hex.Conway.supportedEntry_163_3 = { poly := Hex.Conway.luebeckConwayPolynomial_163_3, prime := Hex.Conway.prime_163, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_163_3 }

def Hex.Conway.supportedEntry_557_3 : SupportedEntry 557 3

The verified table supports C(557, 3).

Equations

• Hex.Conway.supportedEntry_557_3 = { poly := Hex.Conway.luebeckConwayPolynomial_557_3, prime := Hex.Conway.prime_557, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_557_3 }

def Hex.Conway.supportedEntry_587_3 : SupportedEntry 587 3

The verified table supports C(587, 3).

Equations

• Hex.Conway.supportedEntry_587_3 = { poly := Hex.Conway.luebeckConwayPolynomial_587_3, prime := Hex.Conway.prime_587, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_587_3 }

def Hex.Conway.supportedEntry_701_3 : SupportedEntry 701 3

The verified table supports C(701, 3).

Equations

• Hex.Conway.supportedEntry_701_3 = { poly := Hex.Conway.luebeckConwayPolynomial_701_3, prime := Hex.Conway.prime_701, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_701_3 }

def Hex.Conway.supportedEntry_761_3 : SupportedEntry 761 3

The verified table supports C(761, 3).

Equations

• Hex.Conway.supportedEntry_761_3 = { poly := Hex.Conway.luebeckConwayPolynomial_761_3, prime := Hex.Conway.prime_761, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_761_3 }

def Hex.Conway.supportedEntry_863_3 : SupportedEntry 863 3

The verified table supports C(863, 3).

Equations

• Hex.Conway.supportedEntry_863_3 = { poly := Hex.Conway.luebeckConwayPolynomial_863_3, prime := Hex.Conway.prime_863, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_863_3 }

def Hex.Conway.supportedEntry_937_3 : SupportedEntry 937 3

The verified table supports C(937, 3).

Equations

• Hex.Conway.supportedEntry_937_3 = { poly := Hex.Conway.luebeckConwayPolynomial_937_3, prime := Hex.Conway.prime_937, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_937_3 }

def Hex.Conway.supportedEntry_271_3 : SupportedEntry 271 3

The verified table supports C(271, 3).

Equations

• Hex.Conway.supportedEntry_271_3 = { poly := Hex.Conway.luebeckConwayPolynomial_271_3, prime := Hex.Conway.prime_271, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_271_3 }

def Hex.Conway.supportedEntry_317_3 : SupportedEntry 317 3

The verified table supports C(317, 3).

Equations

• Hex.Conway.supportedEntry_317_3 = { poly := Hex.Conway.luebeckConwayPolynomial_317_3, prime := Hex.Conway.prime_317, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_317_3 }