echo "The compiled version works only with GAP versions before 4.5";
echo " "
sh compile.sh
