cat intro15 > all
cat spec15 >> all
cat end >> all
./lasit all

