TIMESTAMP = 1605716826
SHA256 (edumips64-1.2.9.jar) = 422ff853ba7a7dd31dc0eb3153c5bda2fe9de433408e37b17cf69c833ce02246
SIZE (edumips64-1.2.9.jar) = 2251955
SHA256 (edumips64-1.2.9-en.pdf) = 949acf1e510c7b64be49c9b9e2911de479e076fd1ed49e0bac6c4c2286e88af7
SIZE (edumips64-1.2.9-en.pdf) = 254779
SHA256 (edumips64-1.2.9-it.pdf) = e65f1108428e02aae8f6a383194b5b67913e2d730843416ed03da6ca0346ce99
SIZE (edumips64-1.2.9-it.pdf) = 264029