jacobian/__init__.py,sha256=MVWSPXnDxXKvEGHNOpf9xCPHl3hDYBdc3kA7MyDpHTU,351
jacobian/_lean_declaration_query.lean,sha256=nODsckuzswdUw52HoE8Y7VWy-MOC8Q1o-MGXXbd546M,17395
jacobian/artifacts.py,sha256=hcExb110Hm7n5j1RUvF0ixKcW_PZcb5x24Eq5OsHJvc,4066
jacobian/atomic_capabilities.py,sha256=xXNJ62giriWrKvIDRjVNa9lc5uMPkNR1d55hJzxNfb4,22359
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=71M71f5AZplEdrlLzxcXShgBEhrAd6U2IGdKuhOYJQg,20593
jacobian/cadical.py,sha256=gLaq0q-KwfLy72q17PaYUl0sK96Zb3s8dkc33Vxf_e8,31057
jacobian/canonical.py,sha256=YLfyJK1Ctm2qc2shLaEON8mHmp3ia7N_JSjGF1JFxws,7243
jacobian/capabilities.py,sha256=oR71hu9kAEiZgvZB43Pe9XKrHfKIAr_N8YaU0WTYRrk,41114
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=1-UssDcNfxF3UAYAGJAuiJzSmhTitmZxNvOnIT0tQQU,12067
jacobian/claims.py,sha256=riskkZlFuOQKDwuf-ujaVi5uk_2f0ZED21YI8bY7uGw,5231
jacobian/cli.py,sha256=ZKDULy1uv3yVwsggI-FQ1nwRdNk-2IPcLCen1DfyH9w,25980
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=-GuWZ2UJ538WlPUeTtwL6bNlXv2tqjgkpCSYGQiF0Hs,15184
jacobian/evaluation.py,sha256=g-CrwA6HRNLX7j1jdSpta2Llp5rrTwuQISEkzr1NKoQ,14789
jacobian/exact_domain_checkers.py,sha256=o6miPMDAc4ny5-1YnVIE3Nw0HQusBJjf1lzxkzMNUok,37808
jacobian/experiment_router.py,sha256=izzr_ftn-TCmGNKQMoTotH55ZRoYvFcpcTSb7O_AWLw,2128
jacobian/experiment_runtime.py,sha256=KTJHGwNi3paqDCQ-cvuhhjpesc_kLu6xRq5TzEqbbWM,1135
jacobian/experiments.py,sha256=_T2wu2Po3WBfosLro9CYrXh9iyz7h6uZFteV8yNitDI,46249
jacobian/finite_coverage.py,sha256=lx3vFKw6x0ZcwB2tDqZ9Xbkfy8GeLakDk21jidzMv1o,25287
jacobian/finite_partition.py,sha256=BdfD3rJFPRoF0bQXdfZPmX6HAkmRCDM3e3YufFDZAG4,19713
jacobian/flint_hnf.py,sha256=EmcgARoQ6qFFbmsZmZIf5AMBJVj2ecQKv2KcxHhmZKQ,15442
jacobian/flint_hnf_worker.py,sha256=c2tEb7ijUmgj0S-pgIzUjaf6W9l8ZIIffH93CiIdpHE,4833
jacobian/flint_linear.py,sha256=NE27xmgZIerFpTycN9VpAaRyQ-tVFNRr1l9ABHNCPIs,30407
jacobian/flint_linear_worker.py,sha256=Fm2wQHuuRpaC6UHEkDgVsfD_wKNFNL3vn2Gn3oFHwH0,8797
jacobian/geometry_verification.py,sha256=_jlO3KkP6kJm5y87twnacVJFr259t31gPA8ECBsKXfU,14889
jacobian/graph_atlas.py,sha256=lxUs-ZrVOI54jEUu4aEHWyOy8X_HrzltlvQ_eR84BkY,1635
jacobian/graph_capabilities.py,sha256=WqWHOX_nZGs-sjZ_wSQIZA1ZbUP7PMXWTxXbDQgY5cM,64744
jacobian/graph_coloring_capabilities.py,sha256=Uen0-rMVPQXJl2rnXXmDcodgblXCxW34vd8eGVKMG5o,12896
jacobian/graph_coloring_semantics.py,sha256=hxsWKhwlwGnQ4jrwvrgVUkB-wPum2C9lVAMjwtlDVe8,1827
jacobian/graph_composition_capabilities.py,sha256=GeYlvC1k8zfn5rPSxNc5-CvJlnnRU_pO2kGykSM7b3M,28870
jacobian/graph_isomorphism.py,sha256=yWZmG1Ffl_bT0j0wvMn1K8knX1eqMAVdwDmxflRJb_c,17034
jacobian/graph_shrinking.py,sha256=hzZTESDYY9wQ3s_PsMNwt79FjHiOpYToeU6MPwkghds,21427
jacobian/implementation.py,sha256=YMg6bVkKW0hU72A9r7_22_MmfXJGQWr2Y5Jm1WvEk0A,8940
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=jDAUAR5RA_chpD2HHED5ZFGwJ6vF_9XcFmxkyJ0hZFk,30554
jacobian/linear.py,sha256=5NCx6tKxaCqbcKZJHguWb83IdTyhYWqP9NCtNeFIXio,12764
jacobian/linear_capabilities.py,sha256=1sm26I_Gac5XCCQjKEPc0l4ZwudqcGkri7NIhOxz1uU,25221
jacobian/matrix_capabilities.py,sha256=1W0Rf-p8zoYlYHvwb7yRW1HGGziFrNSZoJ3l4yWSjbY,13413
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=4pm1zPkEAkUsccFLvX807fRIFDAf1f_0494zPEhanOY,17758
jacobian/operation_installation.py,sha256=ZPhSbxs_UY1P2Ywj8PrxJ16RWGnHsTa2OqyYjDPS4WY,18118
jacobian/operations.py,sha256=oYrS0TRRgTg6sVtNu-k437yFZnum885n7gxWGeZQYeA,7223
jacobian/plugin_conformance.py,sha256=kTZzeuR-0m2e-5pFjztrr10JXvxMQBVTuGgZhufCOho,11314
jacobian/plugin_execution.py,sha256=Qt5HFxWycd-wUgCo5qf0zVBjHMLAL5cDxJUnOtBskHU,7123
jacobian/plugin_worker.py,sha256=XVXaAdfkcty_R_XJC1Lje_V6e4fjKDvNRk0Qj2m4VEc,2747
jacobian/polynomial_capabilities.py,sha256=uU3KwZDMJlcoPd2KT6_v7lzI4CXCwo36weue7cz2MOc,121780
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=Y5z4_FegzxhbZJCKcIWFEi5bT_st_WG9aTLG1u7cjk0,31351
jacobian/polynomial_positivity_capabilities.py,sha256=cXHgIRDUSnOMti6Rhvdex23YYvzmgdIvICaYLpixDgU,33963
jacobian/polynomial_system_capabilities.py,sha256=_CbGlIm264ZWJQDeKrHL3WxFfJIq-VyAqc46dwdl42Q,16669
jacobian/polynomial_system_search.py,sha256=1PVVXtoBSv6k0Okv316o7r74Bkls6IFb0yLdaJG9Ts0,7415
jacobian/polytope.py,sha256=4RlyA3P-zUZwEk58xqcTJCnv-KvjgDXKWEJ7oCfBED0,25861
jacobian/provider_measurements.py,sha256=A6DPxZPkrMU_CcUp1ZAFgbEwa5aEWmwWcqieDptjdwY,10696
jacobian/provider_runtime.py,sha256=d6QckAMPBmet2jSatek3iEpZMlDf3dKRWpal1E0PQvw,55775
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=6Zdhx1EWBSTimK6n-PIjpKLH4_GcAYkpnwqvEpu1ZBQ,11620
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/search.py,sha256=IWGpALB-yq4F0sdWP13zv9teYcnce0nwGErLrVuj1wQ,85475
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=JVGVRdRMJh3VQUKEk5bzyDn-WkoqVr3ZHTS_srmf1qI,47349
jacobian/structures.py,sha256=UvuGQWv3FFydXB9oL3aQXUsdCtvWt1eaRpesrl7zAk8,8993
jacobian/sympy_polynomial_normalization.py,sha256=L0gaZUElE_ABQb9PfoKGxJ0sYGADcqUMAB_vx8Pux4Y,20363
jacobian/sympy_polynomial_worker.py,sha256=yfXmF0U-uk6PAR78xbQDQFr8rsXJktmxIvs_PmwzAVY,3980
jacobian/transformations.py,sha256=gQBSZEEy4vCFKIvcFe1Ur1p3p4aBeWBscbpVJUDWGrI,12245
jacobian/universal_algebra_capabilities.py,sha256=dH_Zs8xLqv5jGT9DO686ZPW-M9qMWoZCCfaiHTO6pT4,37126
jacobian/verification.py,sha256=gcJSfIL8WSSFC9udpRXsYbS0NU33vCYDugLIxYyqlRY,57277
jacobian/witnesses.py,sha256=lTLn0bXyuhDq6gBFI76NpfzSVuiZDpiWeC__71XihAw,14033
jacobian/worker_environment.py,sha256=Ct21vWHsXB7ynoC3MAX4FJiFUAyWkVhyGCoS4s2RUFs,946
jacobian/workspaces.py,sha256=f6z0NmigY2lhxf5yopN8Vi78rZ90MHPNiiAdMpABC9s,65966
jacobian/adapters/__init__.py,sha256=h1dX8D2bBYbFWXDfqELF-SGEj5yMY0VMqyzL3eOHkCI,51
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/cli.py,sha256=6sKwpp821Q3nrCQ1hZyG3uDk9l2yuNBIMoYL5_HUAuA,7324
jacobian/adapters/mcp/guidance.py,sha256=OZBiqSVF3T2ONG3P5QbokABQqgzq5LtUqvbtBIQaxjM,12420
jacobian/adapters/mcp/remote.py,sha256=65wtDlGGO3ypeLetQWDDv7lP-bJcrdpF1CWfLBkQH-M,8559
jacobian/adapters/mcp/server.py,sha256=pH2D8FfqATS1RNwVSuuy3x084_w0_ij7671nW7xASeg,65018
jacobian/contracts/__init__.py,sha256=YFDJ_IAX21zFdlmDTRjESoxvjq1JkvpYlr4r8IfX56M,510
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=wTsWFSNbrSWq5fpvWcOp-5ZUhW0i97VCxMnYZY-hobo,19698
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=sFGvz6QcCzeLYPzBkM3-T43yZ8qI2awzbxACPIe7Knw,3016
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=Im3JywA1-jmI0HnRdOyBrvQoiLkG3MU2iUoZJJl06zo,12711
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=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=PGnOcwHxC-zb49czgnU18GA38HarUCbRenFW-fmyiQo,14793
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/posets.py,sha256=zTh-5Xc4-IEuOaVNxWdgIG06u2D5sT62g1ToGB9d3LQ,20861
jacobian/contracts/probability.py,sha256=gjWhrY8e-e8RCfUneQTdtz0wbaeCtv1TqiEnOE9VvbM,18265
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/topology.py,sha256=2AM7JFIfNV1J9rWiMl6hdWO7Wp7A5Ay_K2M60Fk5TO0,19851
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/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=5Auh6HWVgw9LNWonvakoMSq5hNG0OEHFYZtyCMF9qcg,1521
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=NFn5gQXWKi673zgal1Ly-TWxvVbX4NjBls2dOB3nkV0,6862
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=HB5uMEHcL5nSH9vm_4WIyaCJl6qcjAiOVKzAHeoyRmY,2801
jacobian/domains/arithmetic/integers.py,sha256=hW8zhbJLuVaG2uBKAQpaZOwt2uGjsMye849tUiHcrQU,3840
jacobian/domains/arithmetic/operations.py,sha256=_F3iUpmicfB92Y5yCnXsrwDIhIvYzmJEwijkWhJtovg,6678
jacobian/domains/arithmetic/rationals.py,sha256=LKbHuBaLPKR1cvhwrLEO2yJpNcZERYVPt8Gb4KQ2Q2A,8511
jacobian/domains/combinatorics/__init__.py,sha256=hOSjqOoFrAX7FDZX8Fx3Qi5BSTE0OKs311u2gVB0sqM,148
jacobian/domains/combinatorics/_support.py,sha256=8RKII81YkdfzeK8Rbg1knS_aN47s3w7InTZnVt7BLhw,427
jacobian/domains/combinatorics/bundle.py,sha256=gHZJ5hB9_GQmYRnYDzEpyEWAYV6F8pvTk64y0XNntOg,2438
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=5dZJyBwUXtj2Tjzv1CGDg1e5zjDhPDP11i-m2yPHTz8,5372
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=bw_iF9WZqkTuJUeUhuG_gAPLoz9F0Ep5k0aVzMlBNjk,4110
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=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/geometry/__init__.py,sha256=xnQKLgEKMO1s1asx1VpTmcqGPeFHeWD-LhMYYDpm1Zs,144
jacobian/domains/geometry/_support.py,sha256=2hWR4XB-ZKmTIXgKwunqUeXIiCtu6EnZLYbkT8-PLPs,348
jacobian/domains/geometry/bundle.py,sha256=di9_LKAZZtnFmvmy9poMW53uaICwio5dHr7wRSpB6Pk,2243
jacobian/domains/geometry/lines.py,sha256=qAmAeIp-ZUSwSaV3m24TwWe61D6fQaYD1n1K17hxIwU,5737
jacobian/domains/geometry/operations.py,sha256=RC_NUIfAfYWwVLtIUX3Xph7fWzOj_YXhAyxMEYs0G3g,13947
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=oSlP9_Tb3_3q6zeBm0pS00D7M5X1fmUL673znt937ZA,293
jacobian/domains/graph_optimization/_providers.py,sha256=bqqft5yKgtG0qqgbmfrYhUF8M00-5ED9OKqMEMQCBSM,708
jacobian/domains/graph_optimization/bundle.py,sha256=XS9XYtoI6SxC-F5ytWXluKrZVAuGKhFF4aAHlBOwR8g,4456
jacobian/domains/graph_optimization/checkers.py,sha256=wC0i__LgyFNeYQF-T-fcRPqZHeGpqujEZ5saGUyn_og,6191
jacobian/domains/graph_optimization/chromatic_number.py,sha256=okBk5r6xmrVRKtJrXl_HX2Lkmb-sij5K5LLIUZry4rc,4685
jacobian/domains/graph_optimization/exact_search.py,sha256=xIN7rWus2LABVoJt2LFxFch2dIPecpJKiZP_PaQNYaI,15172
jacobian/domains/graph_optimization/finite_optimization.py,sha256=uYvxa0c0rkNo_EFFEPlbZ-fZwfa0e6gP_PfAz6x8FBg,11792
jacobian/domains/graph_optimization/hamiltonian_path.py,sha256=OML_Fj7-8xd-q5zOePgvVOTo0BehaDVAt6iGgZ9UZ1k,4289
jacobian/domains/graph_optimization/invariant_bundle.py,sha256=5cXRx_POEAUy9RQ9YwkfM6XfjAFIYD8XgKVFYgqMTgA,2749
jacobian/domains/graph_optimization/invariants.py,sha256=F14fH_0p04ojnVjbsTnxraQpkChBqaxCf--REHdPhL8,24988
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=1TqbzjvTVHuLuYIOv425cMmnBUqFZaC955Doe45y-Eg,2301
jacobian/domains/matrix_lattice/capabilities.py,sha256=8HVi-gc7XKC0x1NerbSb0pDL1xpTGqpwHK0W7sZCfCw,9492
jacobian/domains/matrix_lattice/checkers.py,sha256=Vp29c8clvx-kTrsQ7C4BU9dd_BColz8C21qE5rO7XBY,1167
jacobian/domains/matrix_lattice/lattice.py,sha256=LupbWUHH1QNgtHupeYjJIJCcm3T-C_yQCVRYAFcGIfo,5827
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=QTSr9bta4UxqcNgj1vGhTWrXkNfQQIyQ0X1NZBf69mk,6600
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=DTV0DVoHLMa1yf6FfP5A0BBqPhIv6RZ4WLTw3LuhmG4,2434
jacobian/domains/number_theory/checkers.py,sha256=IKyfc6inEQzmsRqbENVN_JjE5YuzL5EDv76Uzh2aYrU,2357
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=vmk3RYpZmVt91LCyQQFFxu5QkCsg_3R38qnfetgq3lk,2172
jacobian/domains/number_theory/modular.py,sha256=frBB9W-fk4HEI02GhzVzMXTKGNFv0x16XkWsxDUy0Vo,3557
jacobian/domains/number_theory/operations.py,sha256=rrMHDtfaKxLmpsg7AM2xnMX3zUL4MFslcQ3Y0FRCvNc,14490
jacobian/domains/number_theory/primes.py,sha256=SfCNad1m7zu3IU_9oV7oI5kpzHvJAhZRWdj--ZL1hQc,4071
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=vQjpbgSC-XQSttOAmJYALw_6MwqrtQpNa-FNe3vl260,6218
jacobian/domains/optimization/worker.py,sha256=P2Q0s5lbxBQ4XXM1GoerBnch1qnw5LFAMCDkPUYsv9s,4702
jacobian/domains/polynomial/__init__.py,sha256=acvFZ93wAF4pELlBNjgBy0qgomTMDmzaZzpf17GlRI8,143
jacobian/domains/polynomial/_support.py,sha256=U8i_sBw_8fhBobpMB9DoGQrqLvTfOtgra9iflShCPC4,2961
jacobian/domains/polynomial/bundle.py,sha256=pYZQBiMCP-QqAWNe38XhngYjo5adn2wa3uA770zZa1M,3101
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=IaGgE2ZjZ3GjqYKeLoiPQVtdDbN_-db_gs_uZn8SnaI,9217
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=q1x3FXnHDyw6t2MlzSUkmjlUndN_KLZ3p2EGcbVi2kg,13542
jacobian/domains/polynomial/operations.py,sha256=hVyNBQ3iYTQtC5SiIq8rAGiqpaPlduXtbIVkRZk9xZc,7297
jacobian/domains/posets/__init__.py,sha256=W9baSOOujdgBpBRtzXsS8VUUECqNqhyVHVsDlwdspgY,143
jacobian/domains/posets/bundle.py,sha256=tgmZ592skT658wwKZdLiygRijOEuDj5736cZSz7ziQ0,2626
jacobian/domains/posets/checkers.py,sha256=KJXjNPGKsNGcJhckc1cSKoNBvwT_33YkElF5s1k2eqg,1919
jacobian/domains/posets/operations.py,sha256=KdUgh9bT5F72gaiicXmrS3QjwLpbcLML0cK1gsrWJT4,13761
jacobian/domains/probability/__init__.py,sha256=9qg0V6bw3ZTXVnEOkfx92OwEzvUu3_o0u-rADaCLw_s,161
jacobian/domains/probability/bundle.py,sha256=tOPZRfWWB45CGqWFqTFOk4aedMsotPh-A5e8Pc0cfGs,1904
jacobian/domains/probability/checkers.py,sha256=9CQ2lnPHXdoLlDLp8hCBLD2a46HgA_jW6XJD7BuNUto,2375
jacobian/domains/probability/operations.py,sha256=nCcSOg23QiA6qAoNnXMkpP6pZ-5Dp-6lT0lmTsGPhZs,12658
jacobian/domains/projective_geometry/__init__.py,sha256=Er0w5kNdipfvz3B_vr-ZSzxUMSJ1ePp71R31tURN_zM,186
jacobian/domains/projective_geometry/arrangements.py,sha256=RGlN3MQSLuHgHsFUq559GEkzJ8o3FqT2-oKtYRGdrFs,6648
jacobian/domains/projective_geometry/bundle.py,sha256=TPX9_QcSmh5csmKwKrtIRbw8e6bDes_YJHZ0nMP6Duk,2486
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=5_Ke0HrmJTsOCZdrc8XJtccwK3Bp2Igp0O4kcxMXW28,4505
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=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=taFmPCzuZt4gM_JhA99uh7YXDaYpNgBW81gLCpgTSSc,134
jacobian/domains/topology/bundle.py,sha256=JgXvDbygLPBn-a_ool8MgjJMNmpKwx7YIDxFALzp5Do,2565
jacobian/domains/topology/checkers.py,sha256=_9QOVvshT3No9z-5s7TY8g3p4Cwc7IAJOh73il8Px1U,1599
jacobian/domains/topology/operations.py,sha256=FV3GwOqmPBW6-3FTAyZDhyx1FQanO5_zbSXZHnXbcLY,17484
jacobian/installation/__init__.py,sha256=-PTn5uLnUyc-E7cxLRAUMd66DDgSkz5w3nnmFOBOvIU,370
jacobian/installation/context.py,sha256=UiP0sU7c6kOiog_dP71jvHpH_TM7gxKxSGnV-wcF5u8,2973
jacobian/installation/result.py,sha256=_TZMLtPIKCTK76fukrMryvWGiyAhIVuJRMoXk8hwonI,553
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/portfolio/__init__.py,sha256=KzF4ZUZp6qaibRaYxNWexbOqo9VBnP7OrTOw1FItOqE,690
jacobian/portfolio/assembler.py,sha256=BkjZVx04jaxfHsfEaRfGE30U4ZuOfQFm1gHc7swyvJs,2324
jacobian/portfolio/builtin.py,sha256=XDirseqfVv8KhljNGqJqHNBOc-9uetk4YVtIv32Ij3I,248
jacobian/portfolio/core_installation.py,sha256=-9kkVBwXTu_CwLE-as4y5d76-OA6c9UJ2ZT-OKiyt5M,10306
jacobian/portfolio/domain_installation.py,sha256=41AW0LMo6w9VxZs-9sOv9jIOhb7iYvd430OsATwQvmk,2909
jacobian/portfolio/foundation_installation.py,sha256=LMO5-ke--jyxwLUFerSCxgbfKXn-0K9HgSHEqdLBAjw,11569
jacobian/portfolio/model.py,sha256=11MWpdnVa9gySkltK1fAbCr7NjI36rH4j4BcbNolK9c,2307
jacobian/portfolio/provider_resolution.py,sha256=BDBCK8oNnQU4wdp9z5nFqH7rOeTWr3Ir7rU_C2BUPaA,2042
jacobian/portfolio/reference_installation.py,sha256=MWGgd1fv0rgLXP7PR3oSb7YRRZMPtueRM-9QhEwzZVk,8073
jacobian/portfolio/resource_installation.py,sha256=TWt2DkG0LsAtuUlL-50qFojiyuLGHb3exATTwnNjnSg,2776
jacobian/portfolio/result.py,sha256=9BJ3MRIfjz2mto9ilDIIjYJjO33M9jWLpBCWDMuVXZo,11348
jacobian/providers/__init__.py,sha256=Yxsqfpm_RiuW83Y-Igqkdw_8SFL3hvl33UAXCGNU5g8,1209
jacobian/providers/loader.py,sha256=YerL4CDB8DHvWvFoJwRcwwMybB1mfaY09qS_lhsP2y8,8056
jacobian/providers/metadata.py,sha256=VAGAmKmOFV9rsJvmuldPX4RpN-E-3AlN9fEADzC7LXk,2394
jacobian/runtime/__init__.py,sha256=SVmxEbOjEVhBH1bkj0MDXtpjZgLck7anlsOO1RJtPBc,1196
jacobian/runtime/bootstrap.py,sha256=PD-wMZlr4p1CQJ1MK_aqW06FV2QdluJe_0ndX5wIKsI,2958
jacobian/runtime/config.py,sha256=OJXi7PJKbED9UYbl_6f6XvYST73St-QboRMpIgeAgYM,828
jacobian/runtime/model.py,sha256=8vpOiNBXj7kTVbqy6vNjg3IdCxw5l95Hpgds52NaMoE,1843
jacobian/runtime/services.py,sha256=VvbIl56-uyb8OFh1-mqfOJpx-WfYOQI4s5Gr_RtRLRc,6225
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=fuR9gZFCDHOQX6XieLA73zk_DndHH08yIz3rYzvuUFA,21105
jacobian_checkers/exact_geometry.py,sha256=qk5ruyZV-6iLDZdeZSXcN6LErGJzLcPK7CQA0kcwMA8,23676
jacobian_checkers/exact_probability_operations.py,sha256=msOqm1-0mQzCJGU8HHvq0fwgm15aID3zQFYJ9O2fEn4,12946
jacobian_checkers/finite_coverage.py,sha256=HuFV04Y2-jI-EqfOP3EelwOJlXuqI9Mp8JCtSLWMtxU,12914
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=vEnNgV9DDWZmF2ELGA2W4zkbgq_8QVjY7P3Cqd6-sHc,19686
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/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=kuEZUkzRfcRaOuS3Vn9WBb094plcLU2zphVuweu08Y4,11487
jacobian_checkers/simplicial_topology.py,sha256=bNN7jc0WIv_lYd-uEJNUGcJ6JYIM_GUeoZcZHQ2I2WY,24074
jacobian_checkers/smt.py,sha256=WNEXa3OyLUu50ct8fHi889CcXmwIsjKYDkpy9cHlT8c,21844
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.5.0a0.dist-info/METADATA,sha256=9KsKxS7BPjeyczQB5LbdAwNzChWfDdL5Y_JieXXUAdM,15280
jacobian-0.5.0a0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.5.0a0.dist-info/entry_points.txt,sha256=5RLr15rmZ2Acl9Bjv357UdA3776IzJ9E_6n6tBzeEyw,92
jacobian-0.5.0a0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.5.0a0.dist-info/RECORD,,
