SHA256 (ast71src-astephem.zip) = K+n3bHBllKHIhT3sdrFs2PbY3VSR8SK859xkzef6pbE=
SHA256 (ast71src.zip) = h/KgCAXJcMSRX6rBQoHbGUlH1I+guzn62i/jjtebsdc=
SIZE (ast71src-astephem.zip) = 34584754
SIZE (ast71src.zip) = 3607260