alkahest/alkahest.cp310-win_amd64.pyd,sha256=qDfn_X6wMub3QfC3vecSYp355mxhkh3UDmB5ZE9l5Ck,25832960
alkahest/alkahest.pyi,sha256=mwP4dmMbODehS-sSIsVUMaE1k9WtAcLSh3eRKDJiYd4,422
alkahest/ansatz.py,sha256=eepYzTSzsDKZVBI33-DJ2BC_PxJOzcMW-3DC58SuAO4,94992
alkahest/certificate_ledger.json,sha256=A67oyUOtu1xHWuJHXksRA_KoAT4yglNLKuX6y-revxA,121723
alkahest/crosscheck.py,sha256=UESIqofP5F9WLDDWbqZJFy36p1tQMtG7_iFHttmGfkM,115549
alkahest/exceptions.py,sha256=0RgrWRpB1lH4zCCKhI3vfN3fVqtUehNhso75qQLknEE,56507
alkahest/lattice.py,sha256=dffJ5FmhMWtNHisA-aKBw31OEeTHAU9eAjCJLy_JH_8,1682
alkahest/modular.py,sha256=tw1jDfbRSBT_uQ8HiDHaOLaXej5Lwkiz0FDXHxkPJOc,3932
alkahest/number_theory.py,sha256=x_SJ6U97cSLMCzGh79bLlvjrIMcwMfnAJ5MbyJGTobE,2936
alkahest/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
alkahest/research.py,sha256=yNq-tCNVRSJUJCv9Z_6928VBtNayizgPZ4CU4eU_19M,102228
alkahest/smt.py,sha256=WmQ46TL3B2hRdy2nbM0DFDJr1QMnEx1QjvAx_w-mk9o,54569
alkahest/_batch.py,sha256=7-8xC4WipyKPmGAS31Gsd6J0_1wsPX2FYQ9WSb4y7Ec,17429
alkahest/_budget.py,sha256=19hhAoCI-GcxgQCWHzgkThTphpja1XG1jDz30ui_n7M,20966
alkahest/_certificates.py,sha256=O2_JSCyeafsgXONWfp8OEadtb2BfwxsintsSIqK7yuc,33110
alkahest/_context.py,sha256=8E_lHR0W4phYWVZcaHAZNkdDjfNgeKm2r46MVENrAGk,15297
alkahest/_dlpack.py,sha256=sDDKPboBVWSqTAFPqDbOEwHYGY6yV-XdgtFNe6d0N5w,6398
alkahest/_guess_holonomic.py,sha256=ZjlkltySqtMKnAr_2Gz8EIW-lsHr-MUNuYIcs8RWzxY,38720
alkahest/_jax.py,sha256=lYb7XPNkV2IhgHZfD7VXcA9DQZA1Ohs610cRbbbXD5g,4647
alkahest/_parse.py,sha256=2f4jsVvj1drxBwXSkg2RNEzCHarQYOeiPiA8dZxq-Ow,25300
alkahest/_pickle.py,sha256=aQUSU9qP9sKKP0cLrVB1oK1g5Hi4JGg_819l5rPzPJU,3433
alkahest/_plot.py,sha256=O8uaAg7matEh5frpJG0_Mx2P1rsOI8_GLcK8965f07Q,16483
alkahest/_pretty.py,sha256=fxRjtQn78GPcDQkFq-HC8dQLxh58M5TEQLN6m3VsV_A,1559
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=J7WnRxRdrdlQgAUF4MqmWCXLFtxp_-70ML_0mlz9Cg0,10858
alkahest/_result_schema.py,sha256=Rdn2FnZpee5SJZu4qOGX-pzUey9C9FttIT0Hwsx3pS0,4496
alkahest/_supercongruence.py,sha256=A2i5hksRJjk9SmbTQM5KMfoRCr_iq2U2BxdnnxW_LTQ,14844
alkahest/_transform.py,sha256=JgBPqDPiLF-AgesQF_sxLpV3J6EXibJixB-nyTRFyDk,13796
alkahest/_types.pyi,sha256=fO7K6CEh7QDjb3RzKvjjwqvb9krgwncOe7kL0hKaV5I,1963
alkahest/__init__.py,sha256=S7hGE-O5WVen72OhqwK8fHsIudpAWwoFk4bsJmvX7gI,108001
alkahest/experimental/novelty.py,sha256=hbg-ArRJO0QdLFeGdApSikyiqGxTMUx_i7Ryq0RxE-k,91105
alkahest/experimental/_fastplotlib.py,sha256=UDbUd-ZdAd1h9P_fjMEUdoyxsIcB_uPVcSJDxGhW81c,4023
alkahest/experimental/__init__.py,sha256=CX9MC2zzVE_2L7yA9Tv7rzp3FJOjuUYheFBt2ouRDlA,49819
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.12.0.dist-info/DELVEWHEEL,sha256=F4K7r1PJZIFVTjnkRyOZThBh9x5LiHzsL4wqrk5flfI,262
alkahest-3.12.0.dist-info/METADATA,sha256=KKk15SQg3M4-v5w3aAyd8IFgsjrXyenTjkN8hxZFqVE,32306
alkahest-3.12.0.dist-info/RECORD,,
alkahest-3.12.0.dist-info/WHEEL,sha256=_CXncSBfsN4S-rTKZnRh5m2XTrHUVwx6rXabm4y-3cM,97
alkahest-3.12.0.dist-info/licenses/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
alkahest-3.12.0.dist-info/sboms/alkahest-py.cyclonedx.json,sha256=0U-cJ8WBb3cK3pZShvTepmHcJAwO5VbTu07f3VN_Y88,199386
alkahest.libs/libflint-24-3d111ddbae16e044c20199445c2b460b.dll,sha256=gYzP2nc3egxS9pgm9Ar6KjwWECyE5mFV09r9hKsjVug,20916471
alkahest.libs/libgcc_s_seh-1-e14a3f13ade0c59a663ef08562a97de2.dll,sha256=ZnsZtbWPrbL2ididrOibhQZV8ns40_VmMdG2EoqEc_U,149364
alkahest.libs/libgfortran-5-3672be0d677ab76b409203503e50d494.dll,sha256=QTMOeB9rzMTFBtr_f8JoQLZA1K32CUrB-s1TNxG2K-U,3788514
alkahest.libs/libgmp-10-37248cda33845e7c5c35a574e57da762.dll,sha256=NySM2jOEXnxcNaV05X2nYt0KgmjwJw0XnzCjN0aAloE,679747
alkahest.libs/libgomp-1-6f5c525db255c3dae1a71599d8948208.dll,sha256=rAxLvBrjgu9FqaxhkaAuNxzbAxPwN7TN8Sms4xv6oU4,328648
alkahest.libs/libmpfr-6-2a0beccbdb3930fcfcd38b6bef1af7df.dll,sha256=vf54zIOemb8y0zSK_p4fniMvC_VUTr1PHhrj8BFeoFo,715191
alkahest.libs/libopenblas-ca1539975ba9ffc0042e96fb9c1407b8.dll,sha256=NJSuEKof-125NxTg2dfYf692crcttz86FY3aYhBXYJs,44335329
alkahest.libs/libquadmath-0-3fa604e7d08fcca67129b671bccc287d.dll,sha256=02K0C0HpzqNVS1I88QIzKNKQoAfmGObXvNFRK7uaCIw,413359
alkahest.libs/libwinpthread-1-72bf8802de3a99d28f0bc2db9a11f281.dll,sha256=cr-IAt46mdKPC8LbmhHygan58_qD2rK8Z-afrDvT2cA,66333
