curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/gap4r4p12.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/packages-2010_01_30-11_10_UTC.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/xtom1r1p4.tar.bz2
curl -RO -C - ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/tools4r4p12.tar.bz2
tar xvjf gap4r4p12.tar.bz2