prelude/__init__.py,sha256=tcc-V9C6u3ri5R8ftwQZ--HiDEl7p_0FpFghUL_tRjA,270
prelude/build.py,sha256=gOu_pDP7sjBCvh0NmGTDPF59gbklq6ElDC3QV5Zicd4,4264
prelude/formula.py,sha256=MzIJ_F80sjIdtyg3guOMCwUpKSb7jr8OXVbl0pceAKc,11195
prelude/hilbert_rules.py,sha256=5_o2dFAx8EpBNODJ3itq18C6mkDSsJBgU5R0F11nRBg,3743
prelude/structures.py,sha256=Zxl0CiVfSB3MIfs_m-Gxe3y4huIfw6OZUM_eSeKjCHE,1614
metamath_prelude-0.0.3.dist-info/METADATA,sha256=Wq0_rb3UkKuSRemPZqu0JqUjyDdwaOAOegNhwmSk87Q,2760
metamath_prelude-0.0.3.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
metamath_prelude-0.0.3.dist-info/top_level.txt,sha256=lr87FqC_zfdhrQbCUJojQ44V_LMqYtCFgjh3Qk_OFSg,8
metamath_prelude-0.0.3.dist-info/RECORD,,
