deeperthawt/__init__.py,sha256=zdpQUsuSbgJoJnOx0S5bUMVAzBkyvJE4XQGVYQ8_eRw,5525
deeperthawt/_backends.py,sha256=vkmsO3UzJJYCRwN-xxk0CR2quppd-I8DuONN95oVUS4,1732
deeperthawt/_backends_core.py,sha256=pSnlLPqE7DMpS009N2oStsZC51lrTgz5scTxesVUh_k,1341
deeperthawt/cli.py,sha256=U-hHfxH2Y5spSHMPuFh9pBJhn7MdQSWaVRlA6opIlVs,3905
deeperthawt/_vendored/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deeperthawt/_vendored/known_theorems.py,sha256=AsTJ-ZE07KNZ7lO4O4iFdk7n8JY-dY6x1nfk3BwFZQo,15854
deeperthawt/_vendored/logic_engine.py,sha256=h33b_HDpwKYixA8UIaxOkh3wKlO-nJNYnKjkNaN_nx4,15429
deeperthawt/_vendored/math_solver_oracle.py,sha256=8niOJlNcI1TT5h6zjpLdB7XQwMRWlbCdfrIncGEz7SQ,24516
deeperthawt/_vendored/nl_math_parser.py,sha256=vC5nU4artsI8YuIkDsKFJjGCg8ohhFI9IIGG2aK2qPI,10760
deeperthawt/_vendored/python_knowledge.py,sha256=Y1rvt7jte_NyMNRAx7Z01O7lnNAEfWJqA6CBk9Xq4-8,12631
deeperthawt/_vendored/scientific_knowledge.py,sha256=7VT4zVetpFNfbpOJhHiHf1dBSQA7kNwfSrnU33sKwXA,7040
deeperthawt-1.0.0.dist-info/licenses/LICENSE.commercial.md,sha256=vJsFvMw_Alb9bBVCSswtrcLOyBFX1852Ajqnm5qWcJc,2394
deeperthawt-1.0.0.dist-info/METADATA,sha256=GFK1yQQdxXd2gGLxlW_l_Tco0wafewJ7IFhBC7wo1KU,6743
deeperthawt-1.0.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
deeperthawt-1.0.0.dist-info/entry_points.txt,sha256=41PcgQw3yUT9gQkh16DxGZhqxABEoVQhjXUA2pVYXrU,53
deeperthawt-1.0.0.dist-info/top_level.txt,sha256=LhC2yeyllXBOGpYr3Is6GdmA1SFzj6AFyC2Y7OLpoP8,12
deeperthawt-1.0.0.dist-info/RECORD,,
