Sindbad~EG File Manager

../otter-lambda < cantor.in >  cantor.out
../otter-lambda < cantor2.in >  cantor2.out
../otter-lambda < divides4.in > divides4.out
../otter-lambda < homomorphism.in >  homomorphism.out
../otter-lambda < identity.in > identity.out
../otter-lambda < lagrange2.in >  lagrange2.out
../otter-lambda < lagrange3.in > lagrange3.out
../otter-lambda < lambda.in > lambda.out
../otter-lambda < lambda4.in > lambda4.out
../otter-lambda < nilpotent3.in >  nilpotent3.out
../otter-lambda < nilpotent4.in > nilpotent4.out
../otter-lambda < PA-assocplus.in >  PA-assocplus.out
../otter-lambda < quantifiers4.in > quantifiers4.out
../otter-lambda < quantifiers4.in >  quantifiers5.out
../otter-lambda < quantifiers8.in >  quantifiers8.out
../otter-lambda < PA-complus.in > PA-complus.out
../otter-lambda < PA-multcom.in >  PA-multcom.out