__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
metamath_py-0.1.0.dist-info/licenses/LICENSE,sha256=nhUJAPbK8e1eIVuDrqhZ4CLhQp_mdVQB_uYykc3mgvY,1088
metamathpy/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
metamathpy/database.py,sha256=U67Kc5YLK3qKn84CjzdIrw71A_SFmvIYuFr0a6J-G0Q,8569
metamathpy/environment.py,sha256=W3T7xbLk4h_eL5Cc-Wcwwnd0PQU0f6ril2CmKQC4dus,3497
metamathpy/obvious.py,sha256=uQNCKND9ZgUMWVUZzVqE2EQoC8r-N5-a6w4CXFnI-m8,2521
metamathpy/parse.py,sha256=lDM9Wt8fH4vsq11yRbRjtgsyybJ4Py0Twj4WS_gfGlM,7411
metamathpy/proof.py,sha256=4-c-KolvXwDSuDl2MGDt30WCpRKlbAkBhM8e7DB9lyw,13405
metamathpy/scratch.py,sha256=XJubSDxfNeqEeIDOF-XOHExfJbqlxuxnSb1kGdDqKLk,1012
metamathpy/setmm.py,sha256=Wze7wh1qw0tsP1mFv3WRRmXwJ-apeJW4hXSnXPBBO8I,1537
metamathpy/solitaire.py,sha256=MftwG63FQYESVWnczxK9YgOh0iECzGT2Eb_jlAQs9iY,1156
metamathpy/theory.py,sha256=X1DTc3thShg6wv6QUXRlzThaAVMeXRmGx34cZPYk120,6352
metamathpy/training_data.py,sha256=etJ42QpwHx2KkIG-Iw58pUWBsUVL9-A4OU4PwHukHus,911
metamathpy/unification.py,sha256=sCW5wqHC9I4AWo8RqGxeSAiDtWUlRYQvD96eEZZ_V74,1513
mmmine/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
mmmine/bidao.py,sha256=6JShuy8vkY79JK0q3NhB42re9z_n2m_tIXGa75fL14Q,13408
mmmine/dependencies.py,sha256=YX1UoAMFVQck019YENJGrf3Mog8z89XsDuRj4xGAAUI,2819
mmmine/eliminate_defs.py,sha256=sq6pgLbJeWVeZjyTTClA7loHd8Cxrh_uAA-3ac-sCio,283
mmmine/expansion.py,sha256=lLt9b1GqFPZzeJRK2gCkZAEh2R-g0fX5ll5ZFY04NFA,6976
mmmine/ida.py,sha256=t0ge0O9ayY7sFqV-hbFUodcOSTNZ2a1_cYdiG52eFns,12784
mmmine/loglogess.py,sha256=NBWxLyFpanB4lW_E2ztDMACncHisIsx1ISfaCb-tEAo,440
mmmine/prelim_checks.py,sha256=p4-lnMjZwOHMHGe6JJ3k27oP10ZpsA3SzIMKxFxkt0I,1918
mmmine/raw.py,sha256=3BajKD_ZaBIIIc8hTiDXl3PRuuN28axDR5IMMKV6ajE,7221
mmmine/raw_heuristic.py,sha256=ni6i4FvdBSz5A6LKQRPMC0GA7dcT-GAN_NShBswGzek,5181
mmmine/scratch.py,sha256=bCpCxMIjYSsy9A53pD4Om-i1HJW6Rxgl8bCoxdOr4wk,21057
mmmine/threshfun.py,sha256=prpUnf614dshw4m-YLi7yK2ZtJAycPlBwBIx-LI_-do,157
mmmine/used.py,sha256=QuourJ3CYtbf3N2tlQgAAQmM0yFYMaacPg-P34WqfN0,4550
mmmine/wff_repeats.py,sha256=5marOBF1wsSNI5XN46o1rwaZgrk6bOnlrPdYsZvl-kw,5241
ui/scratch.py,sha256=uh2qoBCyI-6Khk9b1AmeA_-6FTJtgsWFLfxtbQXFjWg,9411
metamath_py-0.1.0.dist-info/METADATA,sha256=_vLdQYtmRv8IkYoomWw-kENgI088X0qyX938g0xY3xE,5605
metamath_py-0.1.0.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
metamath_py-0.1.0.dist-info/top_level.txt,sha256=GFNZuo3aT0Ave0YidfwTSBsIik6qirRJ85MV-ZxDJTM,30
metamath_py-0.1.0.dist-info/RECORD,,
