(in-package "ACL2")

(include-book "bind-free/top")
(include-book "floor-mod/floor-mod")
(include-book "floor-mod/mod-expt-fast")