_autosat_tseytin.cpython-310-x86_64-linux-gnu.so,sha256=Ebd3O3N9BJdgfK1HaTfbNN8Gsk7euER0WbW6hPfUbQg,2830808
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=yBfuLFWT4UNNltkhBd2UXfOWXOKWXaxgWSrNPdQOV2I,152
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=Vc8qQoSpK7K7GjyXID081bMtLyq3aTWfKFSb7Kt4oiA,11749
autosat/__init__.py,sha256=sHTms1Zkyyer8wojazc1qNFyeMV7uPqwSM6Rg9vghXM,14897
