The current version of pack ccprism does not contain a file prolog/ccprism/lazymath.pl
ccprism
prolog/ccprism/lazymath.pl