TIMESTAMP = 1587021928
SHA256 (edumips64-1.2.7.1.jar) = 5a2da50fead0c39ae116952a686b8db443de821fe2d7f75f48637af288644ac5
SIZE (edumips64-1.2.7.1.jar) = 1260019
SHA256 (edumips64-1.2.7.1-en.pdf) = 53dbfde5e18dc8b9b8a3afd24568d48f064901c3cd2881c378701abadccc3df4
SIZE (edumips64-1.2.7.1-en.pdf) = 513576
SHA256 (edumips64-1.2.7.1-it.pdf) = 8a84b9218ad4141aed3442b545a19c039e53578b5ebee912cb752ff8adf4cd1c
SIZE (edumips64-1.2.7.1-it.pdf) = 532317