api.py,sha256=tKKOCy-VD1CAR36reL0wbYI8YzjnxBaYLbbwDIftufo,11576
axiom_store.py,sha256=r0awsC-gLtx8-J2Aw_a-A6oy5eJLnQZTAoBTi1LUjNs,11623
axioms/__init__.py,sha256=SDmQrOi2wLGLsEfNKaUPDP14pyyFWi1-NRUCH5vhIEw,620
axioms/arithmetic.py,sha256=JNCJsMlqz4BhHmzt3Iv3os7fIUadzH1gJ4xi7fQbRak,5820
axioms/foundational.py,sha256=lUM6z7TndjM4g4QIqbVSk-nJRiZhZ-IH3zcavfjBSdM,1288
axioms/logic.py,sha256=Ri2U0rA-4dbTrXOJBcp-4pdB7341BcMf_UdfnodrRe4,6746
axioms/pow2.py,sha256=VbcPVJd2S5F-aLZ9zsU7kYBe83PQtTRlCkGfVsaOgl4,3157
egraphs.py,sha256=Rw5HtK_FhjjXYhzMbS8rNyFYNJ3VF-qwNSDiyaYyLLU,35822
generalization.py,sha256=NP-y8kLt4eqa6GQ2JNtEElrkeKgBw5IUPeMFYKmC00Y,6851
kernel.py,sha256=uaJWNzB0qB3kteuBaRHNfLJ4nFoAshnYP-qjhiWzmSY,62382
opreof.py,sha256=9gGDRvWyqSeic5NNzaOHHYE5LuUBDceidzxGipy_pZk,13882
solving.py,sha256=KPBs8oJfUQ3jvbigmorLDkkJOD_LEFnPp9sMFLGyaFw,19062
test_kernel.py,sha256=Y2vzAjbrv5D_qj6dxZhdYOQNGblgNEzwCJ7IIE_6pGo,39844
opreof-0.1.0.dist-info/METADATA,sha256=_s1rLpWMw0wdvHvsShLd4eB-iwZ60JxnTDHRdKgj8aE,5649
opreof-0.1.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
opreof-0.1.0.dist-info/entry_points.txt,sha256=L4pXal4px3KoVp5zbNJuIwBWyaaH60IWYaStRl-Gmm4,50
opreof-0.1.0.dist-info/licenses/LICENSE,sha256=h9PKisxRTF_9nkhP-4Kw1P7AhyRDGWIT4_B2wNWKcEI,1062
opreof-0.1.0.dist-info/RECORD,,
