jacobian/__init__.py,sha256=MVWSPXnDxXKvEGHNOpf9xCPHl3hDYBdc3kA7MyDpHTU,351
jacobian/artifacts.py,sha256=T0iH3-BbgcMbD859mo3gEtjUkm4qyzamF_SOui8q2TI,4368
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=XHIxpjGt7oieU4BZqWEKjVrJaZodAYxVQXNTz9Xes7E,20619
jacobian/canonical.py,sha256=ahY9GE0rgnutY1QzmSuCwkbPXX8UTNkXn_jBB9SSOFQ,7243
jacobian/capabilities.py,sha256=t0SNmCkKbojcT_4G_bgIt2xKh8CNCrPV0jAOLokcAyY,45190
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=-OxCJUbm_joQd7ZE5W8mGrvAAmciA0RiiILnNiD57UY,5822
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/conjecture_ingestion.py,sha256=5VPnXXLyRg894WYuC8JbiMSZVDlVcAzwHUlNzrsrHng,16326
jacobian/conjectures.py,sha256=8lVkpPf1kU7Rz7FruZ-tf93atN82M_McoZbimxs19VI,36245
jacobian/evaluation.py,sha256=g-CrwA6HRNLX7j1jdSpta2Llp5rrTwuQISEkzr1NKoQ,14789
jacobian/exact_domain_checkers.py,sha256=yGpLhM_AgTpPaE2lttK0rQN7pSalLozudyY456HaLiI,35899
jacobian/experiment_identity.py,sha256=pfGVjYWf2IasAYXat6KRqeKrPEyPybktgxtu35-KSOg,245
jacobian/experiment_router.py,sha256=izzr_ftn-TCmGNKQMoTotH55ZRoYvFcpcTSb7O_AWLw,2128
jacobian/finite_coverage.py,sha256=lx3vFKw6x0ZcwB2tDqZ9Xbkfy8GeLakDk21jidzMv1o,25287
jacobian/finite_partition.py,sha256=BdfD3rJFPRoF0bQXdfZPmX6HAkmRCDM3e3YufFDZAG4,19713
jacobian/formal_datasets.py,sha256=RVBzzoaHY2zCU2QJMTShzSFP9O39FyR6PsabhSuo3fs,3505
jacobian/geometry_verification.py,sha256=_jlO3KkP6kJm5y87twnacVJFr259t31gPA8ECBsKXfU,14889
jacobian/implementation.py,sha256=YMg6bVkKW0hU72A9r7_22_MmfXJGQWr2Y5Jm1WvEk0A,8940
jacobian/memory.py,sha256=b2EJCbvhrh6MJuuCwhXYH2gwG5D2Kdr9JoUWmjWz0d8,16559
jacobian/operation_installation.py,sha256=QbroixrDyRItnYupOdMAKVHqvWe7d5Dr8Ftcvo8PrIg,18123
jacobian/operations.py,sha256=BJHuK4S4N0TLJXVUtKj5Pe8wIl0eC9K1vCOnnotInTQ,8322
jacobian/plugin_conformance.py,sha256=kTZzeuR-0m2e-5pFjztrr10JXvxMQBVTuGgZhufCOho,11314
jacobian/plugin_execution.py,sha256=P1v1Jc2IwBTn33S0NN8vaQ6gQ4G5RzJkwU39xOkDh6Y,10087
jacobian/plugin_worker.py,sha256=dgK-im0jeij-lSlt4oo2x5EHgMSwE2GoB0k51PqGCKI,3775
jacobian/polynomial_expression_capabilities.py,sha256=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=vEB8oAGu2zeDCJhsqu3kqslGyWnfZKX6jp5auLBhfcU,10913
jacobian/provider_runtime.py,sha256=41RcrBKQs6IkMxTY-ZctNpe6i4EiL1l2Q_31bepqHFw,24052
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/references.py,sha256=VODlCvYbhPQ_VRZjBh5gkwraIxp07gRUtMboH2GkNE0,38433
jacobian/registry.py,sha256=4onvRnXGM-ZHb5ZPcJlPvsmf7FUqZygBBz21cNdk62I,23099
jacobian/schema_registry.py,sha256=VHyA--8ejN_a9vGccrC_pasLgFcjx7O88voHN1Kwuso,12742
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/shrinking.py,sha256=ifCC-BSDyd6V2SLbYVkiaMTmIUdMD0We75E9qxXIjYY,23558
jacobian/store.py,sha256=9NWQjR5bRW2isG7hLJikx4mHpX_g_w5x0QXw9j2HBj8,40024
jacobian/structures.py,sha256=UvuGQWv3FFydXB9oL3aQXUsdCtvWt1eaRpesrl7zAk8,8993
jacobian/sympy_polynomial_normalization.py,sha256=BXoYnBIqexa4P7SXKjjOnMoL8QkddN7SGlD2dQCwhm4,20399
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/witnesses.py,sha256=lTLn0bXyuhDq6gBFI76NpfzSVuiZDpiWeC__71XihAw,14033
jacobian/worker_environment.py,sha256=Ct21vWHsXB7ynoC3MAX4FJiFUAyWkVhyGCoS4s2RUFs,946
jacobian/adapters/__init__.py,sha256=h1dX8D2bBYbFWXDfqELF-SGEj5yMY0VMqyzL3eOHkCI,51
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/cli.py,sha256=6sKwpp821Q3nrCQ1hZyG3uDk9l2yuNBIMoYL5_HUAuA,7324
jacobian/adapters/mcp/constants.py,sha256=fRQYIlhmJBEGPz1eBlbXBiQefvnxtnI3LeNb8wMxQwU,809
jacobian/adapters/mcp/context.py,sha256=jFnQgZX7Ho47oJSLTSv43QX0xeA9-hgILs8-Q9ZzBsg,7890
jacobian/adapters/mcp/guidance.py,sha256=o6mU1LGvbvEnXu23UTu-E3cLayCBbAunodlenMjaWM0,13134
jacobian/adapters/mcp/projections.py,sha256=Xcf-PoDlOxFjnhkSZE90z6WiX5qTjWYFHoXyzJKrhlY,21862
jacobian/adapters/mcp/remote.py,sha256=65wtDlGGO3ypeLetQWDDv7lP-bJcrdpF1CWfLBkQH-M,8559
jacobian/adapters/mcp/resources.py,sha256=ziLE_O_pOGe0nJRFnjmma4JTpVrXmZcQV2BUf8jXJcY,6761
jacobian/adapters/mcp/server.py,sha256=KxsRV7hG1Epkx9GkAfVOeMNHxoytVQi9P2tLkb3A6N4,14931
jacobian/adapters/mcp/tooling.py,sha256=Dpm4YuewHq7RGScXFmOhiw_6oiyAhk3KnAu4VjQKE3o,6283
jacobian/adapters/mcp/tools.py,sha256=OJQr7fYsIwJLCwJ-8FLelmDBu2o7OVS7PoxM5GcgYSM,14196
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=9Y7tRkUpayBkADYCFlDJoVkAAzxh6_oCm-2vJxEB-OI,23126
jacobian/contracts/certified_snf.py,sha256=DKTRMpcdb98tdxqdNe8LLknQKdHHHgASKvrR14HbruQ,6095
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/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=aTCsaU-qgGBUgwGvC3ymIcGJCxu0_xllxmxXvXqeARc,444
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=B9wF77Y6iVX5904KkbCR6zW6E4XLpv9RAs1_Gpz03bs,986
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=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=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_artifacts.py,sha256=6cmpGxapG1Sruk9OTSegVY6A4I07AyLdXnPKLVnY81Y,2066
jacobian/contracts/lean_exploration.py,sha256=Qrr1rUosMuoa3LbyHzsnzWy180KTzk58PN3sLZOvZmw,7672
jacobian/contracts/lean_proof_edit.py,sha256=ztJZOvvz4Zz8vq0v8T_xcZEmDCyVVnRYSfVe7Z4r4pw,2392
jacobian/contracts/lean_statement.py,sha256=znSP-HO7hWanFEO7gPIvxMe83LYSStfw6goE0Vz6v6o,7797
jacobian/contracts/linear.py,sha256=4a5-iLIGTi4-eVekGoPn3AAynlwrU-eNsiKUAuABipM,12734
jacobian/contracts/matrices.py,sha256=-x9afXx3_TZpEG_pvkqrrf8_W6IMAKDUY17PI2fsxbU,12462
jacobian/contracts/matrix_operations.py,sha256=GQ8Uaj2-TQN-wA2eNa53ZTnonoFqWdQ1tdnwtUuoxF0,12763
jacobian/contracts/memory.py,sha256=G0f-Cq1pKTjjsK56mGO7Z3d4y6mvrQpKzSLFPtkhe20,4188
jacobian/contracts/number_theory.py,sha256=e8OVC1zx6nN_isD1JsOpWyyj32LZnoUhLcQY7zb94OI,25262
jacobian/contracts/plugin_inputs.py,sha256=HBhHOcrNxQr9I5u1AReUdMPtAflk55T8mj-sjKfKwr0,14272
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=ubb9YQJk7hhHGGYR7JPPuaAfv-jnHVRU97GZi-9UXA8,37522
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/proof_ir.py,sha256=szlnGLQooIvkCYz8snTKeBCh-v0HuUSp-_AgJ_AZIg4,1853
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=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/contracts/workspaces.py,sha256=HZgNuPth1XY3MvYLDp2pyQzR5F7WKr5cj71h8K53sGI,24558
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=Cm71kosEc2Msb8yixcDfWtDUgdvrrFp2ATDpbVG3IWM,2889
jacobian/domains/analysis/__init__.py,sha256=_7g7t9gp6GizQdpJnx_0zWA9oKWHdznkZXz7-adDYA8,159
jacobian/domains/analysis/bundle.py,sha256=ER7d_gM424M0p5R-NKo5F6IapKLv_4EGeqClBLjM53M,2117
jacobian/domains/analysis/operations.py,sha256=uEKhM-o2VDpSJUe20aXpkt3flrwW2vgv8KX_B0x6b-4,6890
jacobian/domains/analysis/worker.py,sha256=UnuRWBP6qaOVbnWGXKsBSIlrW7hKYlmqTQlgcW8JakA,1903
jacobian/domains/arithmetic/__init__.py,sha256=u8W7HVXQaSWhWPeMiHlkUzyt_WxZ9qn5DPCDRkg48bc,169
jacobian/domains/arithmetic/_support.py,sha256=DRaO6R5txxuwx73ow6pLb3VHwGbzYfI51IuSEAc25Qo,359
jacobian/domains/arithmetic/bundle.py,sha256=5vXx4jsxcp8BfN3WyINUI93CyFRSXmx6RBBeHgwaNOw,3096
jacobian/domains/arithmetic/integers.py,sha256=hW8zhbJLuVaG2uBKAQpaZOwt2uGjsMye849tUiHcrQU,3840
jacobian/domains/arithmetic/operations.py,sha256=3UrcrnX2mZr90BkTVQJFx15thBGS6upwhT_cpJBIdQc,6519
jacobian/domains/arithmetic/rationals.py,sha256=LKbHuBaLPKR1cvhwrLEO2yJpNcZERYVPt8Gb4KQ2Q2A,8511
jacobian/domains/certified_snf/__init__.py,sha256=y4jiDaiLHa0MK4xcvRjqbrSB7rr3DW9ByEcokLZGlFo,171
jacobian/domains/certified_snf/bundle.py,sha256=Pk2B2vmHT8i8lIbbfSNtPxEkRWFEgtWnZiVdmCt57QY,3083
jacobian/domains/certified_snf/checkers.py,sha256=dd2Zs1koFFXiwagdVch0-_LT1PBAySXy_ZVTUTeuCqM,1453
jacobian/domains/certified_snf/operations.py,sha256=P-sGEEjNgKZ1H_hAHUeDUuutZomxUhZDuw2iI5pgBOY,2215
jacobian/domains/combinatorics/__init__.py,sha256=M5_nL8-zUggx5iDhWmvCfA5c2Px_88AUHGOqD_u0iBU,160
jacobian/domains/combinatorics/_support.py,sha256=8RKII81YkdfzeK8Rbg1knS_aN47s3w7InTZnVt7BLhw,427
jacobian/domains/combinatorics/bundle.py,sha256=Mls-xOf4XU-TMX6gnFUd2qQRn2af13L4CL_6nOkqg_c,2875
jacobian/domains/combinatorics/checkers.py,sha256=WCGg2AnxKW8m9f2gmA6PqSEkKA8eAbs6_wIw-e8I3K8,1363
jacobian/domains/combinatorics/counting.py,sha256=72gvCklNE0yi725Z6JQa3uoFeq4B8Qmw8nLBD5-Q6m4,5119
jacobian/domains/combinatorics/operations.py,sha256=67LecwSE_DffM1tzB6CWAn5LKEChqC9XUbEzSycLkww,4930
jacobian/domains/combinatorics/partitions.py,sha256=l13vc5i15lD3X5Xncox3_kvmNxgabomGDMPfK507lvw,3266
jacobian/domains/combinatorics/recurrence.py,sha256=q8_lfKLFmh524VSZOefIqSUOe_3qPpH52nFent-Kl6A,5466
jacobian/domains/combinatorics/recurrence_series_operations.py,sha256=GQkxYsCpjQsVHXK_HccL1AxW_XFV-hEbxQVHrJclH8I,4066
jacobian/domains/conjecture_ingestion/__init__.py,sha256=_XGarYAeVzen1FqzDNVVCVQ9NgPPQeIQSMce1HQ3nTA,208
jacobian/domains/conjecture_ingestion/bundle.py,sha256=NXJCCtxLO9A-Unx3eqJz8ppHQdJJHFpzAIdP_Y6Y8fU,3162
jacobian/domains/finite_sets/__init__.py,sha256=b9laLadsuAg9FS5T7iySDK4F1ERUlz9YQQEMYaMTLbw,157
jacobian/domains/finite_sets/_support.py,sha256=B9VhH7x4TCUL1B5ZThtgrslYVlNF7TdXQoz7aFIxNZ8,353
jacobian/domains/finite_sets/bundle.py,sha256=ifAWmNUOuQ7bDPpnZxM29YkQkNdguyY9-S1hK8V6lTI,2374
jacobian/domains/finite_sets/operations.py,sha256=1hX6C1LDzLmxz3Y2auqOnMI8uYoyQFkbTO4QgRoY198,2381
jacobian/domains/finite_sets/set_cardinality.py,sha256=fbxw6W6a7CMMJ14yAFixz_DLcO51_hecJZdlkNIlRXE,2216
jacobian/domains/finite_sets/set_operations.py,sha256=As_FHxw-LQ7vsj0oZINYmlHwzHWxxjwxP5lIwam5sxY,2787
jacobian/domains/finite_sets/set_predicates.py,sha256=j40llZEMFFvn59GeDqrCoZdPXPJrTjmPqhrlazma37w,2273
jacobian/domains/formal_datasets/__init__.py,sha256=XAkRNjpCC3LrG-hMOfiYb9gLdV7nC_2_KpJ_PqknBIA,183
jacobian/domains/formal_datasets/bundle.py,sha256=oNKyqzKLFESFUjH0Ghf4aBR8q7Q6dfnzE8LdSyqDL0s,4685
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=k-4yS0t9BZVL3UP0dm74EgB-fBF_m6aN3zFtmNLLg2Q,2510
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=obVGtEM3CtSOqHyYrdnh1fSwnn5r_hlRru41VCzf9SM,4157
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=MBFyyHUvLE06Xvo0NHySOp9tGzFa4WEg-DpkLddHUlU,8169
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=nDPsnNrVqgXUS0ystXWXx1gljd6xXyz3myp-aDSFPrY,5925
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=TPIDzQhePqECxjIc-HYqfxZ8Moys9CCWxW3netT1vL0,5834
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=VghDu587cnpHsW9RLrp5gZF8EmBmccYIwFxNBx7wwbI,387
jacobian/domains/number_theory/bundle.py,sha256=8hEmKqDsuovqhI9UhMwBb7TzjC-RTitEKb1fz1UlQwo,2875
jacobian/domains/number_theory/checkers.py,sha256=Obe5pnkafumkFJw7Iy4164ZX-LzRsYKR2Up4G1A5rxM,3608
jacobian/domains/number_theory/derived.py,sha256=t6vyl3d9fd7Xib2JXJ6nmXR02OrJZ-DkWd3AD4v5jnU,2176
jacobian/domains/number_theory/discrete_logarithm.py,sha256=EEdasHCVY0KYIP0FLUes2XneCmpLHfvtOwdp-rDVRt4,5818
jacobian/domains/number_theory/discrete_logarithm_worker.py,sha256=btsGXtDN9tViHiX_5_PtL6dd8EVhJapDQ2vb_dueY4E,2010
jacobian/domains/number_theory/divisibility.py,sha256=L8B86Miqndc-sDjGZnqVBUOX8sAXlQ8DWThryDeKvvE,7764
jacobian/domains/number_theory/factorization.py,sha256=ZGV5lRC8PQt6bxAP1luKMMLP8DQV2gC8GTWbsCl3Tnk,10455
jacobian/domains/number_theory/factorization_worker.py,sha256=DgrLUazdNc5N9W0SjLVQUAgncifMadK9dWk1TgPmau4,2520
jacobian/domains/number_theory/modular.py,sha256=Fj08aavCOJkxliwBgj_0E6QeA9HlCbflQXLWRMzMvmM,4973
jacobian/domains/number_theory/operations.py,sha256=rjscYi5NFzOhb0dVD3I1Z4YPudl-in1liHGGJwq05ww,16697
jacobian/domains/number_theory/primes.py,sha256=SfCNad1m7zu3IU_9oV7oI5kpzHvJAhZRWdj--ZL1hQc,4071
jacobian/domains/optimization/__init__.py,sha256=g1-ReNB5ej8SU59Fm9doPgwzRLOSrqU5l1Li1NOP6s0,174
jacobian/domains/optimization/bundle.py,sha256=yv5w5OJQNjE22ReSgt_bG1zOsTH4Jc96rSidxq7bMag,2096
jacobian/domains/optimization/operations.py,sha256=SHh2OwrtozkLgk3AVxERDeYXxr-3vyBR4QJaBWkGYgQ,6250
jacobian/domains/optimization/worker.py,sha256=P2Q0s5lbxBQ4XXM1GoerBnch1qnw5LFAMCDkPUYsv9s,4702
jacobian/domains/polynomial/__init__.py,sha256=jf-IHkdAe1p1rnF-qdBvtUkcy2cnsJ3IXgPj3w-h4X4,155
jacobian/domains/polynomial/_support.py,sha256=0D8aAl3GoSeHazjjk7zbMtmSkHM6wzVc-_klTs1ANjk,2950
jacobian/domains/polynomial/bundle.py,sha256=XxDcPQD6SO1EQOMd03wEJB1hoIwP4rHAtZ-jsFkYlF0,3576
jacobian/domains/polynomial/checkers.py,sha256=AK8WHouO_of_Q4VB3KMEyVP91NOCyPWAd2drSjmQCFk,2436
jacobian/domains/polynomial/elementary.py,sha256=A5_2bx3EcIuyE6Ip-wbj8G88GL4h_kaynmvz9dSE2KY,14079
jacobian/domains/polynomial/elementary_operations.py,sha256=6khEdbpIzDZnJUXFrp_pirkXApE1j7NosxEyfOTfIkA,8960
jacobian/domains/polynomial/groebner.py,sha256=Of9_BLfwJe6L3GBWM8nFupk5IkR_grr4EVlqb0h-O08,7068
jacobian/domains/polynomial/groebner_worker.py,sha256=2QbtXG2a_jf4XCePHu0mWTil4Sy58zPRCoaPA54xqao,1815
jacobian/domains/polynomial/invariants.py,sha256=6uZXW5LODlN5QVqAClpN_zqMHg2UgdwaJaz4WOKlCvY,7600
jacobian/domains/polynomial/jacobian_syzygy.py,sha256=n90dG-rRkEA8ShW49DTAtf969U57Z1-vaO9ZDZFSUBw,13466
jacobian/domains/polynomial/operations.py,sha256=lBlgcGQp5BGX7XvsE2ax0NsTvytJKk1mAroRnFJSGfY,7125
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=KdUgh9bT5F72gaiicXmrS3QjwLpbcLML0cK1gsrWJT4,13761
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=YNDLalyNlzAY9Qa98sd0HpXozJUR-Pwd6IkVIIf4sOo,22709
jacobian/domains/projective_geometry/__init__.py,sha256=zCzGOt5r3tz9U37FY2DUDK67Yg0ZDHB8YeXtHS7NySo,198
jacobian/domains/projective_geometry/arrangements.py,sha256=72n7r4LwzugUGZHcR3XxwsnWE5YUhi7CfMOVYMrm3A0,6577
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=ZSpKVJUI8uR4aGc-H1Q_W9SKi7lb6zK_v_h4oWBn3nU,3631
jacobian/domains/topology/checkers.py,sha256=VX-PoYU0v9T-dagITHJr4KZAOAl5-AxZeHxEH_3WPeQ,2908
jacobian/domains/topology/operations.py,sha256=3yNgxuRCPnBvrOzGfUfdYDVxatPqP2UeGY6fYzL4KTs,26320
jacobian/eval/__init__.py,sha256=t09T_YdWZGLZuR5HOYIpvwLbYM-IEzi39fehBzVKF2s,53
jacobian/eval/graph_oracle.py,sha256=kPyLxT9ish-8_QcyHlp0i2Ui2t7KlHR5Sz5qPFd4Ewo,7187
jacobian/eval/telemetry.py,sha256=-GuWZ2UJ538WlPUeTtwL6bNlXv2tqjgkpCSYGQiF0Hs,15184
jacobian/experiments/__init__.py,sha256=KRRaC98InBGHVhmBoBQR-gM5grmtijY9Z74f8CQCb_8,258
jacobian/experiments/_helpers.py,sha256=1z-qqyye6vqWpmlX7dHM-QH5oCPuEEdlVSiAYzArtjk,2041
jacobian/experiments/errors.py,sha256=ViQ0Z4dvBxpffBh7BGkfNLdTBYJ7x3pgHQT5txvieGo,533
jacobian/experiments/service.py,sha256=RtKmWJIj1M-LWyuDNuh7rRhwBv_th2rCQXwP7K7pRTI,44667
jacobian/graphs/__init__.py,sha256=1ZOMEV_YwyH4DRSMKATFl4nMcvekQVJ7U3nyjy9woOA,988
jacobian/graphs/artifacts.py,sha256=0d13ijmK70cW-dYwDAgzu9pztSnwmcBu4hUsReBpTGg,6290
jacobian/graphs/atlas.py,sha256=lxUs-ZrVOI54jEUu4aEHWyOy8X_HrzltlvQ_eR84BkY,1635
jacobian/graphs/atlas_search.py,sha256=t6qW8z98tIPo2RaJH-mJoHvu_KqLAdAv3V9hDCQiq_s,12738
jacobian/graphs/coloring.py,sha256=BdpmYJndEOAgD2RcG6xLqOWx8exaQcjODZjU8GVrDvE,12905
jacobian/graphs/coloring_semantics.py,sha256=hxsWKhwlwGnQ4jrwvrgVUkB-wPum2C9lVAMjwtlDVe8,1827
jacobian/graphs/composition.py,sha256=kxymcXcgzZa8MSVA3WjqHW8pbsrMPMqWPw1rJkHvsFU,24173
jacobian/graphs/construction.py,sha256=4dfYjkf8QbMp7ZbBv4CRFlwZfYYk-SeL6pov5Bt9xLc,7113
jacobian/graphs/degree_sequence.py,sha256=az7vQ5zMXDfaNy1j7sj_O31JZ9ewLyyHogX0uyZHlPQ,12099
jacobian/graphs/installation.py,sha256=j6zkFXkKIg7opBFgl6Ei6QKSTWAAjP_vVLHImChhw14,9488
jacobian/graphs/invariants.py,sha256=3DYG5m8MsJxDLrU8vSBUt8cQyTIZ4bXCOzni9dicGSk,13097
jacobian/graphs/isomorphism.py,sha256=McRtwVR3cGz3m3cnUkeU6k3PfHiaGuVuA7c7jkuXrvE,17035
jacobian/graphs/neighborhood_independence.py,sha256=SYdT45S9E2agFgF1McIZ9v2bXh9HATSH1XBKXCX9tmM,11468
jacobian/graphs/shrinking.py,sha256=YQOzU-sVj32hMZxh6YLzJL1H9Mch8-ww8C1D32OZXl4,22803
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/lean_frontend/__init__.py,sha256=TqQpCyMep4fiadJS6wd0-NwHsimK4OooF_mkHx1mGto,963
jacobian/lean_frontend/_lean_declaration_query.lean,sha256=nODsckuzswdUw52HoE8Y7VWy-MOC8Q1o-MGXXbd546M,17395
jacobian/lean_frontend/declarations.py,sha256=RHbAj4V-y6UyRlzFK8leoT2To4nj0aqFdGc9hfkkTRc,28512
jacobian/lean_frontend/exploration.py,sha256=I7C8vVTKqS-KeQYqqdi3qaCgCePQwpoQKJKmBToJyDg,53374
jacobian/lean_frontend/proof_edit.py,sha256=zS3liAvlsklTBCCu4nzBuiym9TutxjsZCyD9GrPkN7A,10191
jacobian/lean_frontend/service.py,sha256=ycG_8JkIbvqkCxTcqS_32QUDq73imnu_iiAvnGKU8fI,10579
jacobian/lean_frontend/statement.py,sha256=Hr7fvk6kZauNZqdSrNyJBovjc3Yd64phPcwY79ZRQgQ,32542
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=1W0Rf-p8zoYlYHvwb7yRW1HGGziFrNSZoJ3l4yWSjbY,13413
jacobian/matrices/determinant.py,sha256=fxRznWlso43QxZ7iCY3mVxLu3t4es2BErpfi4KC1UTI,15532
jacobian/matrices/flint_hnf.py,sha256=E1yMDJMiGQfZjiTrIrzUH2v8YuPFec_1iSk1dKXTzJU,15493
jacobian/matrices/flint_hnf_worker.py,sha256=b2X_9MsSgYypO8yLFqL6mFzLURXbUDpEyG8uAYQXh2U,4537
jacobian/matrices/flint_linear.py,sha256=_zu7Qpell6DZeixXhJOz67GYK99_0zOn6QadM1xfajU,30474
jacobian/matrices/flint_linear_worker.py,sha256=DA82XwQB_2YIZrfohrQ59-E7Y73a2XiE6yeov4-Lm_U,8509
jacobian/matrices/linear.py,sha256=5NCx6tKxaCqbcKZJHguWb83IdTyhYWqP9NCtNeFIXio,12764
jacobian/matrices/linear_capabilities.py,sha256=ZNSYAH8HDQTVCurtKSD5Ow1T5rK0-91ghBjLozjQ4yw,25230
jacobian/matrices/normal_form.py,sha256=6yOMty2Bk-mrqMJ4YkIkrxz6yyiopiekxGtbtlg8ujM,13141
jacobian/matrices/normal_forms.py,sha256=qhudXdJsc7cnfgp3NS6mSNyGcyJjx9fGMB6j-P_-k9g,8848
jacobian/matrices/rank.py,sha256=QPbW8dTM2Jl0TTJ1Dt20OF2S47rZOIPWgsOxI5S93rM,10986
jacobian/persistence/__init__.py,sha256=oemPPWwN5IA4OLm2u4-7wot6S3Oq_L8jSUMoy7ou8q8,526
jacobian/persistence/database.py,sha256=fPBdNf0mC0hDSu50xLMDYGc-LCR47seKsp9r2r_o0d0,10692
jacobian/persistence/decoding.py,sha256=J_PHtGUdvF2wZOGLF6P-IX2mGqy5I7OGfLF29QSXkYE,3143
jacobian/persistence/locking.py,sha256=ZyJBqxvFNaqtLi0fsQkpD4FPgSNzJatyCgLQNGdfu68,864
jacobian/persistence/migrations.py,sha256=FQHsxvDYXuwmNWS8xvfkRtHpBKMIL9xWmXohO5-nUHk,13530
jacobian/persistence/recovery.py,sha256=AdjeRFNQQ3SW9S_b79YBAjwgZMd7QAcNHkYg5elbkFk,3329
jacobian/plugins/__init__.py,sha256=FAB6Q42hsutWKZw-IZqhPMCyIe63eWq9OsstXa48bbQ,55
jacobian/plugins/erdos_straus.py,sha256=Fz_rsnw_Pj4IAjjMkyf_XKBMI3Xe5C6c190ThLip5Qk,6814
jacobian/plugins/graph_paths.py,sha256=v86EEP8bkYkYisVmAVzKUaosc-ADkOh6tQZcIf211IE,34969
jacobian/plugins/graph_shrinking.py,sha256=1-RGiU3L8H5EZTuG1Vzyo_y9qfv8gb_3OVJsgqF2aBM,2365
jacobian/plugins/matrices.py,sha256=YNKC9Pq_7riG7I_PBUd30wOi2K-ej-loqctlyJNNCDM,32402
jacobian/plugins/registry.py,sha256=JAwfuip2QAThmSfK1lcj1H5UKNc3HLBJZ80FYVnHwmI,16834
jacobian/polynomials/__init__.py,sha256=AlYGAnC-2Cr4kf--XH-4NCIho39J_xv0VZWQ_s7JA_Y,350
jacobian/polynomials/_support.py,sha256=1-6aECk2w2fNrTgrWdolz5RSRyhDdrZAGu-glKqSzHc,21703
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=HCEepA7uSKDXUiPhqqOjWCsbEgqB8bm713cjbNkdcL4,16695
jacobian/polynomials/inverse.py,sha256=a1RwDNL4lEHxMWsHVv2SopDsQp7EuBFLL8ERcMjFUWA,33635
jacobian/polynomials/resources.py,sha256=jE6ONh1WUXx7-OQJooddRlVR4xJ5kJFpPNX7Hq9thig,1486
jacobian/portfolio/__init__.py,sha256=dOWpK_5AMhVpTrPkvK_yQbWeWM-OqzE_zlXtC_Q5XJg,760
jacobian/portfolio/assembler.py,sha256=BkjZVx04jaxfHsfEaRfGE30U4ZuOfQFm1gHc7swyvJs,2324
jacobian/portfolio/builtin.py,sha256=_NH-1mzjjseeKDuqXx9YduhvMnNuGV_wYaJlbF7F2gQ,416
jacobian/portfolio/core_installation.py,sha256=cqtkS9UE5H-WASzSsiKmzc-LGzEU00-BzLwH6ACdVrA,10073
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=pq0OTzJamzSl7_VXruPbP9MGjtE2nf28TABZKbH3wpY,8117
jacobian/portfolio/resource_installation.py,sha256=4h63OMF7voJxVpae3otlrrfD9X-jvzKFJ9X_cUWzc-M,3342
jacobian/portfolio/result.py,sha256=fNhxDS4piUEn5RNhZyzouX4An9d9n77M8v8Wk8DN0S0,12718
jacobian/providers/__init__.py,sha256=Yxsqfpm_RiuW83Y-Igqkdw_8SFL3hvl33UAXCGNU5g8,1209
jacobian/providers/external_solver_runtime.py,sha256=pzPL9lPRrwfXAf8XzQDQCRurQSgTnG2-niebUxHr0GE,13079
jacobian/providers/flint_runtime.py,sha256=vDAIdX-v03kWot9ZjkFMIESClLopqUFd4dQ2mfkrXEs,24865
jacobian/providers/lean_runtime.py,sha256=sbo7TVmtK9qh9-J7KESw2WHl-FKxWknapQqrDuLqt90,3157
jacobian/providers/loader.py,sha256=YerL4CDB8DHvWvFoJwRcwwMybB1mfaY09qS_lhsP2y8,8056
jacobian/providers/metadata.py,sha256=VAGAmKmOFV9rsJvmuldPX4RpN-E-3AlN9fEADzC7LXk,2394
jacobian/providers/sympy_runtime.py,sha256=3HLWlQnbJ1IhbJVa4YsNgRFfPo5a3qKxFK1gZOpHuE4,1709
jacobian/runtime/__init__.py,sha256=SVmxEbOjEVhBH1bkj0MDXtpjZgLck7anlsOO1RJtPBc,1196
jacobian/runtime/bootstrap.py,sha256=rBpY3zUEGuIzv2YYimhb-o6dvaSsdeN_E7u16Fqd8CI,2994
jacobian/runtime/config.py,sha256=OJXi7PJKbED9UYbl_6f6XvYST73St-QboRMpIgeAgYM,828
jacobian/runtime/model.py,sha256=8vpOiNBXj7kTVbqy6vNjg3IdCxw5l95Hpgds52NaMoE,1843
jacobian/runtime/services.py,sha256=4J32A8EBPiaqvjbkiEMu1qhh3X6xugCEK-cytpxb_Qg,6252
jacobian/sat_smt/__init__.py,sha256=EhB-CMrM_EY-vBhY2oSxDixRvdXzxqi1uZUU_I6QOJg,789
jacobian/sat_smt/cadical.py,sha256=TdU7eL8uK1b8icw4ppXMevB_OVmw-Tc-bTVZjH-sMzM,31082
jacobian/sat_smt/cvc5.py,sha256=A4YNGPFxJ_1Hc2A46Zf5DXbYPUbKp5ozc7GqvYEe0hQ,21139
jacobian/sat_smt/cvc5_worker.py,sha256=q6at87iwytr5-EWuq5naNtnX5e21_KrQkuC83pEoqC8,5741
jacobian/sat_smt/sat.py,sha256=F7EIr7Ygu1bIUpTvZtqkTfDsNzODXtFCamkbV8nIvto,11301
jacobian/sat_smt/sat_capabilities.py,sha256=TZOFyBiX6pBu0SrP0Kjj4UFvfY43wF5O8P4geVCsgDs,31246
jacobian/sat_smt/sat_lrat.py,sha256=bOrU6xwpbj0LA7i_bOITutiGWW9n7_xhmd7dUF3DTAs,14159
jacobian/sat_smt/smt.py,sha256=nD0pPl7DSBH2UzMrghPZkaNYVqmA_Msglg8Hqk8rZas,8048
jacobian/sat_smt/smt_capabilities.py,sha256=uiEeGh59T3UAABQmLSFrpsJ11kQUF6J3vXT0wt6Ioqk,13208
jacobian/search/__init__.py,sha256=sK0QAOdvzFEQUp9cmt2Gvn53FAeaWSE7Oj78K1VG1Yc,176
jacobian/search/_helpers.py,sha256=vsugQbUylF_l_8E3OW-YMdCNYjNcbE30FhMc2IFf3sc,4841
jacobian/search/errors.py,sha256=t3VhI2mgZYOeXhs3xItEi1uFnwERcPEisInx6XA9eWA,532
jacobian/search/recovery.py,sha256=cQc-_t6tfC8_T8myrORFNOsR7dWjWfsDux8ZbUXxn60,8963
jacobian/search/run_loop.py,sha256=6XKw2fpLvGxjUnSzqTMhRjQC5wP-fGgIjcwBcfBbSJU,26053
jacobian/search/service.py,sha256=JngZnfyBzlbwA_dasnTSpISVVRdcaNjFmkemJiWVwn8,49290
jacobian/verification/__init__.py,sha256=IZtUqqxuuA7f60NrpnlY1vhdx_AjJuMVCzhc3GaqAX0,284
jacobian/verification/_helpers.py,sha256=JTOdLTMhkN1OqWTEDwDlrmr12s0ycL7DBpyRmcm7Nn0,3563
jacobian/verification/service.py,sha256=YbFHDtzs_iq7QFxvLDCw9LkAOq08F1owSCHZGhhCxX4,54661
jacobian/workspaces/__init__.py,sha256=rmT1MWJ60xvHT41bwsI3ELbwVM-dCK7JfeX45pBGsWA,457
jacobian/workspaces/_helpers.py,sha256=P5Ac6k1vfrxt4o1IfwL2eLrUGP-1W5DF3Ci9x6Pi_e8,7743
jacobian/workspaces/errors.py,sha256=wTS1GU8Di0kzcwaw6vcSaAvFE-pqgDvmnT1BWlwp9Mg,929
jacobian/workspaces/service.py,sha256=RQ6khj9-dyH4RtgPfR0onrnJOwO0q9ZNSzhbtChwElE,50971
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/bound_artifacts.py,sha256=_rvTVj870quyyfcX_BCniSp9D9dEBEZWcbUK6OB66oE,4722
jacobian_checkers/certified_snf.py,sha256=NFfdJDcT_4SAwpfhc1qR3GzfmcLpb6yixCxUYWgo0LQ,10846
jacobian_checkers/erdos_straus.py,sha256=yvX4_G7gW1CmTo8PnXuiiK4C5oroMrYlZy1zFhZBK4s,4305
jacobian_checkers/exact_domain_operations.py,sha256=2k0mYHPOKEupoYcyYneqO6l0dtSBVfzeUkJ6IIINtLo,35211
jacobian_checkers/exact_geometry.py,sha256=qk5ruyZV-6iLDZdeZSXcN6LErGJzLcPK7CQA0kcwMA8,23676
jacobian_checkers/exact_probability_operations.py,sha256=LdHGCrZwZ8pOyu_Me_Q4SVbI7Lp5I5wbK_jd0SgxLxs,25276
jacobian_checkers/finite_coverage.py,sha256=wc2UHwHu6uOet7XuLmHWOvBJlbt8VGvGY2pvYmE1Csc,16957
jacobian_checkers/finite_partition.py,sha256=8SI1T27UIp6yzbur_9UfT3wMJUFOlh69L5CkaU2nG9o,4155
jacobian_checkers/finite_posets.py,sha256=2pUYz2D6up3maGs7fenf-aIiPOw7Zz9nr2pnbf1quQo,21280
jacobian_checkers/graph_coloring.py,sha256=Duo2tRd9g55JW672n6cvmXCQhgc8sUjr-u2H4khFXDI,10266
jacobian_checkers/graph_degree_sequence.py,sha256=3SqllSrwCsxaSHwIKlp_6Rt39kUGl4wu4u3EFO2seew,8497
jacobian_checkers/graph_exact_operations.py,sha256=BRMqmOL8grmm7EQm7NDQ3oRPJ7Reuc6rmXEnN092-sc,40427
jacobian_checkers/graph_invariants.py,sha256=P_sMbtkBOTkkMjeW-IF3ysiHp2r-xfyYpw7B0ND14CM,10131
jacobian_checkers/graph_isomorphism.py,sha256=7a2ZSU5qeeiOP-ZaDZosuZBZrZ9tJHBCUet4dCp_HZo,7341
jacobian_checkers/graph_paths.py,sha256=82nBN1nGdhnkSI73Xm2eLaDY5pB1ny2wtoOMCZncJ24,21088
jacobian_checkers/graph_shrinking.py,sha256=Vzkj9R8iPpjvt45jgsUKpP2ts6sVY74tLmX-SLo0SCM,3947
jacobian_checkers/jacobian_syzygy.py,sha256=ucGJcGNPbrfOnPrx95Gme6YZhc8cjDm7vAgdb6gnpo8,20618
jacobian_checkers/lean4.py,sha256=_SbFdJaA03abG5vgSyznUTfzqF7ugaOR6FNTnfi9tu0,18199
jacobian_checkers/linear.py,sha256=ZSazrckfGFj7WFagPO82gStACiW3Kic2Jnj_70oCG10,21728
jacobian_checkers/matrices.py,sha256=3FmUBcm5TAwcoLZFnky1GjlCCcIiTfpiidEjyhJBawk,20952
jacobian_checkers/matrix_normal_forms.py,sha256=hXJYWyHlnMeYyS82NFC_03dOMvwxrsxzliiCZvN_LSs,14635
jacobian_checkers/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/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=doEZApBS0Yh4rRoUdnv78geCJ2U0tzdjmBJwIe_AQJI,11087
jacobian_checkers/simplicial_topology.py,sha256=PgeFRnKe73Z6pAwq6MUpUaRBdfpslR82K-72YeI7PJA,36020
jacobian_checkers/smt.py,sha256=WNEXa3OyLUu50ct8fHi889CcXmwIsjKYDkpy9cHlT8c,21844
jacobian_checkers/universal_algebra.py,sha256=vEmJY-JrLgqMSseZ9p7Nhrb0CO3XdK7FUTFqTHShqgg,10883
jacobian-0.6.0.dist-info/METADATA,sha256=M1ecc0J6VHkyZnEKyQWG46dZg8Szu7kV9Qq90tFIEvA,15452
jacobian-0.6.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
jacobian-0.6.0.dist-info/entry_points.txt,sha256=5RLr15rmZ2Acl9Bjv357UdA3776IzJ9E_6n6tBzeEyw,92
jacobian-0.6.0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.6.0.dist-info/RECORD,,
