theorem Hex.Conway.ofCoeffs_13_3_irreducible : (luebeckConwayPolynomialOfCoeffs 13 [11, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_13_5_irreducible : (luebeckConwayPolynomialOfCoeffs 13 [11, 4, 0, 0, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_17_1_irreducible : (luebeckConwayPolynomialOfCoeffs 17 [14, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_17_3_irreducible : (luebeckConwayPolynomialOfCoeffs 17 [14, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_19_1_irreducible : (luebeckConwayPolynomialOfCoeffs 19 [17, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_19_3_irreducible : (luebeckConwayPolynomialOfCoeffs 19 [17, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_23_1_irreducible : (luebeckConwayPolynomialOfCoeffs 23 [18, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_23_3_irreducible : (luebeckConwayPolynomialOfCoeffs 23 [18, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_29_1_irreducible : (luebeckConwayPolynomialOfCoeffs 29 [27, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_29_3_irreducible : (luebeckConwayPolynomialOfCoeffs 29 [27, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_31_1_irreducible : (luebeckConwayPolynomialOfCoeffs 31 [28, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_31_3_irreducible : (luebeckConwayPolynomialOfCoeffs 31 [28, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_37_1_irreducible : (luebeckConwayPolynomialOfCoeffs 37 [35, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_37_3_irreducible : (luebeckConwayPolynomialOfCoeffs 37 [35, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_41_1_irreducible : (luebeckConwayPolynomialOfCoeffs 41 [35, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_41_3_irreducible : (luebeckConwayPolynomialOfCoeffs 41 [35, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_43_1_irreducible : (luebeckConwayPolynomialOfCoeffs 43 [40, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_43_3_irreducible : (luebeckConwayPolynomialOfCoeffs 43 [40, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_47_1_irreducible : (luebeckConwayPolynomialOfCoeffs 47 [42, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_47_3_irreducible : (luebeckConwayPolynomialOfCoeffs 47 [42, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_53_1_irreducible : (luebeckConwayPolynomialOfCoeffs 53 [51, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_53_3_irreducible : (luebeckConwayPolynomialOfCoeffs 53 [51, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_59_1_irreducible : (luebeckConwayPolynomialOfCoeffs 59 [57, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_59_3_irreducible : (luebeckConwayPolynomialOfCoeffs 59 [57, 5, 0, 1]).Irreducible