(load "mcmops.lsp")
(load "mcjudge.lsp")
(clear-memory)
(load "mcmops.mops")
(load "mcjudge.mops")
(judge-demo)