/tests/
../
equiv.lac
impl.lac
prim.lac
reduce.lac
stuff.lac