alkahest/alkahest.cp312-win_amd64.pyd,sha256=FpPVLBBSzZ5wxU6OMWe_9ouMvy1vXVLR-YEMHsSnzpc,23058944
alkahest/alkahest.pyi,sha256=mwP4dmMbODehS-sSIsVUMaE1k9WtAcLSh3eRKDJiYd4,422
alkahest/ansatz.py,sha256=bqGXqLW4Pxlyzwf75cTTDKPowsnSioSY_ehJveHKdaI,95000
alkahest/certificate_ledger.json,sha256=tYH4ae3liYOetv7T6LPtA21SwiqzWUyE8uo-xrjkrlg,121695
alkahest/crosscheck.py,sha256=ZVtSxlEdnO1Ark83T-1m3vL5IbRM_6su-LdoYcre9ME,115233
alkahest/exceptions.py,sha256=F8jmZC5CmnmgjUFMPLtqwJT005PbPdlEq3iVwr-B_OU,46006
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=PRnj5PLJA4gpP-ujDpOjIU3-YwJ8YXYB2bVW0hDUHo0,101145
alkahest/smt.py,sha256=Qv9BAOxUbJkMUbyIDQwv0x1DO1Sg7VRLT0Aawz_RBfU,54347
alkahest/_batch.py,sha256=7-8xC4WipyKPmGAS31Gsd6J0_1wsPX2FYQ9WSb4y7Ec,17429
alkahest/_budget.py,sha256=19hhAoCI-GcxgQCWHzgkThTphpja1XG1jDz30ui_n7M,20966
alkahest/_certificates.py,sha256=PH7vfmPPeC44FUElbhhiR4HkytNE29FIoYMaeMzeQ2A,32431
alkahest/_context.py,sha256=CZiJCg7nmVa4XbBx32LJm-N_b_A6iKHiateo_d2YxJw,14224
alkahest/_dlpack.py,sha256=sDDKPboBVWSqTAFPqDbOEwHYGY6yV-XdgtFNe6d0N5w,6398
alkahest/_guess_holonomic.py,sha256=ubX3u3P3KacsYGvZcW77RgJuOHrE9ymn2be7ViAvBis,38728
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=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=L1K8uXZyyUieq-AlalyPJ5EoDh9-sEWUFBfkChfXlVg,13275
alkahest/_types.pyi,sha256=fO7K6CEh7QDjb3RzKvjjwqvb9krgwncOe7kL0hKaV5I,1963
alkahest/__init__.py,sha256=Yu8g0dmvLv14rZSzAMVwZ76ALqBeh7XmGfpay8u7ATk,105332
alkahest/experimental/novelty.py,sha256=im5tCl16zIdWE4S8numYJlv1zqrZxquxi1G0uXpUS_E,91121
alkahest/experimental/_fastplotlib.py,sha256=UDbUd-ZdAd1h9P_fjMEUdoyxsIcB_uPVcSJDxGhW81c,4023
alkahest/experimental/__init__.py,sha256=tavUfLzhH6CzwpGH-vnsVSxsc0TUYrtF4nBjQaja5GA,26444
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.11.0.dist-info/DELVEWHEEL,sha256=9I-qHGUCK0ejYpZAc5wF1j7SuZVTwZ6_9kleAGN1tNU,262
alkahest-3.11.0.dist-info/METADATA,sha256=kbfS_lqjcO2wzB3qliPCS1uy9_W5BtlAbRz-DCjf8N4,29446
alkahest-3.11.0.dist-info/RECORD,,
alkahest-3.11.0.dist-info/WHEEL,sha256=Uf438hGD-NUftH08dxSaiYRxcfiZqeYK9g3DNJ-vPY0,97
alkahest-3.11.0.dist-info/licenses/LICENSE,sha256=HrhfyXIkWY2tGFK11kg7vPCqhgh5DcxleloqdhrpyMY,11558
alkahest-3.11.0.dist-info/sboms/alkahest-py.cyclonedx.json,sha256=xAaeNE-D2HclStvQJMhWU_6Tvr9YOh8kaYibPhV4wrk,199224
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
