cat intro12 > all
cat spec12 >> all
cat end >> all
./lasit all

