SHA256 (mathabx.zip) = dda9393648cbd2deb6b72cc9d8ddaf7b653fe7a7c046d0250dfd2e47e9bab9d0
SIZE (mathabx.zip) = 168780
SHA256 (abxtype1.zip) = 60b188d830b4cecf02336f5f41a3d0132713acec5253a9a501b52f7ca07157e6
SIZE (abxtype1.zip) = 1910891