MD5 (mathabx.zip) = 5cf5061985b5adf0562f119cb6b6db5a
SIZE (mathabx.zip) = 143986
MD5 (abxtype1.zip) = efcefb7dd3d73fd445d6212a06729da9
SIZE (abxtype1.zip) = 1845706