MD5 (mathabx.zip) = 861a7604ae9fc432d507d9aaccc363b3
SIZE (mathabx.zip) = 168780
MD5 (abxtype1.zip) = a8c3ff9d789a3e3d741621b3a42d2350
SIZE (abxtype1.zip) = 1910891