mmpy_packagefiles/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
mmpy_packagefiles/database.py,sha256=72xS3ei_qc6giF9gtXSh57ZPlj54a6Tn1kQpBsmkl4A,6867
mmpy_packagefiles/obvious.py,sha256=PLymkNFs2i-yYjcZD9uDStIuq-oG3uj5PaklThXcpYQ,2603
mmpy_packagefiles/parse.py,sha256=IkyUS2KdrTHyayuMQHboYcgxrLJGjL3LfUwFA_Y40PE,7644
mmpy_packagefiles/proof.py,sha256=18OtGE2qnH2Ri3vVe6M-SLN9gJfcT95K-tCUDP-9WAE,10647
mmpy_packagefiles/scratch.py,sha256=RgMk_neTiZenSH68w0FHwMpZsUS_1zjKS4Rf3cRdZ6k,1052
mmpy_packagefiles/theory.py,sha256=QuuaFwqjPnuQknCJtkJs-gRiFnbOUmQQR9FUmBVViSA,6522
mmpy_packagefiles/training_data.py,sha256=6-xRzFl3BkGJ3IGopK0rpZgo3Vj3HOP-LMTlDE_gXQc,922
mmpy_packagefiles-0.0.10.dist-info/LICENSE,sha256=Gb-WjHFGffRLQjMxSseGOTIuF587e5Akqs6ijdnuCPE,1094
mmpy_packagefiles-0.0.10.dist-info/METADATA,sha256=VTmBxer8BEuXtgEoSz8Fwcbd-3eh8fymumJvMT0MUEw,541
mmpy_packagefiles-0.0.10.dist-info/WHEEL,sha256=AtBG6SXL3KF_v0NxLf0ehyVOh0cold-JbJYXNGorC6Q,92
mmpy_packagefiles-0.0.10.dist-info/top_level.txt,sha256=AcrQ399MJv9oLpoT4JHsR7cooWyiMIWU_iMAvCUgGZk,18
mmpy_packagefiles-0.0.10.dist-info/RECORD,,
