Skipping utilities.lhug-clisp since it already exists.
Skipping logic.lhug-clisp since it already exists.
Skipping level2.lhug-clisp since it already exists.
Skipping level3.lhug-clisp since it already exists.
Skipping level4.lhug-clisp since it already exists.
Skipping level5.lhug-clisp since it already exists.
Skipping level6.lhug-clisp since it already exists.
Skipping level7.lhug-clisp since it already exists.
Skipping level8.lhug-clisp since it already exists.
Skipping level9.lhug-clisp since it already exists.
Processing level10
  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Welcome to GNU CLISP 2.47 (2008-10-23) <http://clisp.cons.org/>

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2008

Type :h and hit Enter for context help.

Milawa Proof Checker.
13520> DEFINE FOUR-NATS-MEASURE
;; Reading from Proofs/level10/admit-four-nats-measure.proofs
;; Reading the file took 0.06 seconds
;; Checking the proofs took 0.00 seconds
;; DEFINE took 0.08 seconds
13521> VERIFY FOUR-NATS-MEASURE
;; Reading from Proofs/level10/thm-four-nats-measure.proof
;; Reading the file took 0.22 seconds
;; Checking the proof took 3.39 seconds
;; VERIFY took 3.63 seconds
13522> VERIFY ORDP-OF-FOUR-NATS-MEASURE
;; Reading from Proofs/level10/thm-ordp-of-four-nats-measure.proof