make -f Makefile.3000 all.out
make -f Makefile.3100 all.out
make -f Makefile.3200 all.out
