jacobian/__init__.py,sha256=rZt6DuGD9hDd744rEeMdtsgjHH61Kk9TT5XEX8gGCqc,145
jacobian/_lean_declaration_query.lean,sha256=nODsckuzswdUw52HoE8Y7VWy-MOC8Q1o-MGXXbd546M,17395
jacobian/artifacts.py,sha256=hcExb110Hm7n5j1RUvF0ixKcW_PZcb5x24Eq5OsHJvc,4066
jacobian/atomic_capabilities.py,sha256=APkp62xDGUmy-6z3GuvTgzr1rPyxVUI8UF0_0Lnbp6I,22193
jacobian/atomic_capability_builders.py,sha256=tIpon9wYllU1bVbgmKnpGI8xULsh3rdmrXaTWL64j5Q,522
jacobian/atomic_domain_capabilities.py,sha256=_QsTi-jXfnxRR23jfGmPz6ucyu-VA0N6nn8dziKXJD8,5981
jacobian/atomic_experiment_capabilities.py,sha256=JHqKUCfnVkslW3mwBdR5CEDIrx3bNlMM-oBVOhq5hnE,6103
jacobian/bounded_process.py,sha256=VS5NO3sYpcggUKogbmFs-g4-21cm2uIzwBq9nZl6Uwo,10356
jacobian/builtin_capabilities.py,sha256=71M71f5AZplEdrlLzxcXShgBEhrAd6U2IGdKuhOYJQg,20593
jacobian/cadical.py,sha256=gLaq0q-KwfLy72q17PaYUl0sK96Zb3s8dkc33Vxf_e8,31057
jacobian/canonical.py,sha256=9ZwEX_BNUrpu0gkKwFbjU3o6dPvUBiB05sh7AabFd1k,5830
jacobian/capabilities.py,sha256=a6pzHUHTfdJ415PKpoo4Tcn9C5gywwKttoJqRQduu7A,41102
jacobian/checker_artifacts.py,sha256=qQxlRUGDlQn-mKdm9nyEatgM6EWdfeqQTINiO7m3Qvw,2671
jacobian/checker_installation.py,sha256=JySJ_SpPI1D5Ma8Rnco6YubpeE1BCKmNRumNqbq1u9w,2633
jacobian/checker_operations.py,sha256=OFkS7tOptkLhJiZs-l3fFMy2ckb6AQAsVVCXO5VpPtc,3894
jacobian/checker_worker.py,sha256=MvxB1QLjlR_YnBSLV0fRiNXdKDltzuqjU41M5Pfv26Y,4593
jacobian/claim_decomposition_capabilities.py,sha256=ikOhxhypj1lqAbZWYXV_WVGY34m5xpRufwdszSKIK2Y,12065
jacobian/claims.py,sha256=riskkZlFuOQKDwuf-ujaVi5uk_2f0ZED21YI8bY7uGw,5231
jacobian/cli.py,sha256=yokqMuvhIx2s7gEthrFPJ8EoIjEyZY51wEtt1bnHv04,23453
jacobian/conjectures.py,sha256=8lVkpPf1kU7Rz7FruZ-tf93atN82M_McoZbimxs19VI,36245
jacobian/cvc5.py,sha256=BlNq-7mOW3eL3HVnYLk-8jhNWZFk6a-sUGDeBHGLjHY,21098
jacobian/cvc5_worker.py,sha256=q6at87iwytr5-EWuq5naNtnX5e21_KrQkuC83pEoqC8,5741
jacobian/eval_graph_oracle.py,sha256=kPyLxT9ish-8_QcyHlp0i2Ui2t7KlHR5Sz5qPFd4Ewo,7187
jacobian/eval_telemetry.py,sha256=3q0JAPGaprlXgjePe1zEFG_du98EvKmNxPxemOITupk,11131
jacobian/evaluation.py,sha256=g-CrwA6HRNLX7j1jdSpta2Llp5rrTwuQISEkzr1NKoQ,14789
jacobian/exact_domain_checkers.py,sha256=N_tqV15lX9M1KZyyofy0l-yHAeFybRsKxYaLD0Hksws,27881
jacobian/experiment_router.py,sha256=izzr_ftn-TCmGNKQMoTotH55ZRoYvFcpcTSb7O_AWLw,2128
jacobian/experiment_runtime.py,sha256=21490XMVX1hVscMHsMHiaQKINfq01DlnwXGYI0UEMiA,601
jacobian/experiments.py,sha256=7qJa2T7f0YXlAxqWvAfOpU6HTgFvign-qmkB-RsLR8U,46248
jacobian/finite_coverage.py,sha256=lx3vFKw6x0ZcwB2tDqZ9Xbkfy8GeLakDk21jidzMv1o,25287
jacobian/finite_partition.py,sha256=-BXsVbyacW67B2_HgxeezKhPM-FbJwpi6N6jL07sErk,19300
jacobian/flint_hnf.py,sha256=OVFIklnn2Yws66dnLNGeoIaVI_SfFmq6wvr-tv2UgiA,15139
jacobian/flint_hnf_worker.py,sha256=c2tEb7ijUmgj0S-pgIzUjaf6W9l8ZIIffH93CiIdpHE,4833
jacobian/flint_linear.py,sha256=I3RzEF7ydg_ksPvRUtV-KsKPsYJeF26MHB4NINtvOKw,29124
jacobian/flint_linear_worker.py,sha256=Fm2wQHuuRpaC6UHEkDgVsfD_wKNFNL3vn2Gn3oFHwH0,8797
jacobian/geometry_verification.py,sha256=bkaexBkmK4ErPwyQBy8zYwFiHGXUqmO5wtJ7gQFpfb0,14508
jacobian/graph_atlas.py,sha256=44lkuDOZCWlG4Ef6Djte2PF_4FK1tcld9EFhTPEarfg,829
jacobian/graph_capabilities.py,sha256=ejAS8kr46rNI3LYxnw9Q2lqb5YpfUbgQbHTkk6YgoWo,63873
jacobian/graph_coloring_capabilities.py,sha256=Xd5cMxQpY_Nzat3Op4zBGi4a03Zw_d7jGaaLXaiHkL4,12564
jacobian/graph_coloring_semantics.py,sha256=hxsWKhwlwGnQ4jrwvrgVUkB-wPum2C9lVAMjwtlDVe8,1827
jacobian/graph_composition_capabilities.py,sha256=nhRDtQwnPOFxJGvFZfABhmAg-fMAgAH-yU8CJknnzx8,28284
jacobian/graph_isomorphism.py,sha256=yWZmG1Ffl_bT0j0wvMn1K8knX1eqMAVdwDmxflRJb_c,17034
jacobian/graph_shrinking.py,sha256=hzZTESDYY9wQ3s_PsMNwt79FjHiOpYToeU6MPwkghds,21427
jacobian/implementation.py,sha256=LonP5pU700yk6XJMZvOoEiAyfQhoC3UDn4pT86M3yA8,8939
jacobian/kernel.py,sha256=yx8yFnq76tU4Hq8xUF0QJL6bFFotUcb3EqnOL7f73T4,40078
jacobian/lean.py,sha256=ycG_8JkIbvqkCxTcqS_32QUDq73imnu_iiAvnGKU8fI,10579
jacobian/lean_declarations.py,sha256=yNxet1YO8J_VsdCddrVEBnKh3HWT2BkflhltLjlzLKA,28461
jacobian/lean_exploration.py,sha256=dRQ5fBBInGQMFiQVl4ZIfaVMWn99jGGUtPt1iiC4FCk,53066
jacobian/lean_proof_edit.py,sha256=vKN_oHN4fUe5C_dpiy-5r40TBvzF4k0BSDtD9zbAtcQ,10174
jacobian/lean_statement_capabilities.py,sha256=h6H3gWg9fQ_lERKYJr-pkFkQQPBYIQYHsVZmJD0oTFQ,30121
jacobian/linear.py,sha256=5NCx6tKxaCqbcKZJHguWb83IdTyhYWqP9NCtNeFIXio,12764
jacobian/linear_capabilities.py,sha256=1sm26I_Gac5XCCQjKEPc0l4ZwudqcGkri7NIhOxz1uU,25221
jacobian/matrix_capabilities.py,sha256=osYwMncr_WA52lvDXahPtP9stqKwKDwlViLRncBAMv8,13330
jacobian/matrix_determinant_capabilities.py,sha256=QvB4ZC3DZfKNLjRO4VOvFkeY_QFZA5hwbJCR13CzsZc,15530
jacobian/matrix_normal_form_capabilities.py,sha256=VpC5OVV9pHlWmCtQMCMw1MLmWjnLOleuNSyLsiW5bns,13139
jacobian/matrix_normal_forms.py,sha256=qhudXdJsc7cnfgp3NS6mSNyGcyJjx9fGMB6j-P_-k9g,8848
jacobian/matrix_rank_capabilities.py,sha256=NAMsB_31tCc_LtcHYtugrniUr2k7sgmYqzjHqg1L6z0,10984
jacobian/memory.py,sha256=gDlBi7-aG5HGMucPH0rOGT5FvSmKwDO_UakopWHGeBI,17773
jacobian/operation_installation.py,sha256=fGbPtOq8K5WaeKDTjtLK5t_V0Iy7YxJ-1BBu7Y9GVxs,18055
jacobian/operations.py,sha256=ECZUGmM8VjOrJjoRFoJLOqu9uHqQw9RZ9b6P5dZT9ms,7153
jacobian/plugin_conformance.py,sha256=-EL2WCcdsdSu_456EWp45jAWAIGk-E1e5FH2dNAESO8,11230
jacobian/plugin_execution.py,sha256=Qt5HFxWycd-wUgCo5qf0zVBjHMLAL5cDxJUnOtBskHU,7123
jacobian/plugin_worker.py,sha256=XVXaAdfkcty_R_XJC1Lje_V6e4fjKDvNRk0Qj2m4VEc,2747
jacobian/polynomial_capabilities.py,sha256=pRhyIi6W6HJmQcjp7G-Deh_tKuNo3SxNUSjuoo7RtRI,117547
jacobian/polynomial_expression_capabilities.py,sha256=Of5CKJ2o6O7RMy8Q7ZpCE5YW0N_9hJ-jZOHsLVkGf70,14861
jacobian/polynomial_expressions.py,sha256=gExeoyNc3Jgo-PHwf3X6wrrjHmT-vM7jhtBZLyRfpa8,10646
jacobian/polynomial_interval_capabilities.py,sha256=rDRTCzKCpog0GfM9k-8bxLMQFYddr2Xeo7EebGxdQo4,30001
jacobian/polynomial_positivity_capabilities.py,sha256=vpCUZ_hQEFpyyn2AVgPGxAtLI-A2GpVtSOQUb5WWJ9k,32089
jacobian/polynomial_system_capabilities.py,sha256=_CbGlIm264ZWJQDeKrHL3WxFfJIq-VyAqc46dwdl42Q,16669
jacobian/polynomial_system_search.py,sha256=as9x-vlOUbNBMWl-uAmZZz1X8QWtNuCjLVnxYvRIjvg,6469
jacobian/polytope.py,sha256=4RlyA3P-zUZwEk58xqcTJCnv-KvjgDXKWEJ7oCfBED0,25861
jacobian/provider_measurements.py,sha256=A6DPxZPkrMU_CcUp1ZAFgbEwa5aEWmwWcqieDptjdwY,10696
jacobian/provider_runtime.py,sha256=jU7jWz7GM0kdPZ8OtQf8DvTu26Jn-4MLA1yMYxNALtE,49343
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/references.py,sha256=3C6xGtMkCX7iWgzMhBn-LY73c1ZiRfU3ocNTCtIXCGs,37870
jacobian/registry.py,sha256=9SXyd3oFrwdfvJoAh22QOtraQbHRWrmkfhF203F8CUw,25684
jacobian/sat.py,sha256=F7EIr7Ygu1bIUpTvZtqkTfDsNzODXtFCamkbV8nIvto,11301
jacobian/sat_capabilities.py,sha256=83cOlSxje81qG4FDvV73zplAVt4G1pqt_FN3kZWLhsI,30734
jacobian/sat_lrat_capabilities.py,sha256=YY5JioVP3TgcsO1CNKh05oYAkO-jDH9kek1OdvNS1Tw,14050
jacobian/schema_registry.py,sha256=R1s9wcj5bKC1yC-pOUUJKVfZlzH0EsQesKDt65m4mrk,7574
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/search.py,sha256=ChQf6c2P5sTyqPwalNRLacDXltBi1SYTl4fVxWTMv7Y,84018
jacobian/shrinking.py,sha256=Ac_M2LqvrN2q0vhbgGHgTz22OWkMB2qDRFssQylON2U,20293
jacobian/smt.py,sha256=nD0pPl7DSBH2UzMrghPZkaNYVqmA_Msglg8Hqk8rZas,8048
jacobian/smt_capabilities.py,sha256=--LIJ43P7iZX7z5GcBWDHfNuQLgCllzPQ7n68WwDY7Q,12938
jacobian/store.py,sha256=XnUsl0iJaISnpoBUHXIxn1XYZx1HAQc0oE5C2A6d3Z4,33787
jacobian/structures.py,sha256=UvuGQWv3FFydXB9oL3aQXUsdCtvWt1eaRpesrl7zAk8,8993
jacobian/sympy_polynomial_normalization.py,sha256=LCRDJlmhoH5pMnOtHk5jJfEwNBwCVg9jqLgQgnVdSw4,20403
jacobian/sympy_polynomial_worker.py,sha256=7P5rl5KSjargpjp2LWMvt2YocVWlSzcbr8_lxVfJUdA,4014
jacobian/transformations.py,sha256=gQBSZEEy4vCFKIvcFe1Ur1p3p4aBeWBscbpVJUDWGrI,12245
jacobian/universal_algebra_capabilities.py,sha256=9bE8frb8DsKmNMZH4cfVAHZoZc36_kDuN78X41qXcBU,35808
jacobian/verification.py,sha256=gcJSfIL8WSSFC9udpRXsYbS0NU33vCYDugLIxYyqlRY,57277
jacobian/witnesses.py,sha256=lTLn0bXyuhDq6gBFI76NpfzSVuiZDpiWeC__71XihAw,14033
jacobian/worker_environment.py,sha256=Ct21vWHsXB7ynoC3MAX4FJiFUAyWkVhyGCoS4s2RUFs,946
jacobian/workspaces.py,sha256=MysoWsdtO2VEc2QYr0t7OwuauPVvIKHm2_oDtuXwTv0,66036
jacobian/adapters/__init__.py,sha256=IypJBCxlFCIYkPmGT1drlQZ_F3DeEr6_0HM9t1Q4IgE,50
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/guidance.py,sha256=sVE87BXmXGmkx0Z7bnsWe-tbE-7iBlsnp01gsdenEWQ,11508
jacobian/adapters/mcp/remote.py,sha256=coc_RjYhTe4kd9xTWKOqqhzoVEVeQ8pBsLag2o8ceo8,7881
jacobian/adapters/mcp/server.py,sha256=N1ceL_LAnvATlM-zIJJBTrHH0itc7N7TxyW1S7qRkmU,65508
jacobian/contracts/__init__.py,sha256=WDiMQw6SEV2uQtlVys-CrZ8vMnmKmNsm9JvLsCD5A0M,509
jacobian/contracts/arithmetic.py,sha256=vGyQYc8BuhB45QOFiQA69OE6Ex5KQ0CVB43CChyAbq8,3818
jacobian/contracts/artifacts.py,sha256=zWT2mfa1N9V8ernjsmH-w3yYpaXdoz6cpXgfGcWgp3A,766
jacobian/contracts/capabilities.py,sha256=6u_QhZrv1gawcmhmOSBl3sguOhfdcPvNU393YdsMA9A,20964
jacobian/contracts/checkers.py,sha256=udnzvn0DCuO602tEL4BGdAzO6NHSLRXpuAinI1E8rhk,6344
jacobian/contracts/claim_decomposition.py,sha256=JHpZYlSCLQ0o-581bn3ByJNeGapysEEJyWSaw9SfSis,4661
jacobian/contracts/claims.py,sha256=680jJhriQSuQNzZTeuD6fT03uD4h-C2nvMqGk7bcsnk,3583
jacobian/contracts/combinatorics.py,sha256=eJMK0ysV-MIOQ_aCTeO3wXN5X4X8_brnDAXe29QiYa8,3086
jacobian/contracts/common.py,sha256=l2ab76s5caVw2uX9m0QBPVP6tmYRmmaq7LzhhR34KRg,650
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=aTCsaU-qgGBUgwGvC3ymIcGJCxu0_xllxmxXvXqeARc,444
jacobian/contracts/evaluation.py,sha256=RrKoD9kE1pb9POzCMeZbO0I3E6xU60FF0Zc3PTMO7Js,1914
jacobian/contracts/evidence.py,sha256=dRJQ1Ox4lWfuGC9lIOlpHEdzCuOseV5-DLQYqiDdCYc,2964
jacobian/contracts/exact.py,sha256=3iaZKfc-tZaAm5zh8hLSpfWFkcNRpSO7c1iq1WkuH7U,2441
jacobian/contracts/exact_domain_verification.py,sha256=B9wF77Y6iVX5904KkbCR6zW6E4XLpv9RAs1_Gpz03bs,986
jacobian/contracts/finite_coverage.py,sha256=jh9fejvb39XKndIKtwI6hqkfk-gYF1l0l42uclU-OV4,9043
jacobian/contracts/finite_sets.py,sha256=T-AfxctL27zIAWaE9VLdIoopb2U7MWsc2YtIj6WgZX4,1817
jacobian/contracts/geometry.py,sha256=WkgfaG8ZM2_KiaAK17iPQdrCG3FsW1anlcxjfaZFrJY,3475
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=l-quzuZ5cN-feSYCEKDjMJyEowUfoqqNM08MOYuqGGs,8340
jacobian/contracts/graph_invariants.py,sha256=04gASUh9XGCE2me-feK8kcKti89fcWDbTLU3WFmlVXI,8723
jacobian/contracts/graph_isomorphism.py,sha256=h8GDAG5ALBX9Xedo52Iw12xLzsqRCgVLfZp14L8HfQI,2857
jacobian/contracts/graph_optimization.py,sha256=cNUndxEWcZ8bh0dXIKlu9fUQaHYEQXYa6ZEFiPTTlyI,11888
jacobian/contracts/graph_shrinking.py,sha256=KMgR8XwW0DQ9Z6j0v1208GAISShmvGsJpF9j_rEmjnw,4674
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_edit.py,sha256=ztJZOvvz4Zz8vq0v8T_xcZEmDCyVVnRYSfVe7Z4r4pw,2392
jacobian/contracts/lean_statement.py,sha256=KdGrR8wDbOVxbvjohuCbHaq3cWQjEozUzMBryFUbwsA,7736
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=V5N6Y3i-u2iEffbrPvGRgqu2TxvBcYhwuKGu9kbNV5g,11296
jacobian/contracts/memory.py,sha256=ns4pgAVWXkeuk0DEC3ubRGtU8_92dgOuVkdscC6iCso,4041
jacobian/contracts/number_theory.py,sha256=wX1YSJLvY7KPOsvQ2UiP8tshy_Vn9dECY686UrOnWM0,13119
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=gYIpC2CGLsXHWt50mpzOCpRPn_TPiRxWI1tsspBkQog,33281
jacobian/contracts/polytope.py,sha256=eKWCC5DeZlaTvLRNb7BqUUespWxSGx7GFlpcb2iQx-Y,3468
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=APEXDAd-Vt8WCJmbWa2jxP-8BpoJ8gNKjrU70ltpFWE,7311
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=QL23LSkj_JTRxZsHMiNrycrG4BvoRRfck6OfJD3VPLg,2756
jacobian/contracts/smt.py,sha256=Y74hYTegl-KHu26QnEJsGqG-_4lJXDM_0B-S7gkXLic,14756
jacobian/contracts/transformations.py,sha256=tSLFMDcPgqDVfVzlSKbBPWxTp-Z2YJgTwtguKtzV5ig,3327
jacobian/contracts/universal_algebra.py,sha256=JWe5pwRvhdPQGiFYY8-KCLX5UgSlE4jGuuvIF67LyQY,15119
jacobian/contracts/validated_analysis.py,sha256=n2Ms-xINNWgAs66yKInzF4pJUCj5mDcxn0d5YXakP6Y,12953
jacobian/contracts/verification.py,sha256=128LsEZgx7f_JfBj7Xe3uysTV8prigWRqirq4QBySfg,1128
jacobian/contracts/witness_search.py,sha256=DDv88gQB-qMSs4i3OhwyxRAOxbEAcggo7svNgmxgI_0,4591
jacobian/contracts/workspaces.py,sha256=aoTHPsx0EPIzm5-ZpPIUjNdWvKzx1l42sMFy3NFBDiU,25591
jacobian/domains/__init__.py,sha256=Eq045ZX_qG6TvMYKKSonfy0KGfZdkEaDvF1EE3HfMos,52
jacobian/domains/_examples.py,sha256=K5mj4IiODKnhKy0u-QTLF0JOysSDHMXlyCoSjfZvkSQ,445
jacobian/domains/builtins.py,sha256=Ya0AqQqtTNsCoMII7d_eFYGjIqy7bGbmzO4eGBxUj-c,1365
jacobian/domains/analysis/__init__.py,sha256=JSU9cgBZ-Nohbm-j8ms_y-38KRIu1Lbsq1bmzFzCrAw,147
jacobian/domains/analysis/bundle.py,sha256=AdvCEBgNMPvtnP5ofoMQ7ZvBFhZ_DLpWN-RpizefjZU,1848
jacobian/domains/analysis/operations.py,sha256=e6eziXEq04e48nB_7NXclzDXfLw2wpFgn8bKD6VUe-g,6437
jacobian/domains/analysis/worker.py,sha256=EH1Oxahnjzwl9VYtPJ_LCPFCaM2b7z0tBMSJZBf8UaA,1510
jacobian/domains/arithmetic/__init__.py,sha256=ZDCPzpOCdTAcg01MaEUvnLF7p44IOmKmMLcGhbjK7To,157
jacobian/domains/arithmetic/_support.py,sha256=DRaO6R5txxuwx73ow6pLb3VHwGbzYfI51IuSEAc25Qo,359
jacobian/domains/arithmetic/bundle.py,sha256=iEM-elhA4vjL9-XB8y1PFGsgpSQhZI0cKb0YpI4YrWY,2808
jacobian/domains/arithmetic/integers.py,sha256=OBFP5u5RjOBmLYoagulEBFSgyPi8CMIkjRbaEBJ4UJc,3081
jacobian/domains/arithmetic/operations.py,sha256=_F3iUpmicfB92Y5yCnXsrwDIhIvYzmJEwijkWhJtovg,6678
jacobian/domains/arithmetic/rationals.py,sha256=oNr4mye2TyW2qIhj7l2RYRi3Jj4EVBGDJYfqOCRcpPI,5453
jacobian/domains/combinatorics/__init__.py,sha256=hOSjqOoFrAX7FDZX8Fx3Qi5BSTE0OKs311u2gVB0sqM,148
jacobian/domains/combinatorics/_support.py,sha256=8RKII81YkdfzeK8Rbg1knS_aN47s3w7InTZnVt7BLhw,427
jacobian/domains/combinatorics/bundle.py,sha256=fIa6rrye2t8Leeer7UBZR-OXYFPfOixynNlE1yIDsu8,2091
jacobian/domains/combinatorics/counting.py,sha256=oddCdjXiPJ15x3K35Uy3Etr4ZGmsvzkxD2xdkq8Gm8E,3672
jacobian/domains/combinatorics/operations.py,sha256=5dZJyBwUXtj2Tjzv1CGDg1e5zjDhPDP11i-m2yPHTz8,5372
jacobian/domains/combinatorics/partitions.py,sha256=T9axb9tgoIlGIOCB3rPZeBbOaE9qcQSaO3gRsXeoYSU,2557
jacobian/domains/combinatorics/recurrence.py,sha256=fG6lqqFRKe83SSGITctzuw33Fl6Lr7T6RF_N_pGtDok,1866
jacobian/domains/finite_sets/__init__.py,sha256=2gmNvJbxznpxgYWM3e-hrA78plxpnRY1S_2Qik0ZDn8,145
jacobian/domains/finite_sets/_support.py,sha256=B9VhH7x4TCUL1B5ZThtgrslYVlNF7TdXQoz7aFIxNZ8,353
jacobian/domains/finite_sets/bundle.py,sha256=WcfQe-L9S-zj45cqV4LLqriMM8aHjmJ5WRzfmisqRm0,2115
jacobian/domains/finite_sets/operations.py,sha256=tZ6z9KeBxW3IJrcbqjoN-RLR0BSwr1Y8wRkAuswUbMM,2278
jacobian/domains/finite_sets/set_cardinality.py,sha256=6i0ljAfcb7R1YpzscpU41mkjqjo_XeFPgAwLpwuiTmg,1344
jacobian/domains/finite_sets/set_operations.py,sha256=WQTFvP1k2m5LaKunqXBy_GZzh40ldcZ_EAJmFFthwcQ,2268
jacobian/domains/finite_sets/set_predicates.py,sha256=bugMKZ4Z2348NUzlZi94FunCh87poiXIrHsp2KvNekQ,1301
jacobian/domains/geometry/__init__.py,sha256=xnQKLgEKMO1s1asx1VpTmcqGPeFHeWD-LhMYYDpm1Zs,144
jacobian/domains/geometry/_support.py,sha256=2hWR4XB-ZKmTIXgKwunqUeXIiCtu6EnZLYbkT8-PLPs,348
jacobian/domains/geometry/bundle.py,sha256=tmiMLgovwU61MaiAeZHcbf9eCWKsXfQT0X3nVXeID_M,2138
jacobian/domains/geometry/lines.py,sha256=DuUEx6WbhFMtGHlewLq0QsIa2SzAWCTfNUuaI8IngqM,1761
jacobian/domains/geometry/operations.py,sha256=Ny1ADEMOxBeUws4bsjYka-fiu7BdOQJuP1JNgoUQ8eg,6376
jacobian/domains/geometry/points.py,sha256=aM2xomZRS0nWT9UGvU757fAP9l2clPZGwwQr8Q_UB_Q,2943
jacobian/domains/geometry/polygons.py,sha256=K5iTTqsJ1sIH4LN0_jUZdOc0MiajNlxX5ISs3nymqjE,587
jacobian/domains/geometry/segments.py,sha256=nhORQ5LjVDrLMqU1J1esKcmEnqBxzKkF05COAoOktD8,578
jacobian/domains/geometry/triangles.py,sha256=3MJmvNSby52zwqgoEuXxzwgty_IkQ1Ko0MreQWaZkjU,2128
jacobian/domains/graph_optimization/__init__.py,sha256=oSlP9_Tb3_3q6zeBm0pS00D7M5X1fmUL673znt937ZA,293
jacobian/domains/graph_optimization/bundle.py,sha256=XS9XYtoI6SxC-F5ytWXluKrZVAuGKhFF4aAHlBOwR8g,4456
jacobian/domains/graph_optimization/checkers.py,sha256=KoX8mj5QbMHJt_DhidUk3UYqZzuB_RZgQjN4Jv9DQz8,3312
jacobian/domains/graph_optimization/chromatic_number.py,sha256=okBk5r6xmrVRKtJrXl_HX2Lkmb-sij5K5LLIUZry4rc,4685
jacobian/domains/graph_optimization/exact_search.py,sha256=ZRvTjhCYi3bXcagbvGtPTbF--lJRVLgDovkVGf0t1KA,15227
jacobian/domains/graph_optimization/finite_optimization.py,sha256=-Xhb_sxNW7fySemp8qZuO2maNV_nWeweyoX97-66a6I,11808
jacobian/domains/graph_optimization/hamiltonian_path.py,sha256=tKHrdpbAcS6ajk3vUAStBnndoVCaoyJ9AwqhN82ZVxs,4225
jacobian/domains/graph_optimization/invariant_bundle.py,sha256=5cXRx_POEAUy9RQ9YwkfM6XfjAFIYD8XgKVFYgqMTgA,2749
jacobian/domains/graph_optimization/invariants.py,sha256=oXSIwABgSQlj41JLcuR-d9DW9RSfzoqMMBj9ocKkfmw,19484
jacobian/domains/graph_optimization/operations.py,sha256=3uLWXJRq76DY8iYBX5mV47dZwKSUDv9pdd6su10nlWE,6367
jacobian/domains/matrix_lattice/__init__.py,sha256=UQtroRbC_S9N6uavkK6b24fG38AHa4hHgLhMQG3ynAQ,230
jacobian/domains/matrix_lattice/bundle.py,sha256=tZ36kY8v2y8Iykkc169KWgz6fjsU-nCxlJ2WbhKSRa0,2304
jacobian/domains/matrix_lattice/capabilities.py,sha256=dGHTALEb_A-fP_rkOfmJOLOSbn-tj__y1pUQAjCgWkU,6206
jacobian/domains/matrix_lattice/checkers.py,sha256=Vp29c8clvx-kTrsQ7C4BU9dd_BColz8C21qE5rO7XBY,1167
jacobian/domains/matrix_lattice/lattice.py,sha256=JotoblRa7BShlrR5mv0_vdD9NgJwBRZF2J5QuAiMixI,5566
jacobian/domains/matrix_lattice/lattice_bundle.py,sha256=ys_o8TAFrXhqr73gKSA9chqar4KuAsul2yqq2lWN_o0,2245
jacobian/domains/matrix_lattice/lll_worker.py,sha256=YlwFE6tgpSe_pf-CBNOq4WLM2y1G8muh8OBjFdEeC0Y,3764
jacobian/domains/matrix_lattice/operations.py,sha256=LvT84rP2B821uxY1Z-AtJsSjI7l2bwFFEaKDl0X_Z_o,6493
jacobian/domains/number_theory/__init__.py,sha256=8Y1iCtmw_p_HjKbMko36ecrNspFiSgHf6_nqZtpZdQg,169
jacobian/domains/number_theory/_support.py,sha256=VghDu587cnpHsW9RLrp5gZF8EmBmccYIwFxNBx7wwbI,387
jacobian/domains/number_theory/bundle.py,sha256=EEqGafsIrggFuBWTVIOUxDEj58bQu7qsgvR8P-HIi8c,2437
jacobian/domains/number_theory/derived.py,sha256=-Ry8U8_2vu67oumXjmf9n2Br6UCkAbvXwzwXblPzhkQ,1589
jacobian/domains/number_theory/discrete_logarithm.py,sha256=HKiXJIkQxf-1eLIppZJgCI2Hn4pr_jZgIf4NGW8CXvI,5464
jacobian/domains/number_theory/discrete_logarithm_worker.py,sha256=btsGXtDN9tViHiX_5_PtL6dd8EVhJapDQ2vb_dueY4E,2010
jacobian/domains/number_theory/divisibility.py,sha256=q7c4KDGgg6jydbVTgPCjs4oplRXPxBmlVWzLrVDOEAQ,5725
jacobian/domains/number_theory/factorization.py,sha256=jvKrdhD9_xZqSp0i7xqi59BPp20af0tFwF_P9cQArt0,8998
jacobian/domains/number_theory/factorization_worker.py,sha256=9EX8Rw3O6hKVgaqLMbZuFZD-7PxL3HqVohz60SqMW8k,2066
jacobian/domains/number_theory/modular.py,sha256=B5KIy7Im70XmHxTlIQLm4Rkj2vePqpy5EO2tHF58oRs,3104
jacobian/domains/number_theory/operations.py,sha256=DxC2ms15r_sv4dwNdRQTpPQRhAhNqXPQLC8aqEcMDZY,13718
jacobian/domains/number_theory/primes.py,sha256=YNGjWJDaGiO8NPuDdolh2lrWkkuJJHa9Ls3sFMsQRK8,2977
jacobian/domains/optimization/__init__.py,sha256=WgCpSsMgfwNH-_Ay_YGclU7tvebFhw73B1cMYQRbCjk,162
jacobian/domains/optimization/bundle.py,sha256=mTpkgiGDyo3yPpCo8GMViSWKIBYzEfMZJLY_sxkl98o,1850
jacobian/domains/optimization/operations.py,sha256=e88xrrSnu2pGslQJ423Qhxlk1JjdqMzxX9M6JWVRzaI,5629
jacobian/domains/optimization/worker.py,sha256=P2Q0s5lbxBQ4XXM1GoerBnch1qnw5LFAMCDkPUYsv9s,4702
jacobian/domains/polynomial/__init__.py,sha256=acvFZ93wAF4pELlBNjgBy0qgomTMDmzaZzpf17GlRI8,143
jacobian/domains/polynomial/_support.py,sha256=HlCvqy3YBRwibUEC9tQ3hzw50gdGkn1q_ilx68st5ys,2497
jacobian/domains/polynomial/bundle.py,sha256=Kw2-RVggWU4QZ6P7hiz0iQs4IVrfqRb7kN1SOIB_LJg,3104
jacobian/domains/polynomial/checkers.py,sha256=AK8WHouO_of_Q4VB3KMEyVP91NOCyPWAd2drSjmQCFk,2436
jacobian/domains/polynomial/elementary.py,sha256=C4YD2sqik1ZM_O1HMIgo4mpXMjbG7xXZk8IAieikmhc,9393
jacobian/domains/polynomial/elementary_operations.py,sha256=MVjCtJDkWHDbyL7jVrfrHtwgqwwDnxoghi5r-bpT7Yo,8973
jacobian/domains/polynomial/groebner.py,sha256=cS5m4ZsI1y61opIWawZ_lLBDgH4kqtzTR40u0fNXcp0,6258
jacobian/domains/polynomial/groebner_worker.py,sha256=2QbtXG2a_jf4XCePHu0mWTil4Sy58zPRCoaPA54xqao,1815
jacobian/domains/polynomial/invariants.py,sha256=FD4OCzd_HvdrkGHYtUISFBi5oSGskmK3ZGmfIMOrId0,2182
jacobian/domains/polynomial/jacobian_syzygy.py,sha256=CnNVl8Qqh4-oJR3eqW9mCNxk1vfGX6l_b42YUHhZz9E,13524
jacobian/domains/polynomial/operations.py,sha256=t9zAacbUWlqvE85cVGhTLzGUaEVGVSOsfHu2Detbyb4,7142
jacobian/domains/probability/__init__.py,sha256=9qg0V6bw3ZTXVnEOkfx92OwEzvUu3_o0u-rADaCLw_s,161
jacobian/domains/probability/bundle.py,sha256=-pnRqYIcGL7YJxY-EmvC04LIHsI7aVy2yM8sFhnAPbw,1663
jacobian/domains/probability/operations.py,sha256=WArk5jP79wpS3IAIbkRz1bCJBSE1VIVjPVOaXrli-Yk,2185
jacobian/domains/projective_geometry/__init__.py,sha256=Er0w5kNdipfvz3B_vr-ZSzxUMSJ1ePp71R31tURN_zM,186
jacobian/domains/projective_geometry/arrangements.py,sha256=-m_c7t4FHY_JTYvtIO2cX2z_4NkLpxiuVnih20syydE,5743
jacobian/domains/projective_geometry/bundle.py,sha256=v2vEvDl0wkhMxfCQ-2PnAkvNnWoHB0rLbIxlD9CIsUo,2489
jacobian/domains/projective_geometry/checkers.py,sha256=qfFt80vefpE3_7fYdSPLD8r7dc39wuL9xk2Y0u3Z8qo,1575
jacobian/domains/sequences/__init__.py,sha256=to_9k1hemc9O04Q4hG3lWPyqJ2uL1YDS5YwShi9Wpic,144
jacobian/domains/sequences/_support.py,sha256=N3FBd3Sf0E_p063-5oVASHN4xAtUjeDdE6H2JmOw17w,404
jacobian/domains/sequences/aggregates.py,sha256=6ypdutGucnktmSEPfvkqkuUQTtKLFO0X2PIq0m_OF9U,2918
jacobian/domains/sequences/bundle.py,sha256=UnEjYZHT04UIlNdnmYNZ99Bazu2Ti7CDdvVFEzoPXas,2392
jacobian/domains/sequences/operations.py,sha256=UwRY_0q_DUu0lIQo_fAj8d8_v_xktLgKzHmYPgptJJI,6980
jacobian/domains/sequences/predicates.py,sha256=vY8XjLFGt39HcbaeAkerZDFKTTFnvH09jGroJAuUdQA,2012
jacobian/domains/sequences/search.py,sha256=-l1XDpgckhpZP5tKj8QJoFGcP_PIqFzyXgMBbK8s6aM,1030
jacobian/domains/sequences/statistics.py,sha256=3shLCM_ZMGIZMnMyyvG7AUnVMLJ40fkbVLxbWMjMjmA,990
jacobian/domains/sequences/transforms.py,sha256=_UVkAK6CcSOn7LFT7MHToK9g-WPo1E9Q3LFc4TJ8PC0,5030
jacobian/plugins/__init__.py,sha256=FAB6Q42hsutWKZw-IZqhPMCyIe63eWq9OsstXa48bbQ,55
jacobian/plugins/erdos_straus.py,sha256=7mEyiLwJm9uDs8nnEwo08nNQmBUMuQLlrtJq-viGxgw,6255
jacobian/plugins/graph_paths.py,sha256=tLVVA-QD6TCpPaRwKQGMv_11RREAQ0tmT8C9LSwbNuE,33562
jacobian/plugins/graph_shrinking.py,sha256=QNijZoLcHhpfDAsbzpmxYNRyWskVPeiGw2jMb4KSMCo,2130
jacobian/plugins/matrices.py,sha256=Frk1AeZDEPTjtnSUZDMaKI1T9LfARlvcf1y2ySbekho,30550
jacobian/plugins/registry.py,sha256=Uyx0xBjexFYqjqEVhzh6cSZc7kLVA9wXjWkdyYbOvG0,17783
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/bound_artifacts.py,sha256=_rvTVj870quyyfcX_BCniSp9D9dEBEZWcbUK6OB66oE,4722
jacobian_checkers/erdos_straus.py,sha256=yvX4_G7gW1CmTo8PnXuiiK4C5oroMrYlZy1zFhZBK4s,4305
jacobian_checkers/exact_domain_operations.py,sha256=yMMDXF7u-r3-oeb9bZGBaxGevWH_jOa2dM0b_TsHbnA,17453
jacobian_checkers/exact_geometry.py,sha256=-G9_KuQGeR2exHhP7XYRQJbM-tci7Duj5qXqLgg-Zos,10642
jacobian_checkers/finite_coverage.py,sha256=HuFV04Y2-jI-EqfOP3EelwOJlXuqI9Mp8JCtSLWMtxU,12914
jacobian_checkers/finite_partition.py,sha256=8SI1T27UIp6yzbur_9UfT3wMJUFOlh69L5CkaU2nG9o,4155
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=_PciMm8leM5aFnz7F4bGu0bb7_tSCUwzrEZBuqGfdrs,12947
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/polynomial_expressions.py,sha256=wGz5yd-2sGs-6UqcJ6mOzRqyyUySlHO2JGb6zgR6PRs,23280
jacobian_checkers/polynomial_intervals.py,sha256=yYavd3XlOmAwMkVds9tfa6BkfQMfVxVqrdVSVIdllUg,11998
jacobian_checkers/polynomial_maps.py,sha256=PDdmmx5w9Jzm3dDOdYWLiCmE1b82IfK8R66XDnawgGs,29210
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/reject.py,sha256=AbZd7P29UG86e8zPUSvFUmhPYH0-Dk13GomY76tQCos,450
jacobian_checkers/sat.py,sha256=BQG3ba64dmHSB5iDRb0oNQ4PsRbf_DTHST74lEBrjQ4,29155
jacobian_checkers/sat_lrat.py,sha256=kuEZUkzRfcRaOuS3Vn9WBb094plcLU2zphVuweu08Y4,11487
jacobian_checkers/smt.py,sha256=WNEXa3OyLUu50ct8fHi889CcXmwIsjKYDkpy9cHlT8c,21844
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.4.0a0.dist-info/METADATA,sha256=PiTbbm1FgIPMFVCECOvLxrtOgjC332tPl8b8-o3Da38,14372
jacobian-0.4.0a0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.4.0a0.dist-info/entry_points.txt,sha256=HuysDpfboM0e5ICLuQQwp4cQ2cHomMQArMqswIO17r8,95
jacobian-0.4.0a0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.4.0a0.dist-info/RECORD,,
