jacobian/__init__.py,sha256=MVWSPXnDxXKvEGHNOpf9xCPHl3hDYBdc3kA7MyDpHTU,351
jacobian/artifacts.py,sha256=j5Z5sSOLgLWyGMZbjLBmDjclEdMuksdJq5ABEjl59Lw,4434
jacobian/atomic_capabilities.py,sha256=1N9AZEpT3ZUFoqxzxp6vwYKymlwVoiQGURaCjeV14KA,22426
jacobian/atomic_capability_builders.py,sha256=tIpon9wYllU1bVbgmKnpGI8xULsh3rdmrXaTWL64j5Q,522
jacobian/atomic_domain_capabilities.py,sha256=9xYLZctayQz3Q2cZyjLk2MDN0QsPE7i85qg_70SRXEo,6056
jacobian/atomic_experiment_capabilities.py,sha256=TkAa69j5mIEeDoG-6N9YgRmRqP81NY-ElTxzGlmYE_A,6153
jacobian/bounded_process.py,sha256=yIGQsMaphV--4EuvYjV-uE--A2k6u0atDx8-FGg356k,10406
jacobian/builtin_capabilities.py,sha256=ZrW_LLEK7ujxsSurDjNcARsALgsUc1DuMOUnhN_gw-U,20625
jacobian/canonical.py,sha256=ahY9GE0rgnutY1QzmSuCwkbPXX8UTNkXn_jBB9SSOFQ,7243
jacobian/capability_discovery.py,sha256=71UyjbqGuSKCsTj_feWv_WkfS2LKr_n9tnv1DxOkJpY,11106
jacobian/capability_dispatch.py,sha256=ae8wrJiGWK6DGwY6YwIncyRijW0R_iGutJQXQiOR-AQ,13404
jacobian/capability_errors.py,sha256=QjCRTQHk1j34IYEM9hAAKNpYRDwFoa3sD6hGYsmeYOw,1233
jacobian/capability_registry.py,sha256=8tHzjgpSlQEJaR30n-9kRlyi3pMafPvKj3SsZ_34L-o,2516
jacobian/capability_service.py,sha256=Dqdd57Gx7ozeR5RXnfkO_ljF0mmz6SjqDoFMunnyOxs,8958
jacobian/capability_telemetry.py,sha256=_QjdZiyPhLR-EDfzXTTOgIi_IHKWtaLuZp6z9Ow6i54,1785
jacobian/capability_validation.py,sha256=Qo-9bF_P4OvldGb9278LGEesUUYxqBWFtC4oa41soFY,3462
jacobian/capability_verification.py,sha256=GgdbMfjzBfHomOdVL6YEj5OKwY-tq7LFJFX1-3ode5M,6645
jacobian/checker_artifacts.py,sha256=UDewgQcfcg6y_xcLw1uPRhMedzAtF2k--l4J0lqdC_Y,2680
jacobian/checker_installation.py,sha256=JySJ_SpPI1D5Ma8Rnco6YubpeE1BCKmNRumNqbq1u9w,2633
jacobian/checker_operations.py,sha256=I7TUirXY6TASkwMXZFZfe2WPBgH6izAkHQz-VR9v-JQ,8122
jacobian/checker_worker.py,sha256=-OxCJUbm_joQd7ZE5W8mGrvAAmciA0RiiILnNiD57UY,5822
jacobian/claim_decomposition_capabilities.py,sha256=9jwxlWmbfUqqikkFxYjjjvrMdIpgTxd8LZAfzQfW1o0,12140
jacobian/claims.py,sha256=OEUPOzNBG63MR2hDHGmvGYJfvLy2RDnNzxgGuZwDGCU,5295
jacobian/cli.py,sha256=lsCwfnydASOTsxhLN8kIQG49HLAnxeTqb0leXCIVwK4,26810
jacobian/conjecture_ingestion.py,sha256=2wF2uZ0p97UeqhpaD29IxaQA6PSpJiXbKX78I9xl-jA,16360
jacobian/conjectures.py,sha256=8HazRGz6si3gCKYPtEfiv0rDlSyOZ47-cPe2eD2be1Q,36348
jacobian/evaluation.py,sha256=reT4VzIqloNzFZb4-juD6eGdzszb3unCCjKSGZekeGE,14892
jacobian/exact_domain_checkers.py,sha256=MXJlN3eDPQ8-E8cgHd324fXtWMTA58pQIb8ShYL-y0E,34477
jacobian/experiment_identity.py,sha256=pfGVjYWf2IasAYXat6KRqeKrPEyPybktgxtu35-KSOg,245
jacobian/experiment_router.py,sha256=izzr_ftn-TCmGNKQMoTotH55ZRoYvFcpcTSb7O_AWLw,2128
jacobian/finite_coverage.py,sha256=wYGOYqU9YxRj7S39NtKNrErjtlGyrKsNe_cSeCcpJHI,25321
jacobian/finite_partition.py,sha256=X8LknS835oGYLBTTlC0vflzaCEfRAmnQlBeFaZiU8fE,19741
jacobian/formal_datasets.py,sha256=RVBzzoaHY2zCU2QJMTShzSFP9O39FyR6PsabhSuo3fs,3505
jacobian/implementation.py,sha256=YMg6bVkKW0hU72A9r7_22_MmfXJGQWr2Y5Jm1WvEk0A,8940
jacobian/lifecycle.py,sha256=juiBQtqdMrs2g9LZCZIlDUgdkiuyE87oOHjEFFLwjvg,1453
jacobian/memory.py,sha256=8ZwMqlaAlvL4PtH3CP6z80U_KJTujABw_H1t64N7xbU,13493
jacobian/operation_installation.py,sha256=6udottjtgToGU87B3HbuaHOkWR1J-DyoqcKIW0cmhWs,22074
jacobian/operations.py,sha256=bsKJlizzxvKc5Hd_4iOCO9rob9AQmFd63IFBl5HKAjY,11175
jacobian/plugin_conformance.py,sha256=kTZzeuR-0m2e-5pFjztrr10JXvxMQBVTuGgZhufCOho,11314
jacobian/plugin_execution.py,sha256=P1v1Jc2IwBTn33S0NN8vaQ6gQ4G5RzJkwU39xOkDh6Y,10087
jacobian/plugin_worker.py,sha256=dgK-im0jeij-lSlt4oo2x5EHgMSwE2GoB0k51PqGCKI,3775
jacobian/polynomial_expression_capabilities.py,sha256=CHj4tcKHP4F8qO5J2aCZNJAl4rsGEReumGtd9HoIENo,14934
jacobian/polynomial_expressions.py,sha256=4WEU3xuMRSAtd3zsPKsTdVjJUsYgwIq9QpD8nPDhMxE,10750
jacobian/polynomial_interval_capabilities.py,sha256=AgZdKnLjT1bXgO-WfzsIHw_-EJz6BeKFi5136GoWLRQ,31385
jacobian/polynomial_positivity_capabilities.py,sha256=Zus9vlvP4qt5EVsMfOGkH3ee0qj24eNQt1HTaShrKeY,33997
jacobian/polynomial_system_capabilities.py,sha256=pRnrq13j6Ehi1mwL612jphNnjbKGItCbd4fDNc4PxjE,16703
jacobian/polynomial_system_search.py,sha256=Gn_vdQkYwxWKCVBvNRzbHV5qe6Aid13FDI2hUb6HCfw,7421
jacobian/polytope.py,sha256=a9-7Mzv1JR2hT0HID8TK8dohLPX_glfCjiNiWBBj604,25960
jacobian/provider_measurements.py,sha256=vEB8oAGu2zeDCJhsqu3kqslGyWnfZKX6jp5auLBhfcU,10913
jacobian/provider_runtime.py,sha256=sasucaYq0DJhD7q-4JbzBYaY5mN3HvRTAhuz-79FlG4,24176
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/references.py,sha256=Kr89FjbOlJNzHN2WfGYQCUArOz8jViBPlqFrQIYChEA,38451
jacobian/registry.py,sha256=ga1AENu0GmiN-b6y7Zk8VVlAbyqlDm0BBWNRyyBKKLI,23163
jacobian/schema_registry.py,sha256=wb_84QyOAGu_GeIFJFEekWhpbwCGJa7E8HHHInJhYdU,12817
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/shrinking.py,sha256=0pJT1B57pbSS1Z57lxn_TAHLqA_WLXVTyFNoCQ2Lp0g,23659
jacobian/structures.py,sha256=8pnb_M1teF3WhoVaAYELFQ23tkwduOY230bpu6DPLWA,9059
jacobian/sympy_polynomial_normalization.py,sha256=NOt5VjHOEET9UmB5iakq48Cxky5byVouuJj_W4k45Gc,20405
jacobian/sympy_polynomial_worker.py,sha256=yfXmF0U-uk6PAR78xbQDQFr8rsXJktmxIvs_PmwzAVY,3980
jacobian/transformations.py,sha256=WV8cR8-uwYJTKqrZQnIDpmCGhz6IklKZCDR7GUzeEsU,12311
jacobian/universal_algebra_capabilities.py,sha256=7djJhwR4XdiH4-v0wI6Av8LFGXJbOicwDRxk6x3Td_Q,37160
jacobian/witnesses.py,sha256=ZRUaj2-vTJC8Pd81iv_b1CP29jciNE-URfZ81TqIWtg,14099
jacobian/worker_environment.py,sha256=Ct21vWHsXB7ynoC3MAX4FJiFUAyWkVhyGCoS4s2RUFs,946
jacobian/adapters/__init__.py,sha256=h1dX8D2bBYbFWXDfqELF-SGEj5yMY0VMqyzL3eOHkCI,51
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/cli.py,sha256=J-KLF8OLX_VgVk9ikU7Vo2bw1WSUMRuIzBcW5zwO0C8,7924
jacobian/adapters/mcp/constants.py,sha256=BoHjzE8vM7QiSp4_kZWEjLCFNbSYtMgvuUfbrDqeZyk,598
jacobian/adapters/mcp/context.py,sha256=2Gh7Ivbnq1uQxCBkk8cgTpUacVma05oIok2Yc3yRVDU,7250
jacobian/adapters/mcp/guidance.py,sha256=SnS_ejTGXjy2Ehfog_YmZOBOFSPPtisOJAS2lz9B5Qo,11881
jacobian/adapters/mcp/projections.py,sha256=lMtD1RrDToMj8mCC3azjTA-CJFghHrbIbVVv-XjQ2po,13821
jacobian/adapters/mcp/remote.py,sha256=acFA2jqzkPWT5fOnO8QgBxXqQxvjhXWPKOMbmGGnXxk,14705
jacobian/adapters/mcp/resources.py,sha256=_-Oi6nIqCLSsmXe_gmvYwJZqxgIWj8OPju4DwtMhMQM,7125
jacobian/adapters/mcp/server.py,sha256=TOx11hbn-IU1x2CvkuBdQrpEG34PTDxC41AT4fXXTr8,14044
jacobian/adapters/mcp/tooling.py,sha256=KaMnnF4pi333ORHiogHB2ndGSm7nuG_M9zP1wkYsCIQ,6877
jacobian/adapters/mcp/tools.py,sha256=eT9_DBd1y_VDNHdTrDmWOmQduoe--KGEr5bqREiYUww,7662
jacobian/contracts/__init__.py,sha256=YFDJ_IAX21zFdlmDTRjESoxvjq1JkvpYlr4r8IfX56M,510
jacobian/contracts/arithmetic.py,sha256=6Uslzn53SmVl3xK74GAcebqfSLDD-VQVWocYe2tunvs,3743
jacobian/contracts/artifacts.py,sha256=zWT2mfa1N9V8ernjsmH-w3yYpaXdoz6cpXgfGcWgp3A,766
jacobian/contracts/capabilities.py,sha256=9Y7tRkUpayBkADYCFlDJoVkAAzxh6_oCm-2vJxEB-OI,23126
jacobian/contracts/certified_snf.py,sha256=DKTRMpcdb98tdxqdNe8LLknQKdHHHgASKvrR14HbruQ,6095
jacobian/contracts/checkers.py,sha256=MxbnW_Quc64WmCLl-LASYTWZIJqYy_XQOfoZqLlMtdY,6888
jacobian/contracts/claim_decomposition.py,sha256=JHpZYlSCLQ0o-581bn3ByJNeGapysEEJyWSaw9SfSis,4661
jacobian/contracts/claims.py,sha256=eA1zBZL5CGNS6CcyjP4OjVD48zNkUvjHgNBTFPxxvws,3986
jacobian/contracts/combinatorics.py,sha256=wTsWFSNbrSWq5fpvWcOp-5ZUhW0i97VCxMnYZY-hobo,19698
jacobian/contracts/common.py,sha256=l2ab76s5caVw2uX9m0QBPVP6tmYRmmaq7LzhhR34KRg,650
jacobian/contracts/conjecture_ingestion.py,sha256=gCkB-Dhadb8-QQfBYFoNCUg7WDMo7kjhjW26oT3HkLs,7960
jacobian/contracts/conjectures.py,sha256=NS9kg2ljmH_50VcTTzAOVuz1-tljzv0QLNTy1I1-3cA,10332
jacobian/contracts/discovery.py,sha256=ug_u9QaIZJGC4c6-VPVvzQjlHJQXKQ1iXxBrZZRaOg0,8286
jacobian/contracts/domain_operations.py,sha256=u54Zy3Kq5w8NYrlsGdBlgf8BjgNtuKFy0ebYGk9lyz4,695
jacobian/contracts/evaluation.py,sha256=RrKoD9kE1pb9POzCMeZbO0I3E6xU60FF0Zc3PTMO7Js,1914
jacobian/contracts/evidence.py,sha256=dRJQ1Ox4lWfuGC9lIOlpHEdzCuOseV5-DLQYqiDdCYc,2964
jacobian/contracts/exact.py,sha256=lOR7qRwoLIiznOhy99w0NIRRn8ddRxkxFR4y6158g-E,3016
jacobian/contracts/exact_domain_verification.py,sha256=5HYD0j0V0n9Oftp1tJp_Bd2AWNJp4BgPNbuVmBky7Y8,2628
jacobian/contracts/finite_coverage.py,sha256=jh9fejvb39XKndIKtwI6hqkfk-gYF1l0l42uclU-OV4,9043
jacobian/contracts/finite_sets.py,sha256=T-AfxctL27zIAWaE9VLdIoopb2U7MWsc2YtIj6WgZX4,1817
jacobian/contracts/formal_datasets.py,sha256=WT3_VtR4n8y9soMmflRJcDJlDNcDVmX8hiE6aUb-2X4,14832
jacobian/contracts/geometry.py,sha256=QCKefvv6hHWwoajbLHfbqsTqXYtsaOsQhVch82_YXJg,11663
jacobian/contracts/graph_coloring.py,sha256=fx6uDJBd0jInP__jgMsrcypHFtM_6IHc5ETV2oXXtpk,7783
jacobian/contracts/graph_composition.py,sha256=zD9ZCIyO-QtE7HaY-nxusVsso9_ZsU9DWyrl1MCR0o4,5678
jacobian/contracts/graph_degree_sequence.py,sha256=SBVW0QYgqVBbC42gcPmB2ahpWyX9JYxUJuR8iI6fGl4,4969
jacobian/contracts/graph_invariant_operations.py,sha256=vwmFrxyBinxTlF-ycS2XAAssnJ6SzLOK3ERZifO_AjI,11134
jacobian/contracts/graph_invariants.py,sha256=LMH7RuGqxGpgKiy4vMeUfJpetIriXwHYY9i4_K3ydcY,8739
jacobian/contracts/graph_isomorphism.py,sha256=jhV3LtUQbg_-dlEK_KxFVf-ICIj00FeVGISD4DdmZ28,3056
jacobian/contracts/graph_optimization.py,sha256=xCfAYvQt08sNMl1M6a2oKj9_3D7FYivu5_IYyvyfU1Y,20482
jacobian/contracts/graph_shrinking.py,sha256=T9nEuBkkzSYvANkpT0HpR98ZtKd65moS3Bfq4MmJbGc,4994
jacobian/contracts/graph_symmetry.py,sha256=M78JtncX6bzpMixMmNeehdINwrTi4u6HpM0aAhu1Xdo,10794
jacobian/contracts/jacobian_syzygy.py,sha256=Qtn0T0lzLUZlm0pSg2yAAkvnb6h2r6IyBj-7CZV9Uto,11800
jacobian/contracts/lean.py,sha256=UPo7OejcG2CTjVSyISPOVSPc_6F1vGSmARlrLGnuKa4,9029
jacobian/contracts/lean_exploration.py,sha256=Qrr1rUosMuoa3LbyHzsnzWy180KTzk58PN3sLZOvZmw,7672
jacobian/contracts/lean_proof_axioms.py,sha256=ShDbam9Pzac30BSKJlYhn8ubMubBOiB7mQtclEQ-qAo,3467
jacobian/contracts/lean_proof_edit.py,sha256=ztJZOvvz4Zz8vq0v8T_xcZEmDCyVVnRYSfVe7Z4r4pw,2392
jacobian/contracts/lean_statement.py,sha256=znSP-HO7hWanFEO7gPIvxMe83LYSStfw6goE0Vz6v6o,7797
jacobian/contracts/linear.py,sha256=4a5-iLIGTi4-eVekGoPn3AAynlwrU-eNsiKUAuABipM,12734
jacobian/contracts/matrices.py,sha256=-x9afXx3_TZpEG_pvkqrrf8_W6IMAKDUY17PI2fsxbU,12462
jacobian/contracts/matrix_operations.py,sha256=GQ8Uaj2-TQN-wA2eNa53ZTnonoFqWdQ1tdnwtUuoxF0,12763
jacobian/contracts/memory.py,sha256=G0f-Cq1pKTjjsK56mGO7Z3d4y6mvrQpKzSLFPtkhe20,4188
jacobian/contracts/nullstellensatz.py,sha256=Q577jkEGTfLFKJPCKd4DRJGSRg0SxWro3cxn1PuyrZA,11513
jacobian/contracts/number_theory.py,sha256=fFXITy4Z8dl3E43JSuDHDaF4k3lpksBjgg5dndWBvHw,25256
jacobian/contracts/plugin_graphs.py,sha256=jdrVdwdzh1J2qqduP-eKTColHPudFbJ8syKjU0VEvdQ,7464
jacobian/contracts/plugin_matrices.py,sha256=wCpxHiu7BJTiEd08b6-3OoxzAtYRby6ZGBh7LYZgOlQ,4524
jacobian/contracts/plugin_number_theory.py,sha256=XUIyXlhpC3PDuW64OA3sxVUvbytWCgV8dqABwwUU7lU,1970
jacobian/contracts/plugin_protocol.py,sha256=REpQiOjN11QTJr4aKYmRdzvwWm8zG-_3s8p9xb1Po10,571
jacobian/contracts/plugins.py,sha256=ozLDA4Frv2knyuK9cCeg1G385lcD9xK1fsN0EhnbT3E,2952
jacobian/contracts/polynomial_expressions.py,sha256=TZYlZqielaebZhJhRWddlgf18Mb3j0BS49gYYIqVLK8,16963
jacobian/contracts/polynomial_intervals.py,sha256=vk1D-6JcrcNIokLpRoh3SqG5gEMVjlOxjjni0lPF10c,8660
jacobian/contracts/polynomial_operations.py,sha256=j4beSFln6GcEg31YMc-ZVDv8UKokkGuJP8stgj71MGo,17728
jacobian/contracts/polynomial_positivity.py,sha256=SjacapTy83-O7cU9B6LQdaEJurs0jU5BD_SrJQPkKbc,6314
jacobian/contracts/polynomial_systems.py,sha256=vLAR8SSIUJhkI2xTxuE8LFmclY5AtDP_kZEHhR8LtMc,5862
jacobian/contracts/polynomials.py,sha256=WrD-jDiI1QucpNZ2Pkggg90qHtni-mgBAoeM_YohUgA,42483
jacobian/contracts/polytope.py,sha256=eKWCC5DeZlaTvLRNb7BqUUespWxSGx7GFlpcb2iQx-Y,3468
jacobian/contracts/posets.py,sha256=zTh-5Xc4-IEuOaVNxWdgIG06u2D5sT62g1ToGB9d3LQ,20861
jacobian/contracts/probability.py,sha256=iYptYgWSUTsQ1bxJzGEdjDb1Loq0Hqioa_uM0-XBosI,33744
jacobian/contracts/projective_geometry.py,sha256=afGk2W0VRi_EgVI6g_Cb358NG5LVaq_zOsyu94ypAUE,7995
jacobian/contracts/provider_measurements.py,sha256=wMTrPHSF3_PVvLHqu83-n2Kawet35WwWAZvFyl_hMiY,1947
jacobian/contracts/rationals.py,sha256=B1c1v901mqc4BAh_opFcgibPjIOPuX4jUpnwL5e1dDg,1611
jacobian/contracts/results.py,sha256=ybA4-HDClvE_HUwC3iWRh3aGs-h_g_dNlGli1ViyldU,7306
jacobian/contracts/sat.py,sha256=FlFDlZG5vxKzczwBCDcaBdmwj8nNdjqxmhmoE8zw5V4,23855
jacobian/contracts/search.py,sha256=63deBW9702OuDf4MKlt1EjfuGfV39-_XOMpdQdudGZI,11553
jacobian/contracts/sequences.py,sha256=_pJ00swkBC7LcCHPtwvnDhiBsHwWPoOkUoqc7TlmOMo,1902
jacobian/contracts/shrinking.py,sha256=pf_SLU85t2wePfFM5hNczQAewMo9hgg72YasZtQeXgA,2772
jacobian/contracts/smt.py,sha256=Y74hYTegl-KHu26QnEJsGqG-_4lJXDM_0B-S7gkXLic,14756
jacobian/contracts/topology.py,sha256=5vGRTJC7gtcERgD5TBvRaqK1y_F5M270NUvaVaMPjm4,28340
jacobian/contracts/transformations.py,sha256=tSLFMDcPgqDVfVzlSKbBPWxTp-Z2YJgTwtguKtzV5ig,3327
jacobian/contracts/universal_algebra.py,sha256=JWe5pwRvhdPQGiFYY8-KCLX5UgSlE4jGuuvIF67LyQY,15119
jacobian/contracts/validated_analysis.py,sha256=s2BlGo27ekqNBWojzRRTSnOVNfughtLEt4EYGl_HI2g,12215
jacobian/contracts/verification.py,sha256=128LsEZgx7f_JfBj7Xe3uysTV8prigWRqirq4QBySfg,1128
jacobian/contracts/witness_search.py,sha256=DDv88gQB-qMSs4i3OhwyxRAOxbEAcggo7svNgmxgI_0,4591
jacobian/domains/__init__.py,sha256=Eq045ZX_qG6TvMYKKSonfy0KGfZdkEaDvF1EE3HfMos,52
jacobian/domains/_certified_snf.py,sha256=r1ffOuRpUG1PJWPmyeQM6vfU559IEpegzuGVt9_Ap6c,12845
jacobian/domains/_examples.py,sha256=K5mj4IiODKnhKy0u-QTLF0JOysSDHMXlyCoSjfZvkSQ,445
jacobian/domains/builtins.py,sha256=hOegvuOaMz7L5iPVOOLm5PbcV3Z6-xVintZ0F1kk2F0,3113
jacobian/domains/analysis/__init__.py,sha256=_7g7t9gp6GizQdpJnx_0zWA9oKWHdznkZXz7-adDYA8,159
jacobian/domains/analysis/bundle.py,sha256=ER7d_gM424M0p5R-NKo5F6IapKLv_4EGeqClBLjM53M,2117
jacobian/domains/analysis/operations.py,sha256=uEKhM-o2VDpSJUe20aXpkt3flrwW2vgv8KX_B0x6b-4,6890
jacobian/domains/analysis/worker.py,sha256=UnuRWBP6qaOVbnWGXKsBSIlrW7hKYlmqTQlgcW8JakA,1903
jacobian/domains/arithmetic/__init__.py,sha256=u8W7HVXQaSWhWPeMiHlkUzyt_WxZ9qn5DPCDRkg48bc,169
jacobian/domains/arithmetic/_support.py,sha256=DRaO6R5txxuwx73ow6pLb3VHwGbzYfI51IuSEAc25Qo,359
jacobian/domains/arithmetic/bundle.py,sha256=5vXx4jsxcp8BfN3WyINUI93CyFRSXmx6RBBeHgwaNOw,3096
jacobian/domains/arithmetic/integers.py,sha256=hW8zhbJLuVaG2uBKAQpaZOwt2uGjsMye849tUiHcrQU,3840
jacobian/domains/arithmetic/operations.py,sha256=3UrcrnX2mZr90BkTVQJFx15thBGS6upwhT_cpJBIdQc,6519
jacobian/domains/arithmetic/rationals.py,sha256=LKbHuBaLPKR1cvhwrLEO2yJpNcZERYVPt8Gb4KQ2Q2A,8511
jacobian/domains/certified_snf/__init__.py,sha256=y4jiDaiLHa0MK4xcvRjqbrSB7rr3DW9ByEcokLZGlFo,171
jacobian/domains/certified_snf/bundle.py,sha256=Pk2B2vmHT8i8lIbbfSNtPxEkRWFEgtWnZiVdmCt57QY,3083
jacobian/domains/certified_snf/checkers.py,sha256=dd2Zs1koFFXiwagdVch0-_LT1PBAySXy_ZVTUTeuCqM,1453
jacobian/domains/certified_snf/operations.py,sha256=xNYGujmMz5kICy4lgJ4KbR-2lmFpFCo7neVDeEYUjpg,2318
jacobian/domains/combinatorics/__init__.py,sha256=M5_nL8-zUggx5iDhWmvCfA5c2Px_88AUHGOqD_u0iBU,160
jacobian/domains/combinatorics/_support.py,sha256=8RKII81YkdfzeK8Rbg1knS_aN47s3w7InTZnVt7BLhw,427
jacobian/domains/combinatorics/bundle.py,sha256=Mls-xOf4XU-TMX6gnFUd2qQRn2af13L4CL_6nOkqg_c,2875
jacobian/domains/combinatorics/checkers.py,sha256=WCGg2AnxKW8m9f2gmA6PqSEkKA8eAbs6_wIw-e8I3K8,1363
jacobian/domains/combinatorics/counting.py,sha256=72gvCklNE0yi725Z6JQa3uoFeq4B8Qmw8nLBD5-Q6m4,5119
jacobian/domains/combinatorics/operations.py,sha256=67LecwSE_DffM1tzB6CWAn5LKEChqC9XUbEzSycLkww,4930
jacobian/domains/combinatorics/partitions.py,sha256=l13vc5i15lD3X5Xncox3_kvmNxgabomGDMPfK507lvw,3266
jacobian/domains/combinatorics/recurrence.py,sha256=q8_lfKLFmh524VSZOefIqSUOe_3qPpH52nFent-Kl6A,5466
jacobian/domains/combinatorics/recurrence_series_operations.py,sha256=GQkxYsCpjQsVHXK_HccL1AxW_XFV-hEbxQVHrJclH8I,4066
jacobian/domains/conjecture_ingestion/__init__.py,sha256=_XGarYAeVzen1FqzDNVVCVQ9NgPPQeIQSMce1HQ3nTA,208
jacobian/domains/conjecture_ingestion/bundle.py,sha256=NXJCCtxLO9A-Unx3eqJz8ppHQdJJHFpzAIdP_Y6Y8fU,3162
jacobian/domains/finite_sets/__init__.py,sha256=b9laLadsuAg9FS5T7iySDK4F1ERUlz9YQQEMYaMTLbw,157
jacobian/domains/finite_sets/_support.py,sha256=B9VhH7x4TCUL1B5ZThtgrslYVlNF7TdXQoz7aFIxNZ8,353
jacobian/domains/finite_sets/bundle.py,sha256=ifAWmNUOuQ7bDPpnZxM29YkQkNdguyY9-S1hK8V6lTI,2374
jacobian/domains/finite_sets/operations.py,sha256=1hX6C1LDzLmxz3Y2auqOnMI8uYoyQFkbTO4QgRoY198,2381
jacobian/domains/finite_sets/set_cardinality.py,sha256=fbxw6W6a7CMMJ14yAFixz_DLcO51_hecJZdlkNIlRXE,2216
jacobian/domains/finite_sets/set_operations.py,sha256=As_FHxw-LQ7vsj0oZINYmlHwzHWxxjwxP5lIwam5sxY,2787
jacobian/domains/finite_sets/set_predicates.py,sha256=j40llZEMFFvn59GeDqrCoZdPXPJrTjmPqhrlazma37w,2273
jacobian/domains/formal_datasets/__init__.py,sha256=XAkRNjpCC3LrG-hMOfiYb9gLdV7nC_2_KpJ_PqknBIA,183
jacobian/domains/formal_datasets/bundle.py,sha256=fQtaWOpsyFU3cFf_yWiwOO5m3EQU7m4tIPg13g4wQL8,4722
jacobian/domains/geometry/__init__.py,sha256=jJMWFuvCaEXOYSUCKEicazo82HNSXMWK__U92dlDRro,156
jacobian/domains/geometry/_support.py,sha256=2hWR4XB-ZKmTIXgKwunqUeXIiCtu6EnZLYbkT8-PLPs,348
jacobian/domains/geometry/bundle.py,sha256=iWB8hLc-2LxasguHrIlBG-zmqre8RyqVkq-UuU8AMIc,2649
jacobian/domains/geometry/checkers.py,sha256=tn_m63v9zycRMY7RMQIhUrXmVRLlu8oNHd5dYSp06tE,1484
jacobian/domains/geometry/lines.py,sha256=qAmAeIp-ZUSwSaV3m24TwWe61D6fQaYD1n1K17hxIwU,5737
jacobian/domains/geometry/operations.py,sha256=VlwcC22JC2KZX3_RxFrtSWs71RHO1i1IoSqCh8tiEl4,13658
jacobian/domains/geometry/points.py,sha256=S-rHDmknISqL192HOAYOkjujLmX4wS9DNtHoP3-PKXQ,4512
jacobian/domains/geometry/polygons.py,sha256=hpvzqITJ4t0EPvB-WmTZsTMuEQccj9XehY-zheU1218,2996
jacobian/domains/geometry/segments.py,sha256=be-dNiPBjTVWp_1i0J89v2yJ7rqAPVZrwOhutNRdZxY,2836
jacobian/domains/geometry/triangles.py,sha256=HzU3tB6FERbb03rthYhos4I32cc2IZFgkNp73UfubI8,3564
jacobian/domains/graph_optimization/__init__.py,sha256=jEQE5oQ7bK8qi2W2ErfLHSXq-lbMwOf6hBMqTzlF4ec,317
jacobian/domains/graph_optimization/_providers.py,sha256=bqqft5yKgtG0qqgbmfrYhUF8M00-5ED9OKqMEMQCBSM,708
jacobian/domains/graph_optimization/bundle.py,sha256=dO_iPpoBignts-HJHLWimYvLFlBJDbiqkqxv-7wr_ZU,6059
jacobian/domains/graph_optimization/checkers.py,sha256=H5hJbMeLog31xx1HXdP3_00TYKDYy6BVfqRrqNPhKEE,7635
jacobian/domains/graph_optimization/chromatic_number.py,sha256=unp6wRKOlS6yowF6wIdY6F7LGvOP_i1d0YCRZ0EMYJc,4687
jacobian/domains/graph_optimization/exact_search.py,sha256=xIN7rWus2LABVoJt2LFxFch2dIPecpJKiZP_PaQNYaI,15172
jacobian/domains/graph_optimization/finite_optimization.py,sha256=5eUZMWOgukwvMefR6ERKqG5uGuykGjNnlXbX0t-vJAQ,11840
jacobian/domains/graph_optimization/hamiltonian_path.py,sha256=2VE0HgUWKT62uCKRyqJkj9dNPJVbV-OOyKJU6iohIuc,4218
jacobian/domains/graph_optimization/invariant_bundle.py,sha256=-v6ST84IPttnAQ8v6zVZKbtOt8gg_oBLMDiALvCD-QY,3264
jacobian/domains/graph_optimization/invariants.py,sha256=qtMPVOBPUnDGcWPeSVixpdOAJd6lAp_dHNmLWG2wh4I,24990
jacobian/domains/graph_optimization/minimum_spanning_tree.py,sha256=Bvxz3hzfFavkMQYEzvHdvx3ZjYZMrNxj9hGZNxq6ILw,8234
jacobian/domains/graph_optimization/operations.py,sha256=RQInxNghUuVAqXEOuPKQbcLSXwUkE-yL_Ncr00h_JcQ,6368
jacobian/domains/graph_symmetry/__init__.py,sha256=Vqdi05hERi9aLSHR3BhT7th4JIPriSBMVK24sg7sVZs,178
jacobian/domains/graph_symmetry/bundle.py,sha256=mzy6LSvA7Ksq065LZMA3QbWZ7zhnc2B15dndsEmZTXc,3268
jacobian/domains/graph_symmetry/checkers.py,sha256=HV79TuP0325jwsjrWcovSUWDRRWqTrZgL6CeVxkP-Z0,1417
jacobian/domains/graph_symmetry/operations.py,sha256=ks8KsFMzZA-3viQ_8GOObHOl47vDKa9AkyYhdjJpCXc,6027
jacobian/domains/matrix_lattice/__init__.py,sha256=4tbwwNWalWXU3Sui-FwCrRFMejhL0JePaX2zkkclni8,254
jacobian/domains/matrix_lattice/bundle.py,sha256=U7UVVbKAzV-qjGwbHGRHk4KSJcTbAg9tXBlBfOKW7NY,2858
jacobian/domains/matrix_lattice/capabilities.py,sha256=6--0a6s4jG4KKWC-zKE64UocOjA3k_CLJ5nDelP-7no,12431
jacobian/domains/matrix_lattice/checkers.py,sha256=o_BseBO4x3lr2ZxqG2aIAyMGUauQeGRzrKiivXzTc0A,1387
jacobian/domains/matrix_lattice/lattice.py,sha256=ZsCxdGh7BgW3q8rSwQApsKOT2G66Iy5Fk2cwcpZUwX0,5936
jacobian/domains/matrix_lattice/lattice_bundle.py,sha256=NN5DW3sBYyVKeZskHy6bxZhuaI8PPxz_dPwtcJbRE_U,2528
jacobian/domains/matrix_lattice/lll_worker.py,sha256=JtbJKlnA1jU05MAuNNwHQva3hqLOl-kqSBxzWPiKEQg,3814
jacobian/domains/matrix_lattice/operations.py,sha256=GgWzVb4BKbCivTRk7YxYV4LgwsI_jkQsppbWKHfbAc8,7106
jacobian/domains/number_theory/__init__.py,sha256=w4XLqufK-i3a7ZutGv4610qdlpAGfs_VXjdHuaptzno,181
jacobian/domains/number_theory/_support.py,sha256=aGBlDwi0W_4WwLHZ0FHyNUqPh0q52GS_53MiE0_Z7nQ,559
jacobian/domains/number_theory/bundle.py,sha256=8hEmKqDsuovqhI9UhMwBb7TzjC-RTitEKb1fz1UlQwo,2875
jacobian/domains/number_theory/checkers.py,sha256=Obe5pnkafumkFJw7Iy4164ZX-LzRsYKR2Up4G1A5rxM,3608
jacobian/domains/number_theory/derived.py,sha256=t6vyl3d9fd7Xib2JXJ6nmXR02OrJZ-DkWd3AD4v5jnU,2176
jacobian/domains/number_theory/discrete_logarithm.py,sha256=EEdasHCVY0KYIP0FLUes2XneCmpLHfvtOwdp-rDVRt4,5818
jacobian/domains/number_theory/discrete_logarithm_worker.py,sha256=btsGXtDN9tViHiX_5_PtL6dd8EVhJapDQ2vb_dueY4E,2010
jacobian/domains/number_theory/divisibility.py,sha256=L8B86Miqndc-sDjGZnqVBUOX8sAXlQ8DWThryDeKvvE,7764
jacobian/domains/number_theory/factorization.py,sha256=ZGV5lRC8PQt6bxAP1luKMMLP8DQV2gC8GTWbsCl3Tnk,10455
jacobian/domains/number_theory/factorization_worker.py,sha256=DgrLUazdNc5N9W0SjLVQUAgncifMadK9dWk1TgPmau4,2520
jacobian/domains/number_theory/modular.py,sha256=GYCptOzGHmX6NukBBQiP8W4Xf79WIKlWmOhBAvdyenc,5028
jacobian/domains/number_theory/operations.py,sha256=rjscYi5NFzOhb0dVD3I1Z4YPudl-in1liHGGJwq05ww,16697
jacobian/domains/number_theory/primes.py,sha256=SfCNad1m7zu3IU_9oV7oI5kpzHvJAhZRWdj--ZL1hQc,4071
jacobian/domains/optimization/__init__.py,sha256=g1-ReNB5ej8SU59Fm9doPgwzRLOSrqU5l1Li1NOP6s0,174
jacobian/domains/optimization/bundle.py,sha256=yv5w5OJQNjE22ReSgt_bG1zOsTH4Jc96rSidxq7bMag,2096
jacobian/domains/optimization/operations.py,sha256=SHh2OwrtozkLgk3AVxERDeYXxr-3vyBR4QJaBWkGYgQ,6250
jacobian/domains/optimization/worker.py,sha256=P2Q0s5lbxBQ4XXM1GoerBnch1qnw5LFAMCDkPUYsv9s,4702
jacobian/domains/polynomial/__init__.py,sha256=jf-IHkdAe1p1rnF-qdBvtUkcy2cnsJ3IXgPj3w-h4X4,155
jacobian/domains/polynomial/_support.py,sha256=xWRF9Xq9mUBXYVdETJTJbDkvSVZgkCrx-0mQZ3Wdh3s,4461
jacobian/domains/polynomial/bundle.py,sha256=XxDcPQD6SO1EQOMd03wEJB1hoIwP4rHAtZ-jsFkYlF0,3576
jacobian/domains/polynomial/checkers.py,sha256=AK8WHouO_of_Q4VB3KMEyVP91NOCyPWAd2drSjmQCFk,2436
jacobian/domains/polynomial/elementary.py,sha256=A5_2bx3EcIuyE6Ip-wbj8G88GL4h_kaynmvz9dSE2KY,14079
jacobian/domains/polynomial/elementary_operations.py,sha256=6khEdbpIzDZnJUXFrp_pirkXApE1j7NosxEyfOTfIkA,8960
jacobian/domains/polynomial/groebner.py,sha256=Of9_BLfwJe6L3GBWM8nFupk5IkR_grr4EVlqb0h-O08,7068
jacobian/domains/polynomial/groebner_worker.py,sha256=2QbtXG2a_jf4XCePHu0mWTil4Sy58zPRCoaPA54xqao,1815
jacobian/domains/polynomial/invariants.py,sha256=6uZXW5LODlN5QVqAClpN_zqMHg2UgdwaJaz4WOKlCvY,7600
jacobian/domains/polynomial/jacobian_syzygy.py,sha256=8AeL90jp2Z1SRKQ9FI3ZEH6_XdAqbm--LyFpfslYfqU,13509
jacobian/domains/polynomial/operations.py,sha256=lBlgcGQp5BGX7XvsE2ax0NsTvytJKk1mAroRnFJSGfY,7125
jacobian/domains/polynomial_nullstellensatz/__init__.py,sha256=TijfetLgBg5EcTgMba0eV3Y4gwqEgEBtSSdHtzwef1k,320
jacobian/domains/polynomial_nullstellensatz/bundle.py,sha256=9NWKU5fUADKDd_1DwLP1KZlEoWZj51hR6JpBK7LotX0,4479
jacobian/domains/polynomial_nullstellensatz/core.py,sha256=EqIWcaFnDY6GvLo6d-oCzVJpeSmY4vB9DubefIkA-RA,18678
jacobian/domains/polynomial_nullstellensatz/singular.py,sha256=4TOVRGEbsosNpRJHHzpVTyMvu820Y8bCqfiPuvP2550,21712
jacobian/domains/polynomial_nullstellensatz/system.py,sha256=sfOrV-t8jA_FqHQ1iIATWDRecrOSDRjb7IwmqJwgPpI,4551
jacobian/domains/posets/__init__.py,sha256=JG30tX60CSyR9dNalh3MDm-YR_gEQPw7Vj1DxeoQbm4,155
jacobian/domains/posets/bundle.py,sha256=7gWtHR1iZBpFmRE0VRXZoVqOAYjxyF4tN7fbflTH160,3089
jacobian/domains/posets/checkers.py,sha256=KJXjNPGKsNGcJhckc1cSKoNBvwT_33YkElF5s1k2eqg,1919
jacobian/domains/posets/operations.py,sha256=mM000Ydxv3pXE9Cy7zFPH2l9xjueG8HraXmEpr-cwRc,13915
jacobian/domains/probability/__init__.py,sha256=8q9vpDq4fybebFZALD4va7KYXSj8mt33_zQdvaCk1_Q,173
jacobian/domains/probability/bundle.py,sha256=-xjtj5jJChwhiBxHihOuQZWzkGSK1olH_-nF3dcsjzU,2767
jacobian/domains/probability/checkers.py,sha256=RdZ1lntJ0RrlUgY4b0BHjULYFQecCr_m1M54T62G_g0,3244
jacobian/domains/probability/operations.py,sha256=pWnPHqBIkjikQa-AGfmm3ahvyaKMWkvdSXraO262SOg,22520
jacobian/domains/projective_geometry/__init__.py,sha256=zCzGOt5r3tz9U37FY2DUDK67Yg0ZDHB8YeXtHS7NySo,198
jacobian/domains/projective_geometry/arrangements.py,sha256=EtrdSkYplUuTNahAoOlBslg7S2YYlBAAr4poXBuIX74,6647
jacobian/domains/projective_geometry/bundle.py,sha256=1yUOyIBbAA63to5WGHEn8nGii694EFCP7h8FC2_hFYQ,2965
jacobian/domains/projective_geometry/checkers.py,sha256=qfFt80vefpE3_7fYdSPLD8r7dc39wuL9xk2Y0u3Z8qo,1575
jacobian/domains/sequences/__init__.py,sha256=qfxR1BYBX_GRRK3xB5R7paQXiLLpYo8gZepv4vzB2mY,156
jacobian/domains/sequences/_support.py,sha256=N3FBd3Sf0E_p063-5oVASHN4xAtUjeDdE6H2JmOw17w,404
jacobian/domains/sequences/aggregates.py,sha256=5_Ke0HrmJTsOCZdrc8XJtccwK3Bp2Igp0O4kcxMXW28,4505
jacobian/domains/sequences/bundle.py,sha256=HHiJSYaA6oDoFXuQ57IncjlbzY2drOP9nb8u70bxdhI,2659
jacobian/domains/sequences/operations.py,sha256=cUonm9FKW55Lwcn0zZ3v10fg1ZrYcbj89jtrULnusC4,7528
jacobian/domains/sequences/predicates.py,sha256=hOvqmXkpMzHXEgblKZZsRlPsnfqYH9YH2FIeduvdk3I,2664
jacobian/domains/sequences/search.py,sha256=ujtpwPj6jdFfN-A1SA0OqjfPW-yZMflZ-gVmNPKyvfE,1502
jacobian/domains/sequences/statistics.py,sha256=Agm_DFXVqil6DeuJE5CdDOyA0L7Zlv5Xpbd2B85U0XA,1449
jacobian/domains/sequences/transforms.py,sha256=udO8-8O0bdh4DYQYikqlMg_G4VftbtkY1JwQZb3yWQQ,7399
jacobian/domains/topology/__init__.py,sha256=zGLKeYk4n5XAhYHzvmNcSlmVrlxN7DbIZKNiNCYMEUw,146
jacobian/domains/topology/bundle.py,sha256=GqHoj6Nppvn_Kls4N-qEa-U9j2tMLU8fxVyz8p0V12k,3598
jacobian/domains/topology/checkers.py,sha256=VX-PoYU0v9T-dagITHJr4KZAOAl5-AxZeHxEH_3WPeQ,2908
jacobian/domains/topology/operations.py,sha256=VOwyCSLGcBQNYpE64AUFMZlR9QIvLOwyKkoBwPg3oIU,26497
jacobian/eval/__init__.py,sha256=t09T_YdWZGLZuR5HOYIpvwLbYM-IEzi39fehBzVKF2s,53
jacobian/eval/graph_oracle.py,sha256=kPyLxT9ish-8_QcyHlp0i2Ui2t7KlHR5Sz5qPFd4Ewo,7187
jacobian/eval/telemetry.py,sha256=N83CgIYFiG0vG-Wx3RWm-Ip9KkVzEZi7tbH7XJMjKgw,19005
jacobian/experiments/__init__.py,sha256=KRRaC98InBGHVhmBoBQR-gM5grmtijY9Z74f8CQCb_8,258
jacobian/experiments/_helpers.py,sha256=y2cWqVq8Cy-cd7ajXWORw0_FprmZWUIPVI-V_1SrNyE,2054
jacobian/experiments/errors.py,sha256=ViQ0Z4dvBxpffBh7BGkfNLdTBYJ7x3pgHQT5txvieGo,533
jacobian/experiments/service.py,sha256=yBpcpBpZx9Svpd1ydnJoyxPt2xvUhH155wV_gRSg0q0,46965
jacobian/graphs/__init__.py,sha256=1ZOMEV_YwyH4DRSMKATFl4nMcvekQVJ7U3nyjy9woOA,988
jacobian/graphs/artifacts.py,sha256=6TFfFOy6pPhHiI5YaqGs-quG-h9LVk733MCJIoMiOtU,4316
jacobian/graphs/atlas.py,sha256=lxUs-ZrVOI54jEUu4aEHWyOy8X_HrzltlvQ_eR84BkY,1635
jacobian/graphs/atlas_search.py,sha256=IKnDBvSDrklXgd2lMRMriqtmarTD3CwGdTHHcP6ZN1E,12744
jacobian/graphs/coloring.py,sha256=VRlLun0K6cg5S5dFOcumfYy-GqEjTlHpwIsMYu-EfcM,12939
jacobian/graphs/coloring_semantics.py,sha256=hxsWKhwlwGnQ4jrwvrgVUkB-wPum2C9lVAMjwtlDVe8,1827
jacobian/graphs/composition.py,sha256=UB2YFg7-jRtaNioEmiPno_TMSe1Z_76mWdk3QDF7ImM,24207
jacobian/graphs/construction.py,sha256=Myu53pcZViwisNEgluR1Zm-QP3UmxcHulONtu48anSk,7119
jacobian/graphs/degree_sequence.py,sha256=9FrAp-KYJncIFH8apZXWNHkjhOI6tYnzPDyN0tnXfMo,12105
jacobian/graphs/installation.py,sha256=M9FfczbgAXohHPqfPyMO2uzxO4JGwYl1kyKXbm902Jo,9553
jacobian/graphs/invariants.py,sha256=evWX-fHmwchdN1pGf6eHsqsurFCiFfkx5xG9R75sLCc,14161
jacobian/graphs/isomorphism.py,sha256=p6OJopYqiWCdleAos_oGv3o4UuGIZCH6em4cz6l-da4,17108
jacobian/graphs/neighborhood_independence.py,sha256=zfMhpOPbkHxIeKwUYtT03SrEAOX64tw6b__o1WfLtsI,11474
jacobian/graphs/shrinking.py,sha256=WgmcCBNT6pBhIn9uut7re8PPRQYsOMMJz8-SUhITzxk,23095
jacobian/installation/__init__.py,sha256=-PTn5uLnUyc-E7cxLRAUMd66DDgSkz5w3nnmFOBOvIU,370
jacobian/installation/context.py,sha256=nLdU2Ki599L8_24ymchb62HQDxFHTnVsXGFPsDWuCZI,3002
jacobian/installation/result.py,sha256=_TZMLtPIKCTK76fukrMryvWGiyAhIVuJRMoXk8hwonI,553
jacobian/lean_frontend/__init__.py,sha256=Cnrjd3MwUOzSo8SgqjYWh0LhxYZMDg8ihKMjx0CrAEE,1175
jacobian/lean_frontend/_lean_declaration_query.lean,sha256=nODsckuzswdUw52HoE8Y7VWy-MOC8Q1o-MGXXbd546M,17395
jacobian/lean_frontend/artifacts.py,sha256=mxKSjwqwv-naLsqeyQq66C56DgY6dG7BCKxqooHz0aU,4299
jacobian/lean_frontend/declarations.py,sha256=Gf_psuue2gyWG7FuAzEJpyovQLj6EK41U9KGEz3Xsu0,28717
jacobian/lean_frontend/exploration.py,sha256=79--xM3rXLlLJULVlQYNRdtg1Bw6IudG3_xLIsqpR-0,11495
jacobian/lean_frontend/premise_retrieval.py,sha256=5gPjCzzb2T0RgrVli1I1ihpSE6S2Do3M_oMCF84uiPg,7848
jacobian/lean_frontend/proof_axioms.py,sha256=G7LaYi-zGb3CLKCnbQwfGq_P9dUYrNdmXDCxxXeL6iA,20592
jacobian/lean_frontend/proof_edit.py,sha256=GO0kIXznuJQKb9aWxUgZlV10wnOCVF6J2KgIshHo6JU,10220
jacobian/lean_frontend/proof_state.py,sha256=CcYuCSPhBvUTicpza2G-m-p4BXXxEXPVKn5BVodDbzY,18161
jacobian/lean_frontend/repl.py,sha256=r0ed6RKdd2DxhaQZMETy_7tHRyzH-nCnf7gRJxGmEz0,17445
jacobian/lean_frontend/service.py,sha256=cCgub6rju-d4Jrl2cGTBktY81ifRkikYLCX2jKqRnSA,11477
jacobian/lean_frontend/statement.py,sha256=cc4sNzPcFlna5Z8z9WvV7or84wrHHorS1Bd1vz0NL5o,32576
jacobian/math/__init__.py,sha256=qvCEdHnmetcNXZH0UUX0GJDpcr-jvjYHz0QXAtJhBCw,164
jacobian/math/arithmetic.py,sha256=I85I9ww0JAAwSZV4nUyAr5qXBbc85aEXJxdt20AS6rI,1201
jacobian/math/graphs.py,sha256=a-m-BCAQvMxbN36Mw49qp4FBtKgBK2I1fcoliViE0hY,1400
jacobian/math/matrices.py,sha256=ewikiAb85juTUyHd0JgVNRngc7zOqrDU09pCFpPyY38,1636
jacobian/matrices/__init__.py,sha256=pz8InRdgJYTHpEovJKtO8AFDif635gmkPsYxNcX1uZo,1305
jacobian/matrices/capabilities.py,sha256=g4X35KFgHl_F8BARNCNJtOdpbHVXeM_KdxOxlYlNjnE,13442
jacobian/matrices/determinant.py,sha256=ZfZRDNyK4ANdpPWowFUvwj9IBT2Dur6KzWqwBiNPEz0,15644
jacobian/matrices/flint_hnf.py,sha256=VHCfLmn92T--kbIO7_Y5nGxcesKHt3GrUwaDGIzONAM,15499
jacobian/matrices/flint_hnf_worker.py,sha256=b2X_9MsSgYypO8yLFqL6mFzLURXbUDpEyG8uAYQXh2U,4537
jacobian/matrices/flint_linear.py,sha256=4ak1AYNdaXLr4rKmKYrWRP7G238uZtH8v4WoaD5izQk,30480
jacobian/matrices/flint_linear_worker.py,sha256=DA82XwQB_2YIZrfohrQ59-E7Y73a2XiE6yeov4-Lm_U,8509
jacobian/matrices/linear.py,sha256=zJsoiSPmQDrWstlnYr9y1KvMHMZLetHvUDG2NMHRz7o,12870
jacobian/matrices/linear_capabilities.py,sha256=mT4UOSg0avp2dr40akg3EqqTeQAI4vIZalS-X2q6uEE,25315
jacobian/matrices/normal_form.py,sha256=eVkLz0yYBtwubJ57VhbIv3Johq32KGiqaSXAFA5sGgE,13214
jacobian/matrices/normal_forms.py,sha256=g4cOg_Ap-zK5PHIse-lRNPOv7N7IE8GH2I-QydTvXGQ,8952
jacobian/matrices/rank.py,sha256=tzaDxk3v26SnIDfYkJpOuqM_eVE3TqbdraWafH6gMf0,11059
jacobian/persistence/__init__.py,sha256=oemPPWwN5IA4OLm2u4-7wot6S3Oq_L8jSUMoy7ou8q8,526
jacobian/persistence/database.py,sha256=FuikYI89MjDEvSstAJoEAnhhT0Mivdb9Ng0t0UXLr8U,13991
jacobian/persistence/decoding.py,sha256=J_PHtGUdvF2wZOGLF6P-IX2mGqy5I7OGfLF29QSXkYE,3143
jacobian/persistence/locking.py,sha256=ZyJBqxvFNaqtLi0fsQkpD4FPgSNzJatyCgLQNGdfu68,864
jacobian/persistence/migrations.py,sha256=8yAWBvJJbmrLU0EjAqb-YRVw8yHJ6mP-vCP8BKXRZBA,16516
jacobian/persistence/recovery.py,sha256=T5fInzvzRuWehoJIpbEttHIGSxkYqX8v4je6vgeowcc,3352
jacobian/persistence/research_index.py,sha256=iYJqLrWXgne5XU6eQ55-8fyec6WiMJtPdSCO2RIaLQA,1204
jacobian/plugins/__init__.py,sha256=l41RYHRbz3QTHRDXg9xVocX9ajYgWtHfXo6lwhnGWPk,70
jacobian/plugins/erdos_straus.py,sha256=Fy-X-lybKkEDXJLup8YFTIPESyOacwfsREVA3mmJKqg,4539
jacobian/plugins/graph_paths.py,sha256=b_HRPubhphg7v2d6LDQ15IntU5HGDmtgRi6gGvUe5aI,23755
jacobian/plugins/graph_shrinking.py,sha256=uC0Pk6spFj_eIQhey2gCqdVURfCDdlORu6jdjqpGaN8,2365
jacobian/plugins/matrices.py,sha256=6o1vjEz1RRiJlsL2Sr1eTZQBrZ48XeUhgmgBtx8h094,22049
jacobian/plugins/registry.py,sha256=MfQ9hxxgrw5vyb4q5jaXTwGfXLT1PIsiJ57nd2v78kA,16902
jacobian/polynomials/__init__.py,sha256=AlYGAnC-2Cr4kf--XH-4NCIho39J_xv0VZWQ_s7JA_Y,350
jacobian/polynomials/_support.py,sha256=D0LemZ5T60CtJVHdZecODvQykPvCa8rn0b8Z-3NXpWc,21759
jacobian/polynomials/_sympy.py,sha256=I25HUBAJ1_Zxmb3rJgr387fojQvPb9h_kST0Dg-RnR8,1006
jacobian/polynomials/collision.py,sha256=duYBSNfEYSf7B6Jbkm5cXTm9kRLGrnGsHAe1T4nROBE,35388
jacobian/polynomials/evaluation.py,sha256=q6S9jlwOdnixGWM9uJlpTMskKZfZv-hjFrPj2F7Gbe4,22883
jacobian/polynomials/factor.py,sha256=zEtHXO8wm1EYk4KZT7nbYlUHfiPFMnA07jUcX_iL4uk,6668
jacobian/polynomials/identity.py,sha256=UJL_6elLY2a2gnw63HjsoewGClhck1cVy3CZxpJxiuU,10232
jacobian/polynomials/installation.py,sha256=gmwKm37KjERlujYKlmDXkWu2mcXqvUNBsOqOG6C-_fE,19895
jacobian/polynomials/inverse.py,sha256=8pn46fyy-j7MDUZo7FCXS8fdtyvuGJ6kuu5g-_DBGbM,33641
jacobian/polynomials/rational_identity.py,sha256=fAiCfGwnRTacz8gXcN9jqPK8pwxb8BkKYt3pbR0Sdrk,12830
jacobian/polynomials/resources.py,sha256=_URE0bH1PYJu0E2rWjDYnXCbWY176rexJ9AiG9VI2l4,1753
jacobian/portfolio/__init__.py,sha256=dOWpK_5AMhVpTrPkvK_yQbWeWM-OqzE_zlXtC_Q5XJg,760
jacobian/portfolio/assembler.py,sha256=9VstG8HDxAzmBVOk-4b4MvbnwIVymwWGJ8w-7mLZQxM,2631
jacobian/portfolio/builtin.py,sha256=_NH-1mzjjseeKDuqXx9YduhvMnNuGV_wYaJlbF7F2gQ,416
jacobian/portfolio/core_installation.py,sha256=YzDUvOw-Zml8b0ZomMS0ItM7QMaev4Gg5J51-85-KhY,9464
jacobian/portfolio/domain_installation.py,sha256=0D4tuuICMoSvPMgU1qO1JWGklOaCKZLCVDudMm3fxXg,5364
jacobian/portfolio/foundation_installation.py,sha256=oFOsJ73mxm6UsMMS6JlxwfbcyQsdyKYgFBpNGMBX6WM,11612
jacobian/portfolio/model.py,sha256=4mJasBaSneVqM7YG29pq-AXbI0zHK0lMgOTs0DaRoBg,3778
jacobian/portfolio/provider_resolution.py,sha256=KjJpmNyKn2WZ3Jhw0b88T3Fi-Tqzwt2SuE8DIoiVfNI,2440
jacobian/portfolio/reference_installation.py,sha256=vx0qIpQnZY41Zig0-AUDC2e6L9oKfwUejbexzFP0Ozg,8554
jacobian/portfolio/resource_installation.py,sha256=4h63OMF7voJxVpae3otlrrfD9X-jvzKFJ9X_cUWzc-M,3342
jacobian/portfolio/result.py,sha256=zD-DblOjt-ecMpvjJ1QI5c0ryoTd9UB2z0fmog7OHZA,13511
jacobian/providers/__init__.py,sha256=Yxsqfpm_RiuW83Y-Igqkdw_8SFL3hvl33UAXCGNU5g8,1209
jacobian/providers/external_solver_runtime.py,sha256=pzPL9lPRrwfXAf8XzQDQCRurQSgTnG2-niebUxHr0GE,13079
jacobian/providers/flint_runtime.py,sha256=vDAIdX-v03kWot9ZjkFMIESClLopqUFd4dQ2mfkrXEs,24865
jacobian/providers/lean_runtime.py,sha256=sbo7TVmtK9qh9-J7KESw2WHl-FKxWknapQqrDuLqt90,3157
jacobian/providers/loader.py,sha256=YerL4CDB8DHvWvFoJwRcwwMybB1mfaY09qS_lhsP2y8,8056
jacobian/providers/metadata.py,sha256=VAGAmKmOFV9rsJvmuldPX4RpN-E-3AlN9fEADzC7LXk,2394
jacobian/providers/singular_runtime.py,sha256=tIyUc1n0dUaL91Wy22qmE61artU2xIxS19q6w03u5kM,3132
jacobian/providers/sympy_runtime.py,sha256=3HLWlQnbJ1IhbJVa4YsNgRFfPo5a3qKxFK1gZOpHuE4,1709
jacobian/runtime/__init__.py,sha256=bREYY4tOvBKsjqlXhW8aSDZCpuL7Pi-nsTtMmLHO2ck,1202
jacobian/runtime/bootstrap.py,sha256=2diOjrCrxdVtnoU3kiveITIoelpTwDfY0WNdRSQ0N2c,2885
jacobian/runtime/config.py,sha256=OolyM6hZOl2ir5Ls1q9HvaQFTbxKpBrAIz8Utx2KSAg,834
jacobian/runtime/model.py,sha256=HlNZAME1ivt2DInckv6id4VveeqtWkWrV-7-gQwWhxk,2523
jacobian/runtime/services.py,sha256=2MB2S0s5df61-Q6P0f7Q2Kzz1lOr1i2BqC4VRSv7G7I,6495
jacobian/sat_smt/__init__.py,sha256=EhB-CMrM_EY-vBhY2oSxDixRvdXzxqi1uZUU_I6QOJg,789
jacobian/sat_smt/cadical.py,sha256=pPNS_0BGjX09EtDq4LskkYxehfQw4HP3rNa-0wI766w,31088
jacobian/sat_smt/cvc5.py,sha256=PAOPmIRFcZLXVyKrL_AGjQN5xCcPuUS3K-ycNneEA8o,21145
jacobian/sat_smt/cvc5_worker.py,sha256=q6at87iwytr5-EWuq5naNtnX5e21_KrQkuC83pEoqC8,5741
jacobian/sat_smt/sat.py,sha256=sYaqUh_RgbikrMDabYoUri9PoXqi-Xog7XIWoQgYoTA,11407
jacobian/sat_smt/sat_capabilities.py,sha256=POeo45RxEgTqYJZSaFk7PKP-wUkQlTp8sN7RbKdTZqc,31331
jacobian/sat_smt/sat_lrat.py,sha256=T0EltEilbBUstPjYlH36sLqyFpkOjj6Aq8slZg2PZlI,14232
jacobian/sat_smt/smt.py,sha256=MnRr4dwl2T2b7aggouTOJwgmYXRNuHc0dlI3js1_FU4,8152
jacobian/sat_smt/smt_capabilities.py,sha256=uGlgfMZoA39vkRwttwceAyP6ovn3jJDCsx5HgMl9ef8,13281
jacobian/search/__init__.py,sha256=sK0QAOdvzFEQUp9cmt2Gvn53FAeaWSE7Oj78K1VG1Yc,176
jacobian/search/_helpers.py,sha256=0E0Fmgd3z1YOFFUfMJvtZukY3oz-p1YUI30nDnXu1QM,4854
jacobian/search/errors.py,sha256=t3VhI2mgZYOeXhs3xItEi1uFnwERcPEisInx6XA9eWA,532
jacobian/search/recovery.py,sha256=m-wu5Zm6aztvNWduamnifKMXcTlSkIhHcAOLdOHsK7Y,8996
jacobian/search/run_loop.py,sha256=WrpfK02nu8HvAHhZxX12cBzf73OpwB0osCXHawrkA7Q,26101
jacobian/search/service.py,sha256=iftmlshE-Y6cMhkgyec93bnN5jnT7podOCxCF_QKQik,49140
jacobian/storage/__init__.py,sha256=5IlCVKS9WvXeGXt5aT9lZbywxDQxeG7kZ3D0dWgf6jc,220
jacobian/storage/blobs.py,sha256=wJcyMfZOpO8EZL14MX1wq1_UjMs6hVVgo1sXNONyKe4,11913
jacobian/storage/errors.py,sha256=IkgbrWPKjMkr3OE7l2HTg2zypXC69iaT0emD6c-NaCI,1914
jacobian/storage/identity.py,sha256=6sq9gJRTdBceImepuy0hgypwH7l3jrncenILGoLM3KY,3127
jacobian/storage/metadata.py,sha256=FRrkHogJZodsDZ4CFaS81lE6mYnVKECRpLtzYFkBIYU,14375
jacobian/storage/models.py,sha256=0xaavqpXSjr4x7gTKhd1bTL23YeC93aXwMiPXfB4uoc,764
jacobian/storage/repository.py,sha256=w87S_qCd3IdJcqyipg1ME-uI-7Fpky_XUhcVv-0dGL0,7748
jacobian/storage/transactions.py,sha256=YV5mTqDuATTBjWNNK0uT8GxtQkMDM8d9mUUG3D7PjTY,9640
jacobian/verification/__init__.py,sha256=IZtUqqxuuA7f60NrpnlY1vhdx_AjJuMVCzhc3GaqAX0,284
jacobian/verification/_helpers.py,sha256=hNVpALGUcDOZgmvi7GaOad8F-Czvj-L1qGVZjEZdtes,3576
jacobian/verification/service.py,sha256=VF_OYUM-oTaMCt8SKPRwWr3GmwC_FuzOJsKV7o3AUgo,54743
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/bound_artifacts.py,sha256=_rvTVj870quyyfcX_BCniSp9D9dEBEZWcbUK6OB66oE,4722
jacobian_checkers/certified_snf.py,sha256=NFfdJDcT_4SAwpfhc1qR3GzfmcLpb6yixCxUYWgo0LQ,10846
jacobian_checkers/erdos_straus.py,sha256=yvX4_G7gW1CmTo8PnXuiiK4C5oroMrYlZy1zFhZBK4s,4305
jacobian_checkers/exact_domain_operations.py,sha256=2k0mYHPOKEupoYcyYneqO6l0dtSBVfzeUkJ6IIINtLo,35211
jacobian_checkers/exact_geometry.py,sha256=qk5ruyZV-6iLDZdeZSXcN6LErGJzLcPK7CQA0kcwMA8,23676
jacobian_checkers/exact_probability_operations.py,sha256=LdHGCrZwZ8pOyu_Me_Q4SVbI7Lp5I5wbK_jd0SgxLxs,25276
jacobian_checkers/finite_coverage.py,sha256=wc2UHwHu6uOet7XuLmHWOvBJlbt8VGvGY2pvYmE1Csc,16957
jacobian_checkers/finite_partition.py,sha256=8SI1T27UIp6yzbur_9UfT3wMJUFOlh69L5CkaU2nG9o,4155
jacobian_checkers/finite_posets.py,sha256=2pUYz2D6up3maGs7fenf-aIiPOw7Zz9nr2pnbf1quQo,21280
jacobian_checkers/graph_coloring.py,sha256=Duo2tRd9g55JW672n6cvmXCQhgc8sUjr-u2H4khFXDI,10266
jacobian_checkers/graph_degree_sequence.py,sha256=3SqllSrwCsxaSHwIKlp_6Rt39kUGl4wu4u3EFO2seew,8497
jacobian_checkers/graph_exact_operations.py,sha256=BRMqmOL8grmm7EQm7NDQ3oRPJ7Reuc6rmXEnN092-sc,40427
jacobian_checkers/graph_invariants.py,sha256=P_sMbtkBOTkkMjeW-IF3ysiHp2r-xfyYpw7B0ND14CM,10131
jacobian_checkers/graph_isomorphism.py,sha256=7a2ZSU5qeeiOP-ZaDZosuZBZrZ9tJHBCUet4dCp_HZo,7341
jacobian_checkers/graph_paths.py,sha256=82nBN1nGdhnkSI73Xm2eLaDY5pB1ny2wtoOMCZncJ24,21088
jacobian_checkers/graph_shrinking.py,sha256=Vzkj9R8iPpjvt45jgsUKpP2ts6sVY74tLmX-SLo0SCM,3947
jacobian_checkers/jacobian_syzygy.py,sha256=ucGJcGNPbrfOnPrx95Gme6YZhc8cjDm7vAgdb6gnpo8,20618
jacobian_checkers/lean4.py,sha256=_SbFdJaA03abG5vgSyznUTfzqF7ugaOR6FNTnfi9tu0,18199
jacobian_checkers/linear.py,sha256=ZSazrckfGFj7WFagPO82gStACiW3Kic2Jnj_70oCG10,21728
jacobian_checkers/matrices.py,sha256=3FmUBcm5TAwcoLZFnky1GjlCCcIiTfpiidEjyhJBawk,20952
jacobian_checkers/matrix_normal_forms.py,sha256=hXJYWyHlnMeYyS82NFC_03dOMvwxrsxzliiCZvN_LSs,14635
jacobian_checkers/nullstellensatz.py,sha256=BKeGP18m7PMkFJvmMrYAJrFrfxSQjDgkEqVosv2wUDw,15297
jacobian_checkers/polynomial_expressions.py,sha256=wGz5yd-2sGs-6UqcJ6mOzRqyyUySlHO2JGb6zgR6PRs,23280
jacobian_checkers/polynomial_intervals.py,sha256=yYavd3XlOmAwMkVds9tfa6BkfQMfVxVqrdVSVIdllUg,11998
jacobian_checkers/polynomial_maps.py,sha256=6IN4QZySGuXOqneVGk5C5blJzcsPw4nWTPPYl1a1Zkw,37004
jacobian_checkers/polynomial_positivity.py,sha256=-X6EILIvP2kLICLx1GqmPYXY4d56TKhFW7aLshJbT3E,14054
jacobian_checkers/polynomial_systems.py,sha256=mF6PX-bqCMIjT9ALFLgmV05RGM3slA12gSoaM3BFI2Q,8849
jacobian_checkers/polytope.py,sha256=wrYZpUHce6dj6Olpt1lga5XsWqUMeXEvA_5oM9WlbWw,10952
jacobian_checkers/projective_arrangements.py,sha256=i0xrlFfcdLcgXHMl-KSH0r4IG8k7TafkjNb8VwVd8Ok,7128
jacobian_checkers/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian_checkers/rational_determinants.py,sha256=Y1bsZbkJR6W6zuERuCKFb6fg5ve9EIeKvvSQauHAVag,15750
jacobian_checkers/rational_functions.py,sha256=UpR-ZBwfZtTK-vv0KHPf_T3NasVZAp8SJm6X6WgTo50,8247
jacobian_checkers/recurrence_series.py,sha256=Sh6BnqAt_7tOi1zwk18oxK_3WfXwOf6VSA7qQh7fhew,10567
jacobian_checkers/reject.py,sha256=AbZd7P29UG86e8zPUSvFUmhPYH0-Dk13GomY76tQCos,450
jacobian_checkers/sat.py,sha256=BQG3ba64dmHSB5iDRb0oNQ4PsRbf_DTHST74lEBrjQ4,29155
jacobian_checkers/sat_lrat.py,sha256=OUHWsD1UjjaYKl9govO4u4UJMnnKkC-bygAy48OIv1s,11301
jacobian_checkers/simplicial_topology.py,sha256=PgeFRnKe73Z6pAwq6MUpUaRBdfpslR82K-72YeI7PJA,36020
jacobian_checkers/smt.py,sha256=WNEXa3OyLUu50ct8fHi889CcXmwIsjKYDkpy9cHlT8c,21844
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.8.0.dist-info/METADATA,sha256=uj5EgVx6lfGa5H1iVXf51lGAbeBKfHqwlcwJZhse5i8,15974
jacobian-0.8.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.8.0.dist-info/entry_points.txt,sha256=5RLr15rmZ2Acl9Bjv357UdA3776IzJ9E_6n6tBzeEyw,92
jacobian-0.8.0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.8.0.dist-info/RECORD,,
