alkahest/__init__.py,sha256=frO0B3tl4fMw_tiyhSinAJroeloG_qTOmokkem32LZo,100930
alkahest/_batch.py,sha256=yW7D44WVZDMkVB2myP8L41AtcIBD1IGizl9OzsnVhng,16954
alkahest/_budget.py,sha256=x4jFkpqhanTfLzNi5kdqDMhQzzsxalPjcr6yBqc0YQo,20493
alkahest/_certificates.py,sha256=M1DWSBh0zy4fgeaee-1N4ikaivNF_pa_RJtCFzOLGs4,31568
alkahest/_context.py,sha256=fTG_tWWMfv1rHFjqEimQ4RGnXNDtujSU7M82MPU3ITc,13862
alkahest/_dlpack.py,sha256=jcVzWkNYBoBngCuEqQb8X8t91pmcQmVbJBAbDw2Cko4,6216
alkahest/_guess_holonomic.py,sha256=3981ism42aMderY-ZBNGjPCUOf6L_rG0JGe6Dt6j5dg,37866
alkahest/_jax.py,sha256=-F5UVssZAVPsdMjbxUcPiAwN0kdlGcpCf9ItiseX478,4187
alkahest/_parse.py,sha256=yTLTsufVxMlSmzzvCfFEspun_9KW4IgJWjkhsCCV7Qc,16452
alkahest/_plot.py,sha256=V3Yq9cQFS-JIQUieClvE6I6SDKF1vvg4IR7fm0GUxhc,15947
alkahest/_pretty.py,sha256=pk82CrW9xSxnqAVcnRCrBczxNgfk7zWrmUUjwMPq_hk,1517
alkahest/_product.py,sha256=du-jqMSX7lHSxltFqkBZcj9ZH4kbXL_QAlz8lEYxfRY,1410
alkahest/_pytree.py,sha256=rsbuCOwZGRMmk3efI4n1RJ3SspVHzJe6SZUpEWVNBZ8,6652
alkahest/_qterm.py,sha256=Umj0V8PCNBj419M1mHuPijEXwhfMOXY7jvpi17fVNi0,1880
alkahest/_recurrence_asymptotics.py,sha256=nLCE5VGoDnvi1tcaKoRQruQ160b6fLn150KHaHt5XLc,10623
alkahest/_result_schema.py,sha256=ToKCx4NgCyGLXYAJl5UnkQzHgGvdO2aPPb5mCWZ27dM,4397
alkahest/_supercongruence.py,sha256=PPinf09JDrL5Or0SPuzMECeVK03i5dOk28qm0n1MO9M,14501
alkahest/_transform.py,sha256=7PWA-BHm7e0L5MX0yjUV5moPhZ2EmSCtvCPXzaVh5hI,12874
alkahest/_types.pyi,sha256=0RQJAJ2keYAnVxPb3FixfhINCbtW2LCQ7hO6xEw_uFo,1891
alkahest/alkahest.cpython-311-x86_64-linux-gnu.so,sha256=vZA6jY_wwDR68K6WYL-I7b2a9FqRRcnnXr0g2A66ZIc,17653121
alkahest/alkahest.pyi,sha256=yDCTlAm94HNP4eNsKOLy8fwrCsajIywtAQltdLfqk0c,412
alkahest/ansatz.py,sha256=yIF1Sa422uX33Ky1BjXCf8BThEzfxha8IBTy7LvLTU4,92550
alkahest/certificate_ledger.json,sha256=_dlFrwa8h2BkfxrapUzsKZAMxLfcC_sksCY7PNpRglU,116842
alkahest/crosscheck.py,sha256=roQCE_9hG8DUeeZkFXjTvgv9gQWj-pXB9u-H3khapHA,112254
alkahest/exceptions.py,sha256=ZE_AaTw_9TKbYmYXxN_L25r9cXsEO0GX2PuHkRhXsUk,31640
alkahest/experimental/__init__.py,sha256=I1BtKP-OyHR3E2cfAsgTglIVw4x_Ad530M3To5NKByo,15550
alkahest/experimental/_fastplotlib.py,sha256=vTS0OY_jHktY14DwXJmq7hFi_6ieA_gsYCkYwuKciPo,3879
alkahest/experimental/novelty.py,sha256=6PiIyBgLhzc6D5F4s1ut-k2VnTzCvwx3Ufxv_-t2ZPg,88889
alkahest/lattice.py,sha256=cgUjduHZTarJtxkrMmB3QFd20ixxA2oPFVIboJ6-aJ0,1030
alkahest/modular.py,sha256=B-rFgyip8BQ3ua_vlbjQCvCMtmeuMqtbGatHYAoBla8,3741
alkahest/number_theory.py,sha256=5Uk7v4a-iyFaLeumChIsZUra5AEOOLQnW7WO9hSZdfY,2102
alkahest/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
alkahest/research.py,sha256=k7Mvc_ik3tlzVeZ82nO_UuP0jktHfbsgZLxgy5gka28,98680
alkahest/rl/__init__.py,sha256=uap203nCOPlj12ssiwlh3oNVVC9qvbpL5aHARNeHClg,533
alkahest/rl/core/__init__.py,sha256=5VKtmnfjr9VbwXydnlo33qlbUNI1pQU-IAYw8SxgydE,330
alkahest/rl/core/curriculum.py,sha256=WrF_6XapL9NB-8ppWUZSb2kWNO9B5-qvAbH13_X8hP0,1295
alkahest/rl/core/generator.py,sha256=gTO1x787ErRJ1SJMQljZb2FjZXIMrfgVF1RT5Js7Ax8,916
alkahest/rl/core/rubric.py,sha256=t_gvG1p288bipsqtQDdKBGMM4tmbMZafvrA_qtNb6ck,1031
alkahest/rl/core/verifier.py,sha256=FzHBl4AL6MWtXTj2E6I5R2wA9y-0SA5OIGB0TDe5ZqQ,382
alkahest/rl/envs/__init__.py,sha256=2QXzen_kQpR4HSItLAcO0Rvn_LerbN-bDZi0xRcEa4E,75
alkahest/rl/envs/integration/README.md,sha256=q7frYsOd8rT6L4HUvua-ii_1Yk0NObRjpfBPQwjkRHo,1929
alkahest/rl/envs/integration/__init__.py,sha256=FgHKTqAKpzDeIn_7KFbQ3_AR1c1jqbHMR0onkX-slZQ,310
alkahest/rl/envs/integration/alkahest_symbolic_integration/__init__.py,sha256=6tBUPUDOxLTxjQ6QVdc9HMRZL6xNw6ivEaszhluwPQY,168
alkahest/rl/envs/integration/corpus.py,sha256=jeNhOfOCnbQthG8ho3OrP_dohuV5i8M0BuYPOhM7Huc,31667
alkahest/rl/envs/integration/env.py,sha256=XkaUUXGfV-U2ptlUxhjGrbNiRtmGry8MSqXNX_BXcRk,7003
alkahest/rl/envs/integration/grammar.py,sha256=rWWIds5CS1vyCCe4qD_c43SkQSJBE8h600dzLmlR7HQ,32574
alkahest/rl/envs/integration/pyproject.toml,sha256=gmUMfegj-hqYopUuZFaoBioaRM-cUyDe5jMWNSLXXGs,730
alkahest/rl/envs/integration/verifier.py,sha256=ctt-xzI1EL66uVBxwQQyMMFQ_kwTlS17whGgPMI1zsc,3515
alkahest/smt.py,sha256=xu2EvlmnXGpYBP9jmluGw2sYjwmLtn5IeflLaYj49wU,52965
alkahest-3.10.0.dist-info/METADATA,sha256=N7kgxIl4of6wZEAf8xJSB0sCW9A3R8phFwL3RRNozo0,28204
alkahest-3.10.0.dist-info/WHEEL,sha256=2SPURLd9a9YGAiCuJRdnKSdHKL2lP6_s7KTyNgutEPk,109
alkahest-3.10.0.dist-info/licenses/LICENSE,sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ,11357
alkahest-3.10.0.dist-info/sboms/alkahest-py.cyclonedx.json,sha256=SKt5wUTrmkK6pWZtAFkdmkiapzLMExlsOomnJ96MPWE,239780
alkahest-3.10.0.dist-info/sboms/auditwheel.cdx.json,sha256=QvlV6epmUtWjKv7XNCokn6H0xZ66lXJ1mXOJFiISAh0,1682
alkahest.libs/libflint-86c00b20.so.17,sha256=DpzE4Fp0fIyg8w37cKXQVHZjSOZrQ9koabwOP96NQR4,60444777
alkahest.libs/libgmp-d944b113.so.10,sha256=bxlOlh1Y-THxJ1Vmhq2Yicr9PGpuT8BWyFgqvAiSdCQ,2121201
alkahest.libs/libmpfr-b7fafdf8.so.4,sha256=RrlxW8ezhLouqzpqp-BB9mXrreFs8340mO7LZhG-RlA,4205265
alkahest-3.10.0.dist-info/RECORD,,
