SHA512 (1498def50914b8d4f670874cc282072790619399.tar.gz) = 48b55c6346105388ab6012fcee09495d233cb04d20294d694bc9d240df5752684d5efa7927ad3c15d07e041f33585302bbe40a7d30f5522d4c9a716ade41bff2
SHA512 (derived-props-12.1.txt) = 4108bd9e63862c75a538a36c3a859b8271e3555e84384b90d1e751e81ee3cc9d8d36d3d47b9f1828737b2d08cff23d21c44f1c0ac79726443f90af003444789b
SHA512 (derived-props-13.0.txt) = 895df4774c4fccb9631c0f3b3c9acc4849cf60f85679194d5277ecad6125fdda71c3382ed9db0ab0ff7dabe72154f904bd750088d7fe7c2746cdd82e404067cd