TIMESTAMP = 1580573034
SHA256 (edumips64-1.2.6.jar) = aafe69a73a8f131647c9ce4579eee248f4714cdce943d5973ccbadc74c8fdda8
SIZE (edumips64-1.2.6.jar) = 1069275
SHA256 (edumips64-1.2.6-en.pdf) = b8f2407d00f089010b64d8b517bd19407cf51865ee125d56e7876a7f0ae69b65
SIZE (edumips64-1.2.6-en.pdf) = 174736
SHA256 (edumips64-1.2.6-it.pdf) = 4de032279f87fee9689350181368c4e0217e3f3ad59700e7a8c714f051140842
SIZE (edumips64-1.2.6-it.pdf) = 181047