SHA256 (mma-bin-12.02.tar.gz) = 834750b35eb377e5447c97cae5db834a7466fd25a5f4745b8b13085e1c687502
SIZE (mma-bin-12.02.tar.gz) = 2001558
SHA256 (mma-pdf-12.02.tar.gz) = 3659ca3fb10da385615394ba1263ddf553b02d739648aa28d13924aaca12d0a4
SIZE (mma-pdf-12.02.tar.gz) = 1594818