_autosat_tseytin.cpython-36m-x86_64-linux-gnu.so,sha256=QqXZ-LyUBKErPGZhvcbzXLZqWMcxlfssWnDAtnFfVIQ,2766368
autosat-0.0.0.dist-info/LICENSE,sha256=cXloPoAA5r3Ju8YNhe3wpKyOdvlRhX9U_Ld11YhvEwk,7049
autosat-0.0.0.dist-info/RECORD,,
autosat-0.0.0.dist-info/WHEEL,sha256=KMjJrr8K8tjgFeMhIng78AQus0AToivNAA9MjGcjFZU,150
autosat-0.0.0.dist-info/METADATA,sha256=UpdqvyJnzEy1gFSLHYZydMIGJnv0PSlp6K4ZzvIR2p0,607
autosat-0.0.0.dist-info/top_level.txt,sha256=DFQsMNieXBO8aJrR5y0o_wnZbYxlH30aNO6f6Z4Z2XI,25
autosat/autosat_tseytin.py,sha256=c0fIZ95zNlorVYmhMf5QzPk3J4TBJySI6I2klk23wvY,11749
autosat/__init__.py,sha256=sHTms1Zkyyer8wojazc1qNFyeMV7uPqwSM6Rg9vghXM,14897
