alkahest/alkahest.cp313-win_amd64.pyd,sha256=nb3wmwRQNtInfE-cMXR2URoKyTPyJhk2nk7cF2H8EIE,18994176
alkahest/alkahest.pyi,sha256=mwP4dmMbODehS-sSIsVUMaE1k9WtAcLSh3eRKDJiYd4,422
alkahest/ansatz.py,sha256=bqGXqLW4Pxlyzwf75cTTDKPowsnSioSY_ehJveHKdaI,95000
alkahest/certificate_ledger.json,sha256=lef5h1GP9OD_YlQvldf-0WG_VLzThBxpaFb5BvWCazk,91833
alkahest/crosscheck.py,sha256=9bk_4ASzRZBupAT7xoeHDnvbPTnhtz8gIE8HK4jywTw,112819
alkahest/exceptions.py,sha256=qgwKLjxaQ6XVR2RB_yxwVxG0A9glQpXuiqHgBu4eB4Y,27566
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=f6NNjLuD1ujBafxwQ4rw9tae7IhyfG4R4MnIINCgsIY,89090
alkahest/smt.py,sha256=Ngk8k24M_grCOc55Al30Zro0GPn2DWPd9AQczluFmUs,50132
alkahest/_batch.py,sha256=7-8xC4WipyKPmGAS31Gsd6J0_1wsPX2FYQ9WSb4y7Ec,17429
alkahest/_budget.py,sha256=FxiA9RNH58Knd732vylco0RZm3u5VPRT9HorvZxxnKM,18954
alkahest/_certificates.py,sha256=G4bfKaGjgCCYNjPnmLUuxIFRqs3DHG09N4aPbUUNc40,28139
alkahest/_context.py,sha256=onxmx-3AG5QvsYosUteEOCmEVTg2iwMzR-15PkGunyw,10970
alkahest/_dlpack.py,sha256=sDDKPboBVWSqTAFPqDbOEwHYGY6yV-XdgtFNe6d0N5w,6398
alkahest/_jax.py,sha256=E4maT3cI4W0oJQXaKsBOJGKwI2isgnv6uwSu6imih80,4329
alkahest/_parse.py,sha256=fokA0EZtE3mVz5_x5Je5ht8_toiLl8zQjZydDzgYne0,12480
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/_result_schema.py,sha256=Rdn2FnZpee5SJZu4qOGX-pzUey9C9FttIT0Hwsx3pS0,4496
alkahest/_transform.py,sha256=L1K8uXZyyUieq-AlalyPJ5EoDh9-sEWUFBfkChfXlVg,13275
alkahest/_types.pyi,sha256=F-BxI1rzfPM1mJIE8Whn9m26HqDDnMk8hbbald6sjaA,1567
alkahest/__init__.py,sha256=_c27X-THQdCTyUD3gzqXrZOo5foZhm3HFwQdGxElpQQ,76613
alkahest/experimental/_fastplotlib.py,sha256=UDbUd-ZdAd1h9P_fjMEUdoyxsIcB_uPVcSJDxGhW81c,4023
alkahest/experimental/__init__.py,sha256=inMm1ephtwcD0BU6_SK3qbOL1OqQdGv0uywMgLeM1pE,4502
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/env.py,sha256=csQJBXCzOfRYXg2eo8jp37WcTHMjDRpshoj9tGH_4Hc,5302
alkahest/rl/envs/integration/grammar.py,sha256=cM-5nXttIe100sr6QuhAVfK6kM5ogyiPCMqSPVF1UBs,2045
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.8.0.dist-info/DELVEWHEEL,sha256=Q2ywoh2SjcI0-JPTWAfr_I52cqZSWlZmNVvMAg-EMS8,261
alkahest-3.8.0.dist-info/METADATA,sha256=AZB7LyZ0uIxhOGz15__Yc5j7vn7dmCZt5Es5j5hTX3Q,26092
alkahest-3.8.0.dist-info/RECORD,,
alkahest-3.8.0.dist-info/WHEEL,sha256=z3sDn4xNPtieBDo9mUKkT1e80gbhCuRsQQi1_g6mdQM,97
alkahest-3.8.0.dist-info/licenses/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
alkahest-3.8.0.dist-info/sboms/alkahest-py.cyclonedx.json,sha256=i8NmPlPm9j_lvpyvXRSLuX544Xma4zyhasaLvwkl4hQ,191049
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
