rerum/__init__.py,sha256=nezjWebzjYtJz8bxrZerI8vi3D8Sg43HIw_d_tliAkw,6187
rerum/acmatch.py,sha256=ADlyzOJXyjAwLFV5I0hEEZLgL8Y-onPeH_NLkOG7ZFc,12060
rerum/acunify.py,sha256=Ug70UiRM-oTK_zpk1on_7tXpKEOEBHAXsdozepOOEbM,11663
rerum/cli.py,sha256=tF8xg3CBc80t8NvC3jCe1tYDf3oE3T7nCf6fqB-Tpn0,23763
rerum/completion.py,sha256=i4KrvtSCI6dV9_uBSM8wQoMCoiUlI5h4QizrinIrd40,7349
rerum/confluence.py,sha256=KQGAeBio02ofNCVF0JnOZ_UebtBSqmSDiOnPO1vkevw,19492
rerum/engine.py,sha256=xR03eTkoyTrxEt9RigfOm0v3CCUzdGvSESIFOo6pQ14,189558
rerum/expr.py,sha256=CkGbtktlJ_UL-gbCV2AkPtmYPs1Dp8UOZ-qFukU1zv8,8668
rerum/hooks.py,sha256=XX_zGfcjjwK2MnKxf4_yuboJtlEI6K5kdQGTphFmXd4,8224
rerum/manifest.py,sha256=WE4NuOuCz5FIMYIqOrXaeyd-keyxeapHB27EHJhl7DI,5902
rerum/narrowing.py,sha256=f6knWY63IGrh2Xi6xBdGVJMZpvnG7RKoXJgQxeJS6q0,9971
rerum/normalize.py,sha256=G97CRBf9kqkV6S8LkprXvEVhBvkFcEDG11GZiTd0xSg,16096
rerum/numeval.py,sha256=pmNnIFm8HQuX5urmu4u6mtV5THyZku-hMlC5vId5g-o,8577
rerum/optimize.py,sha256=vu1PyNMw4HNliJagIjGepGrGyW-Pgrweis4iYmrrDGA,5612
rerum/rewriter.py,sha256=w3SAyIJIJNb3fISoMJleFnRhJ0-NsswnRrzqFxVFcn8,44636
rerum/solve.py,sha256=GK04PT95PUDWrW3byPKKxOQHIU3GOMw9oxfe76d1PaA,15234
rerum/termination.py,sha256=VT6Wx9E4sfWZsPlmMPOLBKk1-pzqxV-ADw_KBjk3Bjk,5704
rerum/trace.py,sha256=qO48W4NUqLHZFGRp_yypJX9YNP80LcRbgI-M_JOJOY0,13891
rerum/training.py,sha256=po96QDho1M21YlNFro63PhlR58BgqA-UgHuZj3mgLaw,10594
rerum/mcp/__init__.py,sha256=XWRFh1JZ7sLZqMVMQQrdWQqLh8tLp3Yg6Qo2uyBikC8,6382
rerum/mcp/errors.py,sha256=yOOMVj-DhN0l-Gdcb9g0V2TsMJtJhCV_8WS74vFt8lM,5131
rerum/mcp/persistence.py,sha256=AjX7EdXWkRNj8BIudrKj7FkcrlHS6kvXa1txG-V3E3Q,5521
rerum/mcp/registry.py,sha256=jMere3Z3Z0LRN7GMQ4sEdYMdaJFXN24S16Lvkko5dUk,13261
rerum/mcp/server.py,sha256=6vQvBhIrLZourhz-OlWVupQPHRtPfJ29MwJeV08JcBA,3587
rerum/mcp/solver.py,sha256=rLLd8N4HcpQoFJ0uacwDY6VefPiOK73SSb6X6GOSQcM,4917
rerum/mcp/tools.py,sha256=39HzqVJ3Umzz_1POuSqxk4m0s2tLaLLiCLhGCmdbuVw,41239
rerum/mcp/trace.py,sha256=5bXMTblee2pvnplI4UvII29vxRmZHC3Xeif4g8qEUAk,8781
rerum/mcp/utils.py,sha256=OCuHlXZT_h1LkxCwXnZoqbHHjbp7_jKaxh2yZItYkAQ,2486
rerum/tests/__init__.py,sha256=2MlX3IHIRgiEn4gwt7zq2nZr-QglgtKyq2vfd0W5NP4,35
rerum/tests/conftest.py,sha256=DVX_sltghHkQqAyGvba7AeQXPRWLhY1ChMNJmc35UUA,851
rerum/tests/test_acmatch.py,sha256=F-Y2Glo8razIIjR7Kyl28wGNOFZRvkRLVDDwNLsOlmg,18965
rerum/tests/test_acunify.py,sha256=Fi2m8x1LiYqAJBDssPQs6QGb2SOkXeZRjWjk8geAcyM,11887
rerum/tests/test_bidirectional.py,sha256=ISRLcHOMifpNUawtBGKZhzKN4_t6cCt4-EBNAB9Ffzk,23092
rerum/tests/test_bindings.py,sha256=Zy-ieWItyWUb99UEnYdCNny5gNZJgY96_mSiCuBPCBc,6895
rerum/tests/test_boolean.py,sha256=-HUBzVKxiBoTzJw70BhPEcsJdRhyGne0r92GXkzrpwI,9139
rerum/tests/test_calculus_checker_d2.py,sha256=vWIegytsW5dmlKlyEStXeso-afxvdyV4LZ6TJZKGNf8,4677
rerum/tests/test_cli.py,sha256=ogH_QLiImXLIpjXPbV-Qf4qPml77QW98rRYqEb2M9Xo,13917
rerum/tests/test_completion.py,sha256=TR_gUefUY2q7CuHbXdCp5ndE-G5XHS_QrX5wrCrdS68,6194
rerum/tests/test_confluence.py,sha256=96Pz9724AKj0eQHXazOJK5ouuowiJBSrwkgGerMDJbg,16465
rerum/tests/test_differentiation.py,sha256=rX-aKQ3oAu5jo9tYqZ52MLUPdxhV93SRAwzmlhZQWPM,18277
rerum/tests/test_dsl_metadata.py,sha256=omx5g-eYPQhKMwhL96Uc_H7MPOLPNEMIT7WBqEqDfDM,6484
rerum/tests/test_engine_methods.py,sha256=alCl9cUSKnzWHnBNqk6dG7SOjdiTR09KcWe9-CMn1r0,19834
rerum/tests/test_equivalence_class.py,sha256=XzEdFXG9GjOP1bDKuUnMjdx6KMlD0sVzhsA-aX5za68,5165
rerum/tests/test_equivalents.py,sha256=GXLKsRlt3nm1ZOGsGLOEgB17EJCbUWsW38i7PyW7xEU,14590
rerum/tests/test_examples_validation.py,sha256=Z80HbdDEglV5YHjJ8bhrwN11P5EbOXdh0egyiZAxRHs,9936
rerum/tests/test_expr_builder.py,sha256=3qVbewdcjU-tWoQirb43K_wxZQMn8vx2BfqWqYkVP7Y,3841
rerum/tests/test_free_of.py,sha256=HU9bByaECNigeKvb3nNXEHKvfsG3m2WsTq29Dy0kEoI,4921
rerum/tests/test_fresh.py,sha256=T20wr725jAy42_oteBZ-5dD6SU6SxTwYf6NeeBIMIrs,3476
rerum/tests/test_groups.py,sha256=sYvYo8jy3rXAPDbYykbp4KL88fvz493-yXAbGiXX79M,12887
rerum/tests/test_guards.py,sha256=1kSxfRphq8Gq0WGEc3Bhc28csNeQzQ-5GXbDMp1QKRU,13577
rerum/tests/test_hooks.py,sha256=GeW-3zpgIq2iwQPSZLJWNe--unbd4X4Nzm_mmdgDbXY,13725
rerum/tests/test_hooks_integration.py,sha256=kb5eGmUBrtkN0-VmViwmdPixAGzsP0F83QdZGnnHj8M,45231
rerum/tests/test_includes.py,sha256=yBlQWyyfZWagBFBRbLwUcF8UXViEUjIKghmTOx46s_g,7831
rerum/tests/test_integration.py,sha256=795P1SScJt-fZLjJv_JwMXzCwzDQ8JE99anbggB-tv0,12418
rerum/tests/test_limits.py,sha256=56nDaoHUt5XDDm1fPoPkN9AWwAVDdmqmjbbL_FhxahI,7316
rerum/tests/test_manifest.py,sha256=ehtQG6qqVeMf4-OK-l-yIBCfvxOvjCXh4PbIwz-E3QM,8432
rerum/tests/test_mcp_no_domain.py,sha256=1LmmlyCoWHOF53U7RU3PBpuKNSb1Q3ILiTkBkoEcd38,4873
rerum/tests/test_mcp_persistence.py,sha256=_UVxxyimcV57CqAlKXPxStKM2zB_3x2hhtfHRqJeieE,5360
rerum/tests/test_mcp_registry.py,sha256=K8bRbtVZhRyYv5n7PnjgQjvoqnl1LQRftGnwEGfPeDk,9239
rerum/tests/test_mcp_smoke.py,sha256=7-3KiFVDarjS_cHmoRbp76fG2orjFLZtyNmRjrMrjUA,12067
rerum/tests/test_mcp_solve_assisted.py,sha256=HUKkYk9v0KyYK4gwPEHkM9YbHNvHOL7C0uUoatf9_so,6521
rerum/tests/test_mcp_solve_goal.py,sha256=HsooW8G_0A771dQmwmHgNPrtUKrjhJK1eWzBJvGhVhM,10883
rerum/tests/test_mcp_tools.py,sha256=kqJwsJlCTdtrS-Kh-T5UBtS9SeblKmWC73X8mEjYWnw,31577
rerum/tests/test_mcp_trace.py,sha256=cbnoT4KoGRxIkhLMrAKfjqXoXm8HHppFDlQ41Jm7eRc,13825
rerum/tests/test_mcp_wire.py,sha256=zuGwwX99hH3Le4NvFCIB4y1gkuYYYaFfpN2Mc7kguqM,5704
rerum/tests/test_metadata.py,sha256=Rc6_JBSciLVC3Klz4vXD4prF1GVCz7RC3rKq1HhYodI,16843
rerum/tests/test_metadata_fixes.py,sha256=VHHybzO5GRVgxqxJwHFjyjNbZ7yV2JFBCVNhALp3I3M,12187
rerum/tests/test_narrowing.py,sha256=DHC-LkAnUyNjnU2Ls97SwxiwzLkKWqTWkz-U7fqYXtQ,10624
rerum/tests/test_normalize.py,sha256=uJdN_ZRBBhNXC3LmUPC7UJabO3UjEss5rHAgd1vnOXo,25530
rerum/tests/test_number_theory.py,sha256=D5HU6iMMH7rj84XdU-LRHAl1UJbnQ5KUIXvkESveU88,4066
rerum/tests/test_numeval.py,sha256=FSXZMiTJBT4AGE4p5ENZG9ZYTf2SpWSvx1aHoPwWLs4,8420
rerum/tests/test_optimization.py,sha256=sKaifkPxGBe9R9tdFlq-h9iEKYz8YNdsOyGli7leQpY,21511
rerum/tests/test_peano.py,sha256=GoCcQpWWw0a5_eO_12WUTXgO5Awjs1AOva5X2nZXFjw,5037
rerum/tests/test_preludes.py,sha256=Oom3XTIsXOWm4j-jTcxq0ZcsxHk75LcmcPCQ9hSojLY,2572
rerum/tests/test_priorities.py,sha256=EFhEasM_9ewh_mYoFtryb9In-AFMDLuV5nkSgvCaVIY,7414
rerum/tests/test_prove_equal.py,sha256=vrwigYnncAjde4bPcMtwOYafWG5s9bapSMSfFXa6unI,20971
rerum/tests/test_rationals.py,sha256=HbpjngWESls5mvwVOgI6kGNSBazd2XTAxjDJ1w8Jbt8,12333
rerum/tests/test_rest_patterns.py,sha256=s1ewWgKpTxaVEJNcLLOtQcyEptPjuSVsUqHi04aGjQc,11199
rerum/tests/test_rewriter.py,sha256=2SJZr7jTqWn9AWnpX6RXEjSRLRZDgOLMER4v9g1vZis,12436
rerum/tests/test_ruleset.py,sha256=pmIvsEJq6qyMjnuLnirMpy3EBd9QoKLFbxhDHC1StEI,4434
rerum/tests/test_sequencing.py,sha256=d-oq2XrgmcURswTbkNzOxsRnKm9WtpHGSaN33sSlEhc,6465
rerum/tests/test_sets.py,sha256=Qw22Gnk_vO-aI-5ar5BjvkJAvhZ3BdP1z_Pids3GVqM,7165
rerum/tests/test_ski.py,sha256=GZltVqIq4eKWDcKjZzUZcGjw4OkxJs9C9hgDExsNL58,4013
rerum/tests/test_solve.py,sha256=-wv05hBw43kvCGL1YC324WrTHX_ckTawwoJwZsEGGyQ,24576
rerum/tests/test_source_rules.py,sha256=9vAeJEi-kicHI6VkQ_gtUgTj5MFXGK3F8FqlnavK8yw,3361
rerum/tests/test_strategies.py,sha256=_wp5C6fekves9qrY12ElfhLYrqz1sPKlqFR5cSAmATY,8779
rerum/tests/test_termination.py,sha256=-HQ3Jn_hMSzbs76mCQlXdww7zuMP3t3VMV8tAw2Dfpc,9143
rerum/tests/test_theory_reasoning.py,sha256=sa-Wilr2un4xPOw-vjg-EHNTVsrBuMN3dye2chHOjnI,11425
rerum/tests/test_trace.py,sha256=bky2ddocPAN4HwN9U4FniPbBPyHN5t2PT_0ZseHi1hc,13930
rerum/tests/test_trace_situated.py,sha256=ssLFoGIcVcw3OwGTu5zDbf6l-B3GjetebEzzk1ZfYYo,15815
rerum/tests/test_training.py,sha256=l02UiIUBVCclqRt8tHX-imo0aINF_jupVRk-nf6hoHI,22192
rerum-0.10.0.dist-info/METADATA,sha256=Nwh_tSktmSZgZ1cr0Wy__hhmZZem_uvQ7K2LvJj96Ww,23561
rerum-0.10.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
rerum-0.10.0.dist-info/entry_points.txt,sha256=x87FRJxZ7RSc8dFW7DoL2frL5NlnIu2_IoiqHYYu6nc,74
rerum-0.10.0.dist-info/RECORD,,
