alkahest/alkahest.cp311-win_amd64.pyd,sha256=5S-pbHeM72NlkkzGqfWksfIPPwrgcln9YVWp5t-nDF4,21668864
alkahest/alkahest.pyi,sha256=mwP4dmMbODehS-sSIsVUMaE1k9WtAcLSh3eRKDJiYd4,422
alkahest/ansatz.py,sha256=bqGXqLW4Pxlyzwf75cTTDKPowsnSioSY_ehJveHKdaI,95000
alkahest/certificate_ledger.json,sha256=tXkfg9kwEOD8J5WnayVu0o4CDTjGEZKurhqEOSc4IkY,121682
alkahest/crosscheck.py,sha256=tBKRJGUG_eYuqOK0cO3y5ONmcRlKoDukWEhRzc3kl3c,115239
alkahest/exceptions.py,sha256=eMPwJPo8A_O0pzduCihBor0QFTLvQDBjIzTAODIJ1P4,31065
alkahest/lattice.py,sha256=agYwjvFOwO8t0c3VM4ZGDAw2v8cY0-ShvY-q33hlflE,1061
alkahest/modular.py,sha256=iVyQY_tRmwYjSnkh1AkFEYcUq4fJ5eERCTPBxOSLF_4,3874
alkahest/number_theory.py,sha256=Uj7E-dvEbS-Lw0YYcOhkTIp7aJul1RtEVm4eqoqsGwY,2183
alkahest/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
alkahest/research.py,sha256=7-daHMEePPMJ6agmHb-uzbSsn00MCj5qYOTwM4GqkOI,91065
alkahest/smt.py,sha256=TDfzO0huk6mMmANTRb4zOgSfhtC_S0zWJZRknJs3FEc,54157
alkahest/_batch.py,sha256=7-8xC4WipyKPmGAS31Gsd6J0_1wsPX2FYQ9WSb4y7Ec,17429
alkahest/_budget.py,sha256=FxiA9RNH58Knd732vylco0RZm3u5VPRT9HorvZxxnKM,18954
alkahest/_certificates.py,sha256=PH7vfmPPeC44FUElbhhiR4HkytNE29FIoYMaeMzeQ2A,32431
alkahest/_context.py,sha256=v5x6F8Vbs46WvpUiCB5NKRKVEiJ8YRHfpZvZrBPJCT0,12777
alkahest/_dlpack.py,sha256=sDDKPboBVWSqTAFPqDbOEwHYGY6yV-XdgtFNe6d0N5w,6398
alkahest/_guess_holonomic.py,sha256=mCaZoxrzeTkO6oagTHJhzMTSbbYXI-H4PBuMYFEeBiQ,28073
alkahest/_jax.py,sha256=E4maT3cI4W0oJQXaKsBOJGKwI2isgnv6uwSu6imih80,4329
alkahest/_parse.py,sha256=UHwTpbgJMcA1d_hSYBXpcHUycWQRAUwJPz6kkoekgxA,16953
alkahest/_plot.py,sha256=O8uaAg7matEh5frpJG0_Mx2P1rsOI8_GLcK8965f07Q,16483
alkahest/_pretty.py,sha256=ceJ8OtbI5ui7tkHC0WLmAy17ANRaH6yPnTLEO98TcdU,1563
alkahest/_product.py,sha256=zDOEnMdqLY0DwfQqmx0F8AJXokqOPM6yVpE5sEJsWXA,1454
alkahest/_pytree.py,sha256=CRnAi_5K73gE6Q3EMEdCCyjMFKhVVgx_1S4irnze6QA,6882
alkahest/_qterm.py,sha256=lOedlzF_GFUwMOZ549UUJ7AOKv7rfY-I73dauLUCSYY,1926
alkahest/_recurrence_asymptotics.py,sha256=rFMySFsT2qeTdwSO1ZmkZ2rQi25qBfvmv5DE8QSOc30,7164
alkahest/_result_schema.py,sha256=Rdn2FnZpee5SJZu4qOGX-pzUey9C9FttIT0Hwsx3pS0,4496
alkahest/_supercongruence.py,sha256=VA9bs75Gx8hc5osWO_8Mzujo8eBbzx-4vuIpH5yN8rs,12376
alkahest/_transform.py,sha256=L1K8uXZyyUieq-AlalyPJ5EoDh9-sEWUFBfkChfXlVg,13275
alkahest/_types.pyi,sha256=fO7K6CEh7QDjb3RzKvjjwqvb9krgwncOe7kL0hKaV5I,1963
alkahest/__init__.py,sha256=Q0WDi36drC-3sUIFkWAy4eTKvyZyxgwZGL2YJu1bY5g,94049
alkahest/experimental/novelty.py,sha256=iqXYqtNzmEwfdx2e3_VyqzVlK_Gka7mF_Z5UX2sz3zA,58591
alkahest/experimental/_fastplotlib.py,sha256=UDbUd-ZdAd1h9P_fjMEUdoyxsIcB_uPVcSJDxGhW81c,4023
alkahest/experimental/__init__.py,sha256=S4GdP05Wq0tRJTmvY8dlz6Zf-2LKeUNFw_RhttkLBSM,13285
alkahest/rl/__init__.py,sha256=Odz3sYERVoZV6naqpsz3-xFea6eXSV4cqn12Js-kLvU,556
alkahest/rl/core/curriculum.py,sha256=JEwqUzt_k-wPP7XZXQY4peg1BWgxqA9qkGPEMaXY9Cs,1337
alkahest/rl/core/generator.py,sha256=OrhUcN5SEmrcaCoHB7KDU5Z-6Q2HoFpuoBecUAKKCc8,946
alkahest/rl/core/rubric.py,sha256=Mueg52ucpMYcYDi6lcgLr7MRYzF572vLGK_KXD33bDI,1065
alkahest/rl/core/verifier.py,sha256=S4aStxT1it2XLk-v-YccC7UHJQDpwha5xGsDkqxqLC0,397
alkahest/rl/core/__init__.py,sha256=tBYVCaKCb8YpqGE9C-foqFt91JN0bFiPSEsy-ZjO0jw,342
alkahest/rl/envs/__init__.py,sha256=kDDeV5dqnsiTqrjFS9-CvOJCecO5fv53-JCBW_eUmfc,76
alkahest/rl/envs/integration/corpus.py,sha256=Yd4aYasG0jkC6UvFUTg1vet19Mdgtu3NlDTqxQ_eOcw,32524
alkahest/rl/envs/integration/env.py,sha256=EkWqPI_udyFwD5g0Up1BzytQoJrnLOw0e0s0z05oFfM,7194
alkahest/rl/envs/integration/grammar.py,sha256=Yu0UJVKl_cIvz73nYvR7TXBImmuZ61EOu6J2wbrWjEE,33429
alkahest/rl/envs/integration/pyproject.toml,sha256=VMtBAheywJOhqlKEwD4w2CAmvTzSUXYpN8qQJ_Icux0,757
alkahest/rl/envs/integration/README.md,sha256=AmtbB8HeowF1q7hW26SEOeVE7hphZDfiwUE1Z4GO2EA,1996
alkahest/rl/envs/integration/verifier.py,sha256=CE8eQEHNRzTPEwc7_YSMbnAgqnSCmySLWO99LLSWtsg,3640
alkahest/rl/envs/integration/__init__.py,sha256=q_YxyTFdXaE6qCUAH_AXdp1fa_c7gVnUpUsOQdVQUeU,320
alkahest/rl/envs/integration/alkahest_symbolic_integration/__init__.py,sha256=LdyZxr9CkBipFG3radQkwblSY4a5blILo9dzqni_5gQ,173
alkahest-3.9.0.dist-info/DELVEWHEEL,sha256=ASImKz_lvRMMuAprBBhn8-avG-Bei6_X-zvdKsVtCq0,260
alkahest-3.9.0.dist-info/METADATA,sha256=jSzivh1eYKRW3lhrQlCKyuQc2UuhQKvWufjFHbHt9Lc,28596
alkahest-3.9.0.dist-info/RECORD,,
alkahest-3.9.0.dist-info/WHEEL,sha256=dIVMSIcjhd6Qr_xhxfHN1VNNP7nshqZa2BSEZix54zU,97
alkahest-3.9.0.dist-info/licenses/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
alkahest-3.9.0.dist-info/sboms/alkahest-py.cyclonedx.json,sha256=XP-xDXCThnPY0EA1NlCYJ4YsELKdFKAzfjY0xXZwhIM,199134
alkahest.libs/libflint-23-9f0caddbb92bfae01d04e14783d71829.dll,sha256=5HWs7D5H3LGe2slbljFZD9mDSiaiXU2ufE6NCcoh5mE,20347127
alkahest.libs/libgcc_s_seh-1-620ef5dbb11f5c635170a4be761d4ff8.dll,sha256=Evh546eJO3B8vBTyxphQkHdXSuePGoMz9IrOpns0XkA,151732
alkahest.libs/libgfortran-5-b2600d9662d4c8e2f5d8eca30cc53b85.dll,sha256=QqoFZ8bnNpr8eabtGKwboNGSuzdWvAqI3fAJHyBmbuQ,3809137
alkahest.libs/libgmp-10-37248cda33845e7c5c35a574e57da762.dll,sha256=NySM2jOEXnxcNaV05X2nYt0KgmjwJw0XnzCjN0aAloE,679747
alkahest.libs/libgomp-1-68f7c5742fa0b00a1f0a734983bbd797.dll,sha256=7LLkD_qFNwKMpQbvikGxZFIgtQ3oGRHpwxHF_Q1Heo0,330358
alkahest.libs/libmpfr-6-977e973faa8094cdaa5669d5bc266738.dll,sha256=PVkcNZACEsz3IYS3-r_ETPEijLUgv-dIF3q3HL8s4L4,715191
alkahest.libs/libopenblas-f5c13b6ffb3c6cf248451e8686504b88.dll,sha256=wMMmpS7l7nkhoDQ_TKalhEMcK3yPomjTOV9XNgYse1U,44176578
alkahest.libs/libquadmath-0-b3ddd17004bde9729edbc652bf10d930.dll,sha256=3cMbCaNwGMcI4-YZdwXgDCdQ1241mh8Q4DH1KD5hvNM,416687
alkahest.libs/libwinpthread-1-4869aa8ab2e7e19ee43109b8832749aa.dll,sha256=SGmqirLn4Z7kMQm4gydJqhzZxuUwJHVDnq5C0LYLlp8,65954
