[Mizar verifier] MizarReleaseNbr=7 MizarVersionNbr=13 MizarVariantNbr=01 [MML] NumberOfArticles=1147 MMLVersion=4.181