(load "~/newlkb/src/general/loadup")
(load-system "mrs" :force t)