rwx------ 500/21      0 Nov 17 10:43 1992 RWM/
r-xr--r-- 500/21      0 Oct 14 07:55 1992 RWM/INPUTS/
rw-r--r-- 500/21    246 Oct 14 07:55 1992 RWM/INPUTS/EIGHT
rw-r--r-- 500/21     28 Oct 14 07:55 1992 RWM/INPUTS/INS
rw-r--r-- 500/21     83 Oct 14 07:55 1992 RWM/INPUTS/MB-mc
rw-r--r-- 500/21    144 Oct 14 07:55 1992 RWM/INPUTS/MB-mx
rw-r--r-- 500/21    158 Oct 14 07:55 1992 RWM/INPUTS/MB-sg
rw-r--r-- 500/21    168 Oct 14 07:55 1992 RWM/INPUTS/MOD-3
rw-r--r-- 500/21    150 Oct 14 07:55 1992 RWM/INPUTS/THP-3
rw-r--r-- 500/21     91 Oct 14 07:55 1992 RWM/INPUTS/RM
rw-r--r-- 500/21    463 Oct 14 07:55 1992 RWM/INPUTS/DOMINO
rw-r--r-- 500/21    253 Oct 14 07:55 1992 RWM/INPUTS/RC-2
rw-r--r-- 500/21    247 Oct 14 07:55 1992 RWM/INPUTS/PYRAMINX
r-xr--r-- 500/21      0 Oct 14 07:55 1992 RWM/PROBLEMS/
rw-r--r-- 500/21   1049 Oct 14 07:55 1992 RWM/PROBLEMS/MB.lisp
rw-r--r-- 500/21   4149 Oct 14 07:55 1992 RWM/PROBLEMS/RM.lisp
rw-r--r-- 500/21   1694 Oct 14 07:55 1992 RWM/PROBLEMS/PYRAMINX.lisp
rw-r--r-- 500/21   1128 Oct 14 07:55 1992 RWM/PROBLEMS/RC-2.lisp
rw-r--r-- 500/21   1161 Oct 14 07:55 1992 RWM/PROBLEMS/THP-3.lisp
rw-r--r-- 500/21   1897 Oct 14 07:55 1992 RWM/PROBLEMS/MOD-3.lisp
rw-r--r-- 500/21   1337 Oct 14 07:55 1992 RWM/PROBLEMS/DOMINO.lisp
rw-r--r-- 500/21   1818 Oct 14 07:55 1992 RWM/PROBLEMS/EIGHT.lisp
rw-r--r-- 500/21   1487 Oct 14 07:55 1992 RWM/PROBLEMS/INS.lisp
r--r--r-- 500/21   3305 Oct 14 07:55 1992 RWM/README
r--r--r-- 500/21  29549 Oct 14 07:55 1992 RWM/rwm.lisp
r--r--r-- 500/21    255 Oct 14 07:55 1992 RWM/print-stage-all.lisp
r-xr--r-- 500/21      0 Oct 14 07:55 1992 RWM/DDKB/
rw-r--r-- 500/21   1185 Oct 14 07:55 1992 RWM/DDKB/INC-3.lisp
rw-r--r-- 500/21    587 Oct 14 07:55 1992 RWM/DDKB/GENERIC.lisp
r-xr--r-- 500/21      0 Oct 14 07:55 1992 RWM/OUTPUTS/
rw-r--r-- 500/21   7584 Oct 14 07:55 1992 RWM/OUTPUTS/DOMINO
rw-r--r-- 500/21   4259 Oct 14 07:55 1992 RWM/OUTPUTS/MOD-3
rw-r--r-- 500/21  18200 Oct 14 07:55 1992 RWM/OUTPUTS/EIGHT
rw-r--r-- 500/21   2361 Oct 14 07:55 1992 RWM/OUTPUTS/INS
rw-r--r-- 500/21   1081 Oct 14 07:55 1992 RWM/OUTPUTS/MB-mc
rw-r--r-- 500/21   1476 Oct 14 07:55 1992 RWM/OUTPUTS/MB-mx
rw-r--r-- 500/21   1955 Oct 14 07:55 1992 RWM/OUTPUTS/MB-sg
rw-r--r-- 500/21  18368 Oct 14 07:55 1992 RWM/OUTPUTS/PYRAMINX
rw-r--r-- 500/21   3500 Oct 14 07:55 1992 RWM/OUTPUTS/RM
rw-r--r-- 500/21  14990 Oct 14 07:55 1992 RWM/OUTPUTS/RC-2
rw-r--r-- 500/21   3959 Oct 14 07:55 1992 RWM/OUTPUTS/THP-3
rw-r--r-- 500/21   4358 Nov 17 10:44 1992 RWM/output