a36caac00948cc0a8bc78c3712036c48  tarski-0.8.2.tar.gz