These files are backup to the paper:
Download Magma source code containing the, well, Magma source code.