SHA256 (mma-bin-14.07.tar.gz) = 73437946eb21afe4588a6f1e37a7624e0963aaa54ee593f6026334ecaf797283
SIZE (mma-bin-14.07.tar.gz) = 2288934
SHA256 (mma-pdf-14.07.tar.gz) = cb078d2846441f57b525aedc489fc2a908fadf448ff378266f34ee60c0f875f7
SIZE (mma-pdf-14.07.tar.gz) = 1820132