TIMESTAMP = 1647341465
SHA256 (edumips64-1.2.10.jar) = d971d3a2ccfd11ed9f98937be2a8cea2ff4077f6fb5d799443e069a9a6ba9d7f
SIZE (edumips64-1.2.10.jar) = 2313289
SHA256 (EduMIPS64.v1.2.10.-.English.Manual.pdf) = 1f0aad1a9b5c427d51940365f68759b4a8d60c3b546281c3d29408ae86d97035
SIZE (EduMIPS64.v1.2.10.-.English.Manual.pdf) = 253460
SHA256 (EduMIPS64.v1.2.10.-.Italian.Manual.pdf) = ef08c03c7552ab50be569cb9eb9d090877cd2e427aade1cc39709c1ed74994ce
SIZE (EduMIPS64.v1.2.10.-.Italian.Manual.pdf) = 263303