theorem Hex.Conway.ofCoeffs_61_1_irreducible : (luebeckConwayPolynomialOfCoeffs 61 [59, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_61_3_irreducible : (luebeckConwayPolynomialOfCoeffs 61 [59, 7, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_67_1_irreducible : (luebeckConwayPolynomialOfCoeffs 67 [65, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_67_3_irreducible : (luebeckConwayPolynomialOfCoeffs 67 [65, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_71_1_irreducible : (luebeckConwayPolynomialOfCoeffs 71 [64, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_71_3_irreducible : (luebeckConwayPolynomialOfCoeffs 71 [64, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_73_1_irreducible : (luebeckConwayPolynomialOfCoeffs 73 [68, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_73_3_irreducible : (luebeckConwayPolynomialOfCoeffs 73 [68, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_79_1_irreducible : (luebeckConwayPolynomialOfCoeffs 79 [76, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_79_3_irreducible : (luebeckConwayPolynomialOfCoeffs 79 [76, 9, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_83_1_irreducible : (luebeckConwayPolynomialOfCoeffs 83 [81, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_83_3_irreducible : (luebeckConwayPolynomialOfCoeffs 83 [81, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_89_1_irreducible : (luebeckConwayPolynomialOfCoeffs 89 [86, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_89_3_irreducible : (luebeckConwayPolynomialOfCoeffs 89 [86, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_97_1_irreducible : (luebeckConwayPolynomialOfCoeffs 97 [92, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_97_3_irreducible : (luebeckConwayPolynomialOfCoeffs 97 [92, 9, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_101_1_irreducible : (luebeckConwayPolynomialOfCoeffs 101 [99, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_101_3_irreducible : (luebeckConwayPolynomialOfCoeffs 101 [99, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_103_1_irreducible : (luebeckConwayPolynomialOfCoeffs 103 [98, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_103_3_irreducible : (luebeckConwayPolynomialOfCoeffs 103 [98, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_107_1_irreducible : (luebeckConwayPolynomialOfCoeffs 107 [105, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_107_3_irreducible : (luebeckConwayPolynomialOfCoeffs 107 [105, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_109_1_irreducible : (luebeckConwayPolynomialOfCoeffs 109 [103, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_109_3_irreducible : (luebeckConwayPolynomialOfCoeffs 109 [103, 1, 0, 1]).Irreducible