other
(in-package "PRIMES")
other
(include-book "kestrel/number-theory/defprime" :dir :system)
other
(defprime bn-254-group-prime 21888242871839275222246405745257275088548364400416034343698204186575808495617 (5 (2 3 13 29 983 11003 237073 405928799 1670836401704629 13818364434197438864469338081) (28 2 1 1 1 1 1 1 1 1) (nil nil nil nil nil nil nil (22 (2 11 3691 4999) (1 1 1 1) (nil nil nil nil)) (2 (2 3 5156902474397) (2 4 1) (nil nil (2 (2 107 12048837557) (2 1 1) (nil nil (2 (2 7 661 93001) (2 2 1 1) (nil nil nil nil)))))) (3 (2 5 823 1593227 65865678001877903) (5 1 1 1 1) (nil nil nil nil (5 (2 83 379 1637 639533339) (1 1 1 1 1) (nil nil nil nil (2 (2 229 853 1637) (1 1 1 1) (nil nil nil nil)))))))))