theoremdb/__init__.py,sha256=DEjY7UTot8uAxAWMmVRES4txstLDveWt55oH2FmQEYY,504
theoremdb/client.py,sha256=3XKt_MsKvheC_my6-OctJrKaUg0coqq4VeHgaq8wpVE,7264
theoremdb-0.1.0.dist-info/METADATA,sha256=YS04je_1M0s7bjv8h42WhuKKIPV1NoSqbXdv1U98sVs,2599
theoremdb-0.1.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
theoremdb-0.1.0.dist-info/licenses/LICENSE,sha256=cOYyInM2oR5U1Xe9xTKfccZz9OaqIvp6HhoiMyO_opk,1069
theoremdb-0.1.0.dist-info/RECORD,,
