#! /bin/bash
#
./arrow_gurobi.sh
./fatty_gurobi.sh
./rhombus_gurobi.sh
./t_gurobi.sh
#
echo "Normal end of execution."