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=LBPJlvJWeUKYr5ZOzDfrod6B3Pf3f0EFxmHHmixQT60,36067
jacobian/builtin_capabilities.py,sha256=sU29JC4oyUekq4kfsmMBrFxU56sCtAGvVFtIEuYCoLo,16376
jacobian/canonical.py,sha256=ahY9GE0rgnutY1QzmSuCwkbPXX8UTNkXn_jBB9SSOFQ,7243
jacobian/capability_discovery.py,sha256=71UyjbqGuSKCsTj_feWv_WkfS2LKr_n9tnv1DxOkJpY,11106
jacobian/capability_dispatch.py,sha256=gfkzfDqG8bI8zD20tGR13x95RXaBtldzmC6QLvXQzc4,14338
jacobian/capability_errors.py,sha256=QjCRTQHk1j34IYEM9hAAKNpYRDwFoa3sD6hGYsmeYOw,1233
jacobian/capability_registry.py,sha256=8tHzjgpSlQEJaR30n-9kRlyi3pMafPvKj3SsZ_34L-o,2516
jacobian/capability_service.py,sha256=Uc03hw2tQZlDp_acbphSmVNg2XrWIOJe6tCyDMbe6_I,8678
jacobian/capability_telemetry.py,sha256=Y907qm2LW55JzRSVuNkZyda6SPKb2IOEcyy7pJeZJ44,1414
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=YrefdX83IBiXtMWO1fvbuu0x-VqxbiowRNHKTvqtpZw,5822
jacobian/claim_decomposition_capabilities.py,sha256=9jwxlWmbfUqqikkFxYjjjvrMdIpgTxd8LZAfzQfW1o0,12140
jacobian/claims.py,sha256=gtWp05dcg8i0ohx64hAviEK33tLcBD1VT898MfJ9zAY,5275
jacobian/cli.py,sha256=lsCwfnydASOTsxhLN8kIQG49HLAnxeTqb0leXCIVwK4,26810
jacobian/conjecture_ingestion.py,sha256=sn6qxAdXQmbxC1Q2xqjYjvz9nTmmYSOrtkJWPBxG40g,14658
jacobian/conjectures.py,sha256=8WBQNHwBXDHEQRaNSVTIo7wT3f6ozLXzXW_Red6GDTI,36308
jacobian/evaluation.py,sha256=Tl9-zuiCYVOJxZJE4Fhq5jG3skpcd622oLsvIVo4X-8,14882
jacobian/exact_domain_checkers.py,sha256=PZYZ9wtFMUFT2Qdz1Rjv6wLx2a8vAShli3SRyasqo8Y,34906
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=skRtv-RwCcViTaXe1NtTt9YIw7vLSxVY7PN-Nwb9FL4,11024
jacobian/lifecycle.py,sha256=juiBQtqdMrs2g9LZCZIlDUgdkiuyE87oOHjEFFLwjvg,1453
jacobian/operation_installation.py,sha256=7HWiIt8BXlrjbwtKgswqdEols5HSlsohXxdsbl0seOo,22039
jacobian/operations.py,sha256=bsKJlizzxvKc5Hd_4iOCO9rob9AQmFd63IFBl5HKAjY,11175
jacobian/plugin_conformance.py,sha256=kTZzeuR-0m2e-5pFjztrr10JXvxMQBVTuGgZhufCOho,11314
jacobian/plugin_execution.py,sha256=_ueUUS-cdYMRrs9F4E43rasADaI35loVi1BcS-ZsTQc,10848
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/process_policy.py,sha256=J_qdqY4FY4NL5RXjpwFovurEifGEGO6cc_Clf2TCqys,8918
jacobian/provider_measurements.py,sha256=xEAjw4Y5ItAAq4tyPzY-WAaKCmgc8_iUejpgw5-92yY,12442
jacobian/provider_runtime.py,sha256=sasucaYq0DJhD7q-4JbzBYaY5mN3HvRTAhuz-79FlG4,24176
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/reasoning_log.py,sha256=bwbpLOdicj1J5jHHY_PmZ2X3G99KlDP1qU2QKAVnbVA,21182
jacobian/references.py,sha256=Kr89FjbOlJNzHN2WfGYQCUArOz8jViBPlqFrQIYChEA,38451
jacobian/registry.py,sha256=oTTDfm59nsjCDnZuHA600k2rh681p9wDNHJ9eiX5W1c,23163
jacobian/schema_registry.py,sha256=wb_84QyOAGu_GeIFJFEekWhpbwCGJa7E8HHHInJhYdU,12817
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/shrinking.py,sha256=bAjGmGw5gTnyPGZlK625UPwDLwsZ1EnHSaexNLSd0n0,23649
jacobian/structures.py,sha256=8YI-ogsRxteK0RZpmXSaJ7wUivHMuO-xmLschZUlJ5s,9049
jacobian/sympy_polynomial_normalization.py,sha256=BvyDrk7-LAVOJD_pEU4cgYOwH6CHR3P60cofnfTzVnc,20570
jacobian/sympy_polynomial_worker.py,sha256=yfXmF0U-uk6PAR78xbQDQFr8rsXJktmxIvs_PmwzAVY,3980
jacobian/transformations.py,sha256=hWbiUvFTdaMbu6gC9nl5D_ciuHpp7kwphoIBvbjqe30,12301
jacobian/universal_algebra_capabilities.py,sha256=7djJhwR4XdiH4-v0wI6Av8LFGXJbOicwDRxk6x3Td_Q,37160
jacobian/witnesses.py,sha256=hMoXOo9zbXE6URi-Fm00x1zSWBie3hRiDIBX-zQpdaE,14079
jacobian/worker_environment.py,sha256=JSQnLfszDdGUNB6jBHGt0jxXhP6qfyqTVnjSVGIAakY,1919
jacobian/adapters/__init__.py,sha256=h1dX8D2bBYbFWXDfqELF-SGEj5yMY0VMqyzL3eOHkCI,51
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/cli.py,sha256=wlaQGFY5fzRWurwWTk8yVaiGnYdz8A5bcd1cfDUXhiI,8899
jacobian/adapters/mcp/constants.py,sha256=EsqY_EVxcZWo88ReM8eImtw2vDezuZWB0NPeqGiRFA0,722
jacobian/adapters/mcp/context.py,sha256=eVHUoCaB59HNlDm1Jwq1HPgOSojj-ck5eeZOybcnW10,7549
jacobian/adapters/mcp/guidance.py,sha256=Ti3NxpU7VijK4VzSXX2tQHrj_DwgREamkOIkSN8PnyE,13553
jacobian/adapters/mcp/projections.py,sha256=GPrKH2b0bbHwf4YK3kKJ1WpCJlB00eBxL4a9dP_7G1U,17023
jacobian/adapters/mcp/remote.py,sha256=acFA2jqzkPWT5fOnO8QgBxXqQxvjhXWPKOMbmGGnXxk,14705
jacobian/adapters/mcp/resources.py,sha256=JkWwofIpnSWqmZfRbRWfl9EhKcagLSOmAHvetPBS9vY,7847
jacobian/adapters/mcp/server.py,sha256=hDqh_htT22EJ2HfL2bhj2B2dD3vuoo785iyxvnEo0vY,16604
jacobian/adapters/mcp/tooling.py,sha256=cizDd9Ymgsr5cMkPYb_A8sbkF9Z9FTbwspIbCnMcjzc,11537
jacobian/adapters/mcp/tools.py,sha256=RWKD0CHf2FFw2yYSKEsQqRg307tRr6c-A_xWuIz4Omg,16760
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=Iw5-JzEHNlvf41tkuAIE4Ojc5d3n5EiaLoKVWsZpfmU,23050
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=_c9TtU-aq7RpgtRcZNU59PC2igC5L-DnBy9Z78scu58,34885
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/nullstellensatz.py,sha256=Q577jkEGTfLFKJPCKd4DRJGSRg0SxWro3cxn1PuyrZA,11513
jacobian/contracts/number_theory.py,sha256=fFXITy4Z8dl3E43JSuDHDaF4k3lpksBjgg5dndWBvHw,25256
jacobian/contracts/plugin_graphs.py,sha256=Rb6dDk8NUjblQNA1ffE37IR2e6kx74cYbKEY2jF7SGE,7472
jacobian/contracts/plugin_matrices.py,sha256=CbhhgpPpNKEG87JI2GtqZ13ZTCmTxjQ2ZaDEWBdCb6o,4532
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/reasoning.py,sha256=r2eadyg0sQkWYLLQiJOKs4aTlItJYIyUM4wFQl0ego8,5063
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=ayDludcAIHkN0mQRElh-sAn2D-coPz-9xcBhZgnpgtk,7050
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=hmeKa2xnpdWhnbd4orLxnBOcbqf4Ey0EUKahqK-xMto,568
jacobian/domains/combinatorics/bundle.py,sha256=yAZKxIJVLezsuTKgtCudI26tq6fbVU8zNHSgebS3xXE,3004
jacobian/domains/combinatorics/checkers.py,sha256=ziXTrsWrM7YSlJMbjc9erhDx3JMSfPDtx3WbuBL33Vc,3198
jacobian/domains/combinatorics/counting.py,sha256=72gvCklNE0yi725Z6JQa3uoFeq4B8Qmw8nLBD5-Q6m4,5119
jacobian/domains/combinatorics/difference_sets.py,sha256=edegUAsIU2emwx366LM1eMmBD_1QyBgkYxY7PED_1E8,8705
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=agKtlGzpwJ2RigfYd35mgVd-pB5qCkBvDmlcrrK8NjY,3125
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=GlnzBtwYGINWGWjbdsDlShDOgYjh1nfuGEd4_RN22yI,6128
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=tQV_2VMcAE-BQu-He5KKp_mAMtruAt1rJuisYN4vfqM,6028
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=XdtayOPVG66wy4cLgaOLKTzo3OMia9XTjqPMPw5f6Pw,10647
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=rIzhcWkyr8epLwN-IWDV46Df9WPmy6BjxvezR8XijIM,6410
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=KrF8JGuWyKCNxu1ocZdmh73PduahFIp4liYWlzAm2m8,7260
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=LCwPD35kAAVfSHSm3sNf_NPHFupmxo2gAF2h8FUE8yo,21911
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=tJVjs7ny3w6vqVUVKq4QVS39dxGZemqeUCzMQhLh7Wo,27142
jacobian/experiments/__init__.py,sha256=KRRaC98InBGHVhmBoBQR-gM5grmtijY9Z74f8CQCb_8,258
jacobian/experiments/_helpers.py,sha256=nhlNEndzBWEu0cb30PD1SJMivWCZW6krSMhzGeiTQlI,2044
jacobian/experiments/errors.py,sha256=ViQ0Z4dvBxpffBh7BGkfNLdTBYJ7x3pgHQT5txvieGo,533
jacobian/experiments/service.py,sha256=fgew3FccYmwdAffr8lIGUl58hiAO_iK7QOqpRJx8fHc,46955
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=hMaFQuSuQLNXGjdgXjVU0r6rx7XXhwtJtjFd9y73R-c,11644
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=_-_qYNRongfBK_mL6GMFxzWA4kVcnFerr7wvV-Sfx8s,29538
jacobian/lean_frontend/exploration.py,sha256=nG3rvSn4OtftBVnamKvoA3zOk1pYvGZo25uG0ImwX3c,12731
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=54BuJcM5E9lbIFxkEV7Ak3cSw_lq8Zkry-oW2E89E1I,14498
jacobian/lean_frontend/service.py,sha256=yifSDuSpoMsgwc61wwKI27iMYl-OT33yBAn2zDb_x9U,11467
jacobian/lean_frontend/statement.py,sha256=dJ8W8Htr9iAGz2xIimBSJnr264unOlBXI1UBcT6RXcY,33920
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=sbGnQKY21KlXaj08J9gcyjNHHIE88Vml_eqYygJOmwg,15723
jacobian/matrices/flint_hnf_worker.py,sha256=b2X_9MsSgYypO8yLFqL6mFzLURXbUDpEyG8uAYQXh2U,4537
jacobian/matrices/flint_linear.py,sha256=9fmKWZPBsYOLF6xqdXQQORbBydaAi3JL7NuxJr5mYZw,30766
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=tiuYQxKHVr013H6lrj4SJ2GwfT52WoVfIBklWX9kaUU,714
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=KfMngJExkya37wsaQ07GTd2iEX-X2XudNfo4-KmdQwQ,17619
jacobian/persistence/recovery.py,sha256=T5fInzvzRuWehoJIpbEttHIGSxkYqX8v4je6vgeowcc,3352
jacobian/persistence/state_health.py,sha256=t07g-A8_VBulqRcJiIVBzUVq9jgI9Kno90ekIE0eN0k,8482
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=VN_A8VQyRwots0KgH0M4T18bhjYm4oTjyXk6w8Mfewg,9321
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=RHaFitC4Pi9arDKqPJVRNMaFFaJJBBJu4cWRzAjUQ-0,13374
jacobian/providers/flint_runtime.py,sha256=hTlwD8XdlYrxsoj-S36hjFniRcCgrZ_fZQHNtoftLQU,25841
jacobian/providers/lean_runtime.py,sha256=sbo7TVmtK9qh9-J7KESw2WHl-FKxWknapQqrDuLqt90,3157
jacobian/providers/loader.py,sha256=YerL4CDB8DHvWvFoJwRcwwMybB1mfaY09qS_lhsP2y8,8056
jacobian/providers/metadata.py,sha256=Rgi-9W5qCCCecOPWtRBzKpkdtANUKEqhQBJkRRLigLs,2487
jacobian/providers/singular_runtime.py,sha256=LxvvLVDM6DtH8lYb5U_fq67LdxfmlkPdVApvlP3BzM4,3316
jacobian/providers/sympy_runtime.py,sha256=3HLWlQnbJ1IhbJVa4YsNgRFfPo5a3qKxFK1gZOpHuE4,1709
jacobian/runtime/__init__.py,sha256=bREYY4tOvBKsjqlXhW8aSDZCpuL7Pi-nsTtMmLHO2ck,1202
jacobian/runtime/bootstrap.py,sha256=2E4utON0oPgv_K5d1h_MCIStI4NI64qYSEzxYqtoj1E,2894
jacobian/runtime/config.py,sha256=OolyM6hZOl2ir5Ls1q9HvaQFTbxKpBrAIz8Utx2KSAg,834
jacobian/runtime/model.py,sha256=HlNZAME1ivt2DInckv6id4VveeqtWkWrV-7-gQwWhxk,2523
jacobian/runtime/services.py,sha256=7utTYiCo7Icy37IyPOabbcTFUIzdb7v74mUyOv04B34,6519
jacobian/sat_smt/__init__.py,sha256=EhB-CMrM_EY-vBhY2oSxDixRvdXzxqi1uZUU_I6QOJg,789
jacobian/sat_smt/cadical.py,sha256=E62tEpmbbd1RiD7Nox3Wi0PbQ95MxqxUC-ytv6AIjPQ,31260
jacobian/sat_smt/cvc5.py,sha256=XoP957160q0wd7dUuMHJeAmB_JHgdImxiX9IEboPbvs,21317
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=l3FeENfQST6HBQoNHoza7hp9_CSuYKhHEvU8dWBGWSo,31321
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=QCjTM6QzAw4FoS6Z0OYhGIUF1l145VXtTa3Sf-y-4ic,4844
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=5fXHGek5Z3UzuJzxaVtrvHfQrH6At-ITiDk8aiY1JbM,49130
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=RqKlt01uzlYRdXksF8CHZkfH8vaChSySYPp7h1yVPTE,898
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=AVz0uOFfLMkjNgaTkpnjaSfDa1Y2E7MyC75pEh5LXwg,55056
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/additive_combinatorics.py,sha256=cRrbM6hNKLjisyt6DNMdujCOr7u1QV0d4UEzXWKIOy4,11137
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=1Kfk9z-5yDMKd3OW9IKt_eZT9Fk2AEb8A5XCcqJNBsk,22608
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=D-cqrQfUJwjKXT-EHvBsmVx6J0XAU6vwgtWbegqzUys,26743
jacobian_checkers/sat_lrat.py,sha256=OUHWsD1UjjaYKl9govO4u4UJMnnKkC-bygAy48OIv1s,11301
jacobian_checkers/simplicial_topology.py,sha256=PgeFRnKe73Z6pAwq6MUpUaRBdfpslR82K-72YeI7PJA,36020
jacobian_checkers/smt.py,sha256=LwQkYlovmoTHQnk9pyXKXq76BFPJ2mA4w6yR_otXwkc,19359
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.9.0.dist-info/METADATA,sha256=yETDEY2B9zcUx8vPoVQDsr5GaPwpW_Egqd5QfXQy7BE,8167
jacobian-0.9.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.9.0.dist-info/entry_points.txt,sha256=5RLr15rmZ2Acl9Bjv357UdA3776IzJ9E_6n6tBzeEyw,92
jacobian-0.9.0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.9.0.dist-info/RECORD,,
