def Hex.Conway.supportedEntry_7_3 : SupportedEntry 7 3

The verified table supports C(7, 3).

Equations

• Hex.Conway.supportedEntry_7_3 = { poly := Hex.Conway.luebeckConwayPolynomial_7_3, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_3 }

def Hex.Conway.supportedEntry_863_2 : SupportedEntry 863 2

The verified table supports C(863, 2).

Equations

• Hex.Conway.supportedEntry_863_2 = { poly := Hex.Conway.luebeckConwayPolynomial_863_2, prime := Hex.Conway.prime_863, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_863_2 }

def Hex.Conway.supportedEntry_103_2 : SupportedEntry 103 2

The verified table supports C(103, 2).

Equations

• Hex.Conway.supportedEntry_103_2 = { poly := Hex.Conway.luebeckConwayPolynomial_103_2, prime := Hex.Conway.prime_103, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_103_2 }

def Hex.Conway.supportedEntry_383_2 : SupportedEntry 383 2

The verified table supports C(383, 2).

Equations

• Hex.Conway.supportedEntry_383_2 = { poly := Hex.Conway.luebeckConwayPolynomial_383_2, prime := Hex.Conway.prime_383, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_383_2 }

def Hex.Conway.supportedEntry_59_2 : SupportedEntry 59 2

The verified table supports C(59, 2).

Equations

• Hex.Conway.supportedEntry_59_2 = { poly := Hex.Conway.luebeckConwayPolynomial_59_2, prime := Hex.Conway.prime_59, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_59_2 }

def Hex.Conway.supportedEntry_193_2 : SupportedEntry 193 2

The verified table supports C(193, 2).

Equations

• Hex.Conway.supportedEntry_193_2 = { poly := Hex.Conway.luebeckConwayPolynomial_193_2, prime := Hex.Conway.prime_193, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_193_2 }

def Hex.Conway.supportedEntry_5_3 : SupportedEntry 5 3

The verified table supports C(5, 3).

Equations

• Hex.Conway.supportedEntry_5_3 = { poly := Hex.Conway.luebeckConwayPolynomial_5_3, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_3 }

def Hex.Conway.supportedEntry_37_2 : SupportedEntry 37 2

The verified table supports C(37, 2).

Equations

• Hex.Conway.supportedEntry_37_2 = { poly := Hex.Conway.luebeckConwayPolynomial_37_2, prime := Hex.Conway.prime_37, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_37_2 }

def Hex.Conway.supportedEntry_19_2 : SupportedEntry 19 2

The verified table supports C(19, 2).

Equations

• Hex.Conway.supportedEntry_19_2 = { poly := Hex.Conway.luebeckConwayPolynomial_19_2, prime := Hex.Conway.prime_19, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_19_2 }

def Hex.Conway.supportedEntry_11_2 : SupportedEntry 11 2

The verified table supports C(11, 2).

Equations

• Hex.Conway.supportedEntry_11_2 = { poly := Hex.Conway.luebeckConwayPolynomial_11_2, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_2 }

def Hex.Conway.supportedEntry_547_1 : SupportedEntry 547 1

The verified table supports C(547, 1).

Equations

• Hex.Conway.supportedEntry_547_1 = { poly := Hex.Conway.luebeckConwayPolynomial_547_1, prime := Hex.Conway.prime_547, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_547_1 }

def Hex.Conway.supportedEntry_691_1 : SupportedEntry 691 1

The verified table supports C(691, 1).

Equations

• Hex.Conway.supportedEntry_691_1 = { poly := Hex.Conway.luebeckConwayPolynomial_691_1, prime := Hex.Conway.prime_691, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_691_1 }

def Hex.Conway.supportedEntry_991_1 : SupportedEntry 991 1

The verified table supports C(991, 1).

Equations

• Hex.Conway.supportedEntry_991_1 = { poly := Hex.Conway.luebeckConwayPolynomial_991_1, prime := Hex.Conway.prime_991, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_991_1 }

def Hex.Conway.supportedEntry_521_1 : SupportedEntry 521 1

The verified table supports C(521, 1).

Equations

• Hex.Conway.supportedEntry_521_1 = { poly := Hex.Conway.luebeckConwayPolynomial_521_1, prime := Hex.Conway.prime_521, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_521_1 }

def Hex.Conway.supportedEntry_599_1 : SupportedEntry 599 1

The verified table supports C(599, 1).

Equations

• Hex.Conway.supportedEntry_599_1 = { poly := Hex.Conway.luebeckConwayPolynomial_599_1, prime := Hex.Conway.prime_599, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_599_1 }

def Hex.Conway.supportedEntry_617_1 : SupportedEntry 617 1

The verified table supports C(617, 1).

Equations

• Hex.Conway.supportedEntry_617_1 = { poly := Hex.Conway.luebeckConwayPolynomial_617_1, prime := Hex.Conway.prime_617, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_617_1 }

def Hex.Conway.supportedEntry_659_1 : SupportedEntry 659 1

The verified table supports C(659, 1).

Equations

• Hex.Conway.supportedEntry_659_1 = { poly := Hex.Conway.luebeckConwayPolynomial_659_1, prime := Hex.Conway.prime_659, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_659_1 }

def Hex.Conway.supportedEntry_709_1 : SupportedEntry 709 1

The verified table supports C(709, 1).

Equations

• Hex.Conway.supportedEntry_709_1 = { poly := Hex.Conway.luebeckConwayPolynomial_709_1, prime := Hex.Conway.prime_709, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_709_1 }

def Hex.Conway.supportedEntry_743_1 : SupportedEntry 743 1

The verified table supports C(743, 1).

Equations

• Hex.Conway.supportedEntry_743_1 = { poly := Hex.Conway.luebeckConwayPolynomial_743_1, prime := Hex.Conway.prime_743, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_743_1 }

def Hex.Conway.supportedEntry_787_1 : SupportedEntry 787 1

The verified table supports C(787, 1).

Equations

• Hex.Conway.supportedEntry_787_1 = { poly := Hex.Conway.luebeckConwayPolynomial_787_1, prime := Hex.Conway.prime_787, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_787_1 }

def Hex.Conway.supportedEntry_827_1 : SupportedEntry 827 1

The verified table supports C(827, 1).

Equations

• Hex.Conway.supportedEntry_827_1 = { poly := Hex.Conway.luebeckConwayPolynomial_827_1, prime := Hex.Conway.prime_827, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_827_1 }

def Hex.Conway.supportedEntry_881_1 : SupportedEntry 881 1

The verified table supports C(881, 1).

Equations

• Hex.Conway.supportedEntry_881_1 = { poly := Hex.Conway.luebeckConwayPolynomial_881_1, prime := Hex.Conway.prime_881, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_881_1 }

def Hex.Conway.supportedEntry_937_1 : SupportedEntry 937 1

The verified table supports C(937, 1).

Equations

• Hex.Conway.supportedEntry_937_1 = { poly := Hex.Conway.luebeckConwayPolynomial_937_1, prime := Hex.Conway.prime_937, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_937_1 }

def Hex.Conway.supportedEntry_971_1 : SupportedEntry 971 1

The verified table supports C(971, 1).

Equations

• Hex.Conway.supportedEntry_971_1 = { poly := Hex.Conway.luebeckConwayPolynomial_971_1, prime := Hex.Conway.prime_971, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_971_1 }