TIMESTAMP = 1556991938
SHA256 (edumips64-1.2.5.jar) = 39b678a7960babb24dec099aa48d685f074e5d431189e4550bf1f4e489e41b3b
SIZE (edumips64-1.2.5.jar) = 1409951
SHA256 (edumips64-1.2.5-manual-en.pdf) = 036a3e4735a0b8627f67f3210d3cb57b24d9ead89d494008327f1534a453af3f
SIZE (edumips64-1.2.5-manual-en.pdf) = 174302
SHA256 (edumips64-1.2.5-manual-it.pdf) = 3dce8209143fefe0a08f2aea1970612da7fc50cb96cff172ed8ff83eaefc4e74
SIZE (edumips64-1.2.5-manual-it.pdf) = 180608