It ran on Intel Xeon CPU E5-2630v2 at 2.60GHz, it has 6 cores but the code ran on a single core. The code files are in a language called Magma which I've never

It ran on Intel Xeon CPU E5-2630v2 at 2.60GHz, it has 6 cores but the code ran on a single core. The code files are in a language called Magma which I've never heard of, they are: https://homes.esat.kuleuven.be/~wcastryc/code/richelot_aux.m https://homes.esat.kuleuven.be/~wcastryc/code/richelot_aux.m https://homes.esat.kuleuven.be/~wcastryc/code/uvtable.m https://homes.esat.kuleuven.be/~wcastryc/code/uvtable.m https://homes.esat.kuleuven.be/~wcastryc/code/SIKE_challenge.m https://homes.esat.kuleuven.be/~wcastryc/code/SIKE_challenge... https://homes.esat.kuleuven.be/~wcastryc/code/SIKEp434.m https://homes.esat.kuleuven.be/~wcastryc/code/SIKEp434.m