jacobian/__init__.py,sha256=Cl2C4p2bOneWmeAj84WS5cR_uF1WwzxTVhTKOUW7Z_E,350
jacobian/artifacts.py,sha256=1Wh4ICkKx9T1URt4bWkk1HypMisdqVE30rmOX_VEWt0,4450
jacobian/bounded_process.py,sha256=YbDbiKbfHgEpLKv0FUGqvH_U7OJlPkSOBB6qo5H-4wM,37657
jacobian/builtin_capabilities.py,sha256=mLRMoRfyh1PfOgwjR7S1NrA7uocLk4Z99T8TSdPXjoI,5465
jacobian/canonical.py,sha256=EhI6xGOTjVa-Slp0b35KTgxd6RTvSB_n0j87QvVVk18,9775
jacobian/capability_adapters.py,sha256=SKhamA6u0phDZ6CuTBeJjlerO9gq50EXdCqz__-LXVA,6104
jacobian/capability_discovery.py,sha256=VC6lzBmN20oqx3G-a1fU7xf2wiowUPQblUTzlziL2wM,6302
jacobian/capability_dispatch.py,sha256=Yk1in_nnW-QdIE0Ur0-nGTorM98vVxlw89sbyM44384,11251
jacobian/capability_errors.py,sha256=vLiuq2jerr3lszQtjwEyS3OEUo5ZcNB8pMbrRO2mslU,1998
jacobian/capability_registry.py,sha256=zCn4GBhDSNwT7lK7c2U_obbaXw8Q5ZWMQGDz6XiYyAI,2478
jacobian/capability_service.py,sha256=9vO4Zf_tywnykikl5BXrt8tXDGtsSgadm6A14_EfqYE,5798
jacobian/capability_telemetry.py,sha256=FuCrab_Vf6jLqDxW73FiC6oAJMYSNxtwuF-d8iT4c6Y,1456
jacobian/capability_validation.py,sha256=z1KK-oSuBZxUO3OnQ5FjwBIpw9MYmsK88FpvfPU2Vy4,5568
jacobian/capability_verification.py,sha256=3_rShemxoP_-ck1cchEbMvpbriHHNIQxxAzB0VwohXA,5647
jacobian/checker_artifacts.py,sha256=C71lSHQL0MEzxh3qxEIF2NhY7--YSOPHpTwH3f-kV40,2683
jacobian/checker_authorization.py,sha256=9mc4CJt0xi2WDfaMwxZDGmxBYf7rjw-21bH0GCZVKqs,8639
jacobian/checker_identity.py,sha256=jFCWuZ2DtIDglCTIVfrk7p7_SL9PTud8L9i-1BGycmw,28450
jacobian/checker_installation.py,sha256=JySJ_SpPI1D5Ma8Rnco6YubpeE1BCKmNRumNqbq1u9w,2633
jacobian/checker_operations.py,sha256=3-3BVOXrP0azlqea2DFfBAd-p-zHMwgWK9LKpH-ikmU,10172
jacobian/checker_worker.py,sha256=X_5wsJA2s4eM-nOnElqRLLt6UGyqcMxj4nFfYww2aEQ,8500
jacobian/cli.py,sha256=equhScTnkHnsjeP441wvzLbSPahetkM9uB4aOCP34U0,7436
jacobian/composition.py,sha256=rbTqM0cdMamQhnEDQOtcYqp5rYzaqtUmu5eQeTmrtYA,1981
jacobian/domain_bundles.py,sha256=zau0nXvG97Wf7A2KkfFHLNAnap_UGzj2VXG3uAE3u9A,1154
jacobian/exact_domain_checkers.py,sha256=kP7K84eMfNs0XI2ibxyzeyoyjP3hVnFh71bPVwwp1ic,37617
jacobian/finite_coverage.py,sha256=fIKc_1J0tjigHgTUz2lC9ZNhBFMrjgzT-ylg13ftc2g,22785
jacobian/formal_datasets.py,sha256=JeFXSgougdx_1YUogp-u2dPJGhD4It0kVLuOIJloWoo,3416
jacobian/implementation.py,sha256=qd3tW4Waq_lsKkgqn3edcZXMoKjkub-j6neaUQvyUa4,11526
jacobian/operation_bindings.py,sha256=ztVtOHZ8YD9apB09NygOz2dBYu0gOpd8bEb8JVgyNlM,8285
jacobian/operation_execution.py,sha256=wRIpt3lJEjoetrhl8b9nodFC5hLYZfFT75o1FZGb04U,1808
jacobian/operation_installation.py,sha256=Eqk9SlbWAxOCi1cxzwzSLiI9U1WdPoCDLeYhTU2q1ZA,14276
jacobian/operation_ports.py,sha256=UqIApzveTo9PqIk4GODyfOdwgssA7dO_5f1iQ6bWpKo,3424
jacobian/operation_projection.py,sha256=R4uo730oXnpGwG1wDHf0p1LN--s4RVq9Oeu7I1pnBFA,3513
jacobian/operation_publication.py,sha256=N7XuiV4kzK14OnQM49__Ypm1LNQ7FFow5YOeWobwwJc,4982
jacobian/operation_runtime.py,sha256=PAVH1EgyhsuYp5dTRlyQ-GYNiHI5Mbs9A7cIGDm1Fpk,1135
jacobian/operations.py,sha256=V52NxS7KZ6nA05WomwxS5tS1GJ4_lxUzSSKh03NPZJY,5047
jacobian/polynomial_expression_capabilities.py,sha256=LYiPqVBSHaz22Bgkb5_tLbX5m6jsP0XsTYGZfstgWCM,11935
jacobian/polynomial_expressions.py,sha256=4WEU3xuMRSAtd3zsPKsTdVjJUsYgwIq9QpD8nPDhMxE,10750
jacobian/polynomial_interval_capabilities.py,sha256=4otbnGc4FUdXjbjnQZEP8Ih6FPVMegDTgB3cMF-Isks,24925
jacobian/polynomial_positivity_capabilities.py,sha256=igqw_WQQOz3k3rau3qMJIWkZZaLsG0pW7U4Ayl1Xaj0,27787
jacobian/polynomial_system_capabilities.py,sha256=2-6zo4uCvS_xw1tBQBkj1WATTtJPnp9bzMO8lZkXwFI,14041
jacobian/polynomial_system_search.py,sha256=i6wvdXPInqVD823v9MavPwnSt2n-ekRxeZldv3wyXK8,6720
jacobian/polytope.py,sha256=vaP_27QCbjulPogOJ0KWkeg5WNPXNRTpcuJuAsK6Umk,24165
jacobian/polytope_capabilities.py,sha256=ELEcY-8Ku0L3NaimLsMuGL_7-TFxxbBvLlAKtk2kDiw,3633
jacobian/process_policy.py,sha256=J_qdqY4FY4NL5RXjpwFovurEifGEGO6cc_Clf2TCqys,8918
jacobian/provider_measurements.py,sha256=DqfBtwdeuLU7m-wjqzu6k9Qvu2bX01aoW5V_4NDnL6o,14176
jacobian/provider_runtime.py,sha256=RXb2lhztWvbNniqqCqmu9TZSumhyirnPVFVYHRQJYFA,23985
jacobian/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian/registry.py,sha256=TyknVPfR-p4uzTst05_ggt3I2mLKYuLTzpt4nKEo9hQ,24050
jacobian/schema_registry.py,sha256=ufvQyU0iZo_DmU2YGfFRF-gu2QTBrPT-Cgz-NO_bmV8,14386
jacobian/schema_validation.py,sha256=5tb5Ol9pt2izXpgYSz4mBQ6YaehRhmaJ0L44tuWvs7M,760
jacobian/sympy_polynomial_normalization.py,sha256=H2LfrAh-VTO7BHEIaRShTUOiYUvmGjJ6k4zqn3WhDi8,18435
jacobian/sympy_polynomial_protocol.py,sha256=kCoU5AiwzkUtKuwJw2GSZSpFZUh5_E5Bb4uvSIpF6ag,1857
jacobian/sympy_polynomial_worker.py,sha256=FrKsX6f9GFQuIgG4N083NmsY9IQ97asMLO1ABBwJ0Dg,3941
jacobian/universal_algebra_capabilities.py,sha256=9fRwIuoZ0rj4IC7tHt2RS0Ks5dQduPRq7WiuxYfauDg,32764
jacobian/validation_diagnostics.py,sha256=Y3Ek_JKsY-2yyxiFcJC3H3aplqvJPm_DTRZT9T_Dklg,2482
jacobian/value_references.py,sha256=zDBbtB9RLRIS2GqZzZUE-Yt1puIyXHYVpDrw1vD8IuY,4042
jacobian/verification_capabilities.py,sha256=cSIYHo2uH1pvHVURjUg7f1tIoUyQvoQFL3iWURe8E1U,8031
jacobian/worker_environment.py,sha256=JSQnLfszDdGUNB6jBHGt0jxXhP6qfyqTVnjSVGIAakY,1919
jacobian/adapters/__init__.py,sha256=h1dX8D2bBYbFWXDfqELF-SGEj5yMY0VMqyzL3eOHkCI,51
jacobian/adapters/mcp/__init__.py,sha256=Tjx4vCnlncYjFLmq9h4RJxo407DgWjxv_atVs5xU-e4,23
jacobian/adapters/mcp/cli.py,sha256=LK9JXLic4l-3nIrdzYCiMPUJdNqGe3Owv5I0moY5804,852
jacobian/adapters/mcp/constants.py,sha256=i_141J_N3jy1LfCipVQx2OfHfIPDXgNxMu2cOlXXbyI,87
jacobian/adapters/mcp/context.py,sha256=zmPtzPoAL7P_082hknqYWq1-ACxg-_7qGKBzzcCV70g,6721
jacobian/adapters/mcp/core.py,sha256=_ShZQafyN6Jxgm3P0TCzSs2a4xkcF0SWvgewlHWOMt0,8344
jacobian/adapters/mcp/deployment_identity.py,sha256=JJpjIraZCx7aKtgSUiya9p0ZP0rmZCWlUANgIAfaWRw,2889
jacobian/adapters/mcp/guidance.py,sha256=Z5VWIwj_2bTIXz7WAYM0WCcEH4zKJ7aj1NYggZGsLMc,5051
jacobian/adapters/mcp/lifecycle.py,sha256=mpzb6CHyg5IdaHIBWH424v4u3eMigYFZ0qCk6MlY4Og,1180
jacobian/adapters/mcp/projections.py,sha256=uWeRY5aMJkdMTAyfqCI6HkjBGr7YAkKoTExrWIGHKEM,5143
jacobian/adapters/mcp/remote.py,sha256=8Uve8qi-CalMy_bkFHDO6SMia2F1RpTgFEZfD3jGRCM,19988
jacobian/adapters/mcp/remote_cli.py,sha256=g_G8IPHPWGa3_78M_sf3_hwQcS4eL_9qc4Kqz7F92Co,5663
jacobian/adapters/mcp/resources.py,sha256=WrrywubrlbcADWC9INPYYsBGsqPKYJ9EVaSYStS8UG8,2024
jacobian/adapters/mcp/server.py,sha256=nZiotkPwOUlkAk71LCmgZPo2nhc38AaFeF7HN9G9qL8,3609
jacobian/adapters/mcp/tooling.py,sha256=tSPMANap9mu4K5q3JQGhWvm15IxWxjyEYdmCo49hz9Q,15919
jacobian/adapters/mcp/tools.py,sha256=8m3kMnRgD6lL-lQ2x3J-a1sntkaSnp7BXjG5gH35L6I,13153
jacobian/contracts/__init__.py,sha256=2n5859iIyqgWAcx3Tj-YA0JDXGO6XjDMDpKX-5GFnhA,232
jacobian/contracts/_verification_rules.py,sha256=gFyX5byjgdIzOux4zevg1emtDKzvcxvE2IGoYJm0lTQ,1959
jacobian/contracts/arithmetic.py,sha256=c49M5tRw63kQCQhxMXaUZCsdE8M8l9YiilpVkX1R0sQ,3752
jacobian/contracts/artifacts.py,sha256=zWT2mfa1N9V8ernjsmH-w3yYpaXdoz6cpXgfGcWgp3A,766
jacobian/contracts/base.py,sha256=gMGnNV1ozbbAKWUUSiYiilJDm8DiSCupnZlhVDwbfeQ,274
jacobian/contracts/capabilities.py,sha256=XFGDXXDjgN_WrLgXKQbmncizng75ApiJZ--t-0S0dDk,16999
jacobian/contracts/certified_snf.py,sha256=JLWaAUlNd8gIUExn743KqK1sn_EROEsiM3TESAKwPc0,6764
jacobian/contracts/checkers.py,sha256=aEK6lvNFGKojvUNBu5JCtoMyI-B0-vssBJY6K9qhsPE,13008
jacobian/contracts/combinatorics.py,sha256=T26j8eUz8k6D581WHbMKpvBH2_1QZUokeit484I28wM,44283
jacobian/contracts/common.py,sha256=9DdCDIjI0OoNggq75X_3Q4n-TnBLgtFHGoMfCYPxFL4,622
jacobian/contracts/domain_operations.py,sha256=yDE6MezpIhB_GoTKlzORdEH1HhWyA3cWQ-5F7yachC4,1232
jacobian/contracts/evidence.py,sha256=o1D8zEA_UVxY5GGgsll8ftywBYSN5f58sPm5mY35cSU,2216
jacobian/contracts/exact.py,sha256=crAlsJhE4CsXpk--9zQDxZlRbHeLgVyuJfQeDYGFI68,4035
jacobian/contracts/exact_domain_verification.py,sha256=31IbWi5dZGylOrIB152U7X_F8bY-axGfmVeNmktsiyk,5816
jacobian/contracts/finite_coverage.py,sha256=6W2K2eioAkNEowWh97HdwLAjeJ9HhIhHtc6y1IIiUmE,9213
jacobian/contracts/finite_sets.py,sha256=T-AfxctL27zIAWaE9VLdIoopb2U7MWsc2YtIj6WgZX4,1817
jacobian/contracts/formal_datasets.py,sha256=kgw-o-63pm3IYlxYwW9ba2EfvpGjVn3zX9Nc_TTtkF0,15252
jacobian/contracts/geometry.py,sha256=qSiEXRjevA1aQHynG4aXcwqf0fmju23aQLP5iFwfzDw,14703
jacobian/contracts/graph_coloring.py,sha256=LOqh_xFGucUnJCleLnPz-uxfLgXhQB22EAOldYq-oqs,4150
jacobian/contracts/graph_composition.py,sha256=70jfMhFjtRnOaJeaz2mgRqoG8Ec4-70L5pAiykEHZdI,7033
jacobian/contracts/graph_degree_sequence.py,sha256=WjsOARAg0Ia-flCAXx0wTHJWPwBg_okEAZp-yDwCV5o,5109
jacobian/contracts/graph_distance_matrix.py,sha256=1-PFuhgotFtUmUdgfEXMmUYHt4J9BC_U76xFIwF81j0,4595
jacobian/contracts/graph_invariant_operations.py,sha256=43kx6CN_3LGkEBPcsun0FFWuK7OkrVIGp30F7UBnQAE,8701
jacobian/contracts/graph_invariants.py,sha256=by8o8auJvBPen5csHnVQsO77k1nfD0ET-LUqUJDlFdA,11012
jacobian/contracts/graph_isomorphism.py,sha256=5_ImYwV68ko-EzmlLpwR3YzWNklpS3M5fMMF2lp1jio,6428
jacobian/contracts/graph_optimization.py,sha256=-sfyRua-7HorUcGEoDJFMcDbLPwaGyi00B2cSfwAm1E,20341
jacobian/contracts/graph_symmetry.py,sha256=z-PV5HSee1eQCcIFHrOtzpPWzJA0LdeY2kNs0BPmqy8,11435
jacobian/contracts/jacobian_syzygy.py,sha256=ksJ2aGbPT_3jE1TIQS8aRyHycykuTyIe_JfBZIvc2Ic,12024
jacobian/contracts/lean.py,sha256=LQcPeV8N1v_kR5j8GLvcZ0WpiSu-ERaWU4er_QGqicQ,15561
jacobian/contracts/lean_exploration.py,sha256=r6qiTxRX6ZAlencx5Km60b8WGCYXbbdyRvaOjZc-Frs,9416
jacobian/contracts/lean_metavariable_fields.py,sha256=flaN7YE0GX16Sy3Fqlk17pSDVQVcyoD5BnawDYb1jMc,4185
jacobian/contracts/lean_proof_axioms.py,sha256=4auqCgP0zg_3eCjM-N3aem-OLKLGyKssX1kzd7nnVj0,3350
jacobian/contracts/lean_proof_edit.py,sha256=NNkoofz-ZMZNCg_kqeLUmZYFqf2yM6pWqjHq1cF_9rE,3025
jacobian/contracts/lean_proof_state_inspect.py,sha256=lFZPk7iEJsSsg-hKBTiT0hqANgvz8RGwbl3ew9C4P30,2307
jacobian/contracts/lean_statement.py,sha256=hpmAyXjeJFC9OT9-8vzDpzKrpMrzg1NJBA-tDSbD9EM,7639
jacobian/contracts/lean_term_apply.py,sha256=M8Q-PPEpSHuVu3vvOQk-wHk1cFvC_7UnxafP3-XNAy4,2748
jacobian/contracts/linear.py,sha256=qSXoq1D-29wzOH2M0-EjFH-iQGvc148uk2eLxtOlxkw,4650
jacobian/contracts/matrices.py,sha256=_e5i2sVfK0wUYcJOQnSIMlqfZJmgtqjbUTyZuYThb_w,2848
jacobian/contracts/matrix_lattice.py,sha256=JCg1LVUUcSea9GYs88hACl7Cq-Y0WPlX_rdgMPayCP4,2319
jacobian/contracts/matrix_operations.py,sha256=DxjxhOuAAHco6iaNlBB8lojwnN7u9bn7idxjq6KcD_w,11807
jacobian/contracts/nullstellensatz.py,sha256=_JUMsHRPQkIXlKeJBJO2ZsIc_7hp_vJ_TVZ80dsFEn8,11808
jacobian/contracts/number_theory.py,sha256=Vw3VSE0C162C8zK6D0iklCFjE6rtBXZ_itOQfbRqlio,24212
jacobian/contracts/polynomial_expressions.py,sha256=2XD5w_tR_d9RAxdTDOk2aCvt5OCjbsW8WXMyetKoXHM,17773
jacobian/contracts/polynomial_intervals.py,sha256=i4_wnvh-p6-U3EODECwhBQWAgPpM0YB1njmtxOozXKM,7882
jacobian/contracts/polynomial_operations.py,sha256=tPRB48-F5JAY0O3Pl0UxUAlPv4-JHer-D0eBew4So1w,19660
jacobian/contracts/polynomial_positivity.py,sha256=R48fANsQvTNfiAZymWvbLCWQCnmUK8hptgAZnpnT85k,5179
jacobian/contracts/polynomial_systems.py,sha256=_Nqwp8MuP5HDg0Kw1ei8L2J2UgvaVv0WUte8u2lXz8w,5348
jacobian/contracts/polynomials.py,sha256=iCh4YASBjz_7idNTfR42Gr0w5ZdKalkF4ovwL36Jyfo,50210
jacobian/contracts/polytope.py,sha256=H6wDeA2TOBwtKZ3-2HCNQ6YY9aenQ3ow3Zy5Gd7t7c4,3842
jacobian/contracts/posets.py,sha256=LQujk8VMW8r_UN15YTb2QjVi7tw0-tuHU2iggbuOZKM,23319
jacobian/contracts/probability.py,sha256=SJ0P5NDh-BNmNxvGgj_69efG29N34fyeQP3V4jvB2yY,32747
jacobian/contracts/projective_geometry.py,sha256=wGym5tExBtkKXQtnxk62_xebwKNA7xy8Iv_wCVjJBs0,9952
jacobian/contracts/provider_measurements.py,sha256=LuVswODsqWEV5fGqFBzFZ-6VfUfj9fcfhZQIt3RN3ic,2976
jacobian/contracts/rationals.py,sha256=B1c1v901mqc4BAh_opFcgibPjIOPuX4jUpnwL5e1dDg,1611
jacobian/contracts/results.py,sha256=phII9TU3FkZpUqufQJjyzEbVAtfZFI63ufWJZ29TWlE,4003
jacobian/contracts/sat.py,sha256=2ShAsPnSqv2b3nyEMNQYmCiS4Y7OkBGKQlcDmNLcO20,24629
jacobian/contracts/sequences.py,sha256=_pJ00swkBC7LcCHPtwvnDhiBsHwWPoOkUoqc7TlmOMo,1902
jacobian/contracts/smt.py,sha256=KuCkkppAPzwQo5k1W2JEndS7bUKYzRAUZm1WuLHknMQ,15349
jacobian/contracts/topology.py,sha256=ybu4zBAA75EtCtwvAQ2oGT5v7PjZkAIej0eIkXKowM0,30189
jacobian/contracts/universal_algebra.py,sha256=WCK6DHIxlFI491LL-upitLph-TeyjAwI6A06m7piN44,13555
jacobian/contracts/urls.py,sha256=LBwYmhSr1t9SzzY_v8r7tSkjuz3prMh0qdbMFssw4FM,693
jacobian/contracts/validated_analysis.py,sha256=sf6Cp5_72mncQjdO8dXhWVyWWp_-UoqW8XtKBsvCmQg,10787
jacobian/contracts/verification.py,sha256=MSWyWJF7TpRgJrbqKjBThoVAAO_EqlNBfs_qPsPsv0U,2071
jacobian/domains/__init__.py,sha256=Eq045ZX_qG6TvMYKKSonfy0KGfZdkEaDvF1EE3HfMos,52
jacobian/domains/_certified_snf.py,sha256=xM-MT4gN7djJHyS7Fam3j9Ea-L-pSr9gWhtcXoTyNHc,9881
jacobian/domains/_examples.py,sha256=tHwzOMGonz2pI4C_nryz4TN96ZtGpuKj-bo86ERIPno,401
jacobian/domains/analysis/__init__.py,sha256=_7g7t9gp6GizQdpJnx_0zWA9oKWHdznkZXz7-adDYA8,159
jacobian/domains/analysis/bundle.py,sha256=tBNaW1ypZ-BfC3MWE2hPYi6uR4XrtlHyDMUVSModIOg,1876
jacobian/domains/analysis/operations.py,sha256=8TsJOsIrzHWciPua8xRxNpTB2WWl2UWhyTSyY9jQJYo,6127
jacobian/domains/analysis/protocol.py,sha256=cOxO0lXRvbTPpX2FoxYIKw1y9hx8G6aQvAxPeYMXBCk,2253
jacobian/domains/analysis/worker.py,sha256=1oGPoBvnOIjZE3p1wY5uW43gTZqw2FcPNq11rCexvHc,2419
jacobian/domains/arithmetic/__init__.py,sha256=u8W7HVXQaSWhWPeMiHlkUzyt_WxZ9qn5DPCDRkg48bc,169
jacobian/domains/arithmetic/_support.py,sha256=_mUvAE5iyASptE9PJOAQVU_908-aZAgvy4S-yMx5_xM,394
jacobian/domains/arithmetic/bundle.py,sha256=rjWCivHKiVY_HqhhQA090asyXkDR697zTTJq4UQzl8s,2875
jacobian/domains/arithmetic/integers.py,sha256=ZRnkHhhhGKdpfypHldOTp3Ak6IGevoLSStRXCvkXVGo,3842
jacobian/domains/arithmetic/operations.py,sha256=eQpT2-c7nBKPHfciUflQKbJH5d_UnxID1BKQlf41Je8,7225
jacobian/domains/arithmetic/rationals.py,sha256=dS21cXiIMfmj4yCPUM6IC-g_cEnksyN5oEfdnzYkQEk,8595
jacobian/domains/arithmetic/real_quadratic.py,sha256=UlLuqS-h1C2m4llqDw1Eo0DKgEdFCq2cX5RJh3_E3gI,3488
jacobian/domains/certified_snf/__init__.py,sha256=y4jiDaiLHa0MK4xcvRjqbrSB7rr3DW9ByEcokLZGlFo,171
jacobian/domains/certified_snf/bundle.py,sha256=gvRMUnciKXGK0U5yNGu1uGFm9z5FNjZKs43QSQ6VXfI,2610
jacobian/domains/certified_snf/checkers.py,sha256=3hiAg6axdiVA8vT7nKCqpJznTLx6BrkcfdqzRTtZsAE,1822
jacobian/domains/certified_snf/operations.py,sha256=Y3PMBfn0jMGNFjUb0YvvhM36w1vWixcQp8WVvTZldVU,2613
jacobian/domains/combinatorics/__init__.py,sha256=M5_nL8-zUggx5iDhWmvCfA5c2Px_88AUHGOqD_u0iBU,160
jacobian/domains/combinatorics/_support.py,sha256=ifJjeMSKRb3YMACeSvOHbtHElDrKkw1C9hxVh9htrYg,576
jacobian/domains/combinatorics/bundle.py,sha256=KrCNNkRWTQDuimCJaJIYCCM6Oi5NlLAffngtR1g6nmo,2351
jacobian/domains/combinatorics/checkers.py,sha256=agRssvdmhT0LMuQ0Vj6Is9W4p_1-1X1iZ5VgVHxJqXc,5609
jacobian/domains/combinatorics/counting.py,sha256=o_koibcOy6mLusMoY4d_yDq7kV75ynznmJq2GXTze8I,5231
jacobian/domains/combinatorics/difference_sets.py,sha256=1n0I93nIzGpT4ZCiKtIGu8sV0aGH-7-7C6nv1br7yCA,8580
jacobian/domains/combinatorics/operations.py,sha256=ucqgO1_GHrPDqYlB8NU8ahIvpeTEzDLiNF7018eBhRM,5156
jacobian/domains/combinatorics/partitions.py,sha256=l13vc5i15lD3X5Xncox3_kvmNxgabomGDMPfK507lvw,3266
jacobian/domains/combinatorics/recurrence.py,sha256=0g3A4WI2D47s2iBs6RF-Fdn8D1p0Ozc986EBXf4OVPA,8796
jacobian/domains/combinatorics/recurrence_series_operations.py,sha256=T3EBWhNustI1HxaO0J2TXGsp255rHzdxpT0l08ISC6g,6591
jacobian/domains/finite_fields/__init__.py,sha256=bJneD-cM-bT_ImKWb6dlw8csdkNz8j7eA7DQ97UplS0,158
jacobian/domains/finite_fields/bundle.py,sha256=PvFknbnwD7pMLgidAb-zeF0jKzjkte-fa3O7aERCCzQ,17993
jacobian/domains/finite_fields/checkers.py,sha256=wTaNDm6EZ6GLOs3o8W01eFmZPrQtSVK9FZ-LBacnltw,5360
jacobian/domains/finite_fields/contracts.py,sha256=V7Z4P3WRXyBbPTINzjOvV6uDK7s6AIu0b_GTOZyrLtQ,1883
jacobian/domains/finite_sets/__init__.py,sha256=b9laLadsuAg9FS5T7iySDK4F1ERUlz9YQQEMYaMTLbw,157
jacobian/domains/finite_sets/_support.py,sha256=flRaRfh_YkCySBkDf-eupjYKc6uRRYNEcN4n_ljwNG0,388
jacobian/domains/finite_sets/bundle.py,sha256=ohPqMXbinFxwH5XvQ4pTgrkQWYadVseEndzn1dYMAKI,1966
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=ezq0zsLvEdoh5-w709WDdEg4DYYDi-j5n-JpqeJkW-4,4781
jacobian/domains/geometry/__init__.py,sha256=jJMWFuvCaEXOYSUCKEicazo82HNSXMWK__U92dlDRro,156
jacobian/domains/geometry/_support.py,sha256=sbB1GZDiL-arEc05MEaGoR05QX9ckgWmip8NehYagMg,383
jacobian/domains/geometry/bundle.py,sha256=Jw-UXjWzvM9fkfACic2U4B3bHgtVuGN3A1fQxp8vd-4,2292
jacobian/domains/geometry/checkers.py,sha256=Ro3u7BDDjTHoxS500S9gYmMXHpJ-8kbXEM8hUnsN6EY,2332
jacobian/domains/geometry/lines.py,sha256=qAmAeIp-ZUSwSaV3m24TwWe61D6fQaYD1n1K17hxIwU,5737
jacobian/domains/geometry/operations.py,sha256=yiKn6K3vvpvLNGuXuCi9ruFcMPGdfQMHAhfXtjFPWr8,13730
jacobian/domains/geometry/points.py,sha256=S-rHDmknISqL192HOAYOkjujLmX4wS9DNtHoP3-PKXQ,4512
jacobian/domains/geometry/polygons.py,sha256=EMf7TZY8k2Vz_pr7wGEI3WrDUiQOk9RFR6y_BQwuX1E,3681
jacobian/domains/geometry/segments.py,sha256=lQpfzjJvUQe3PdX85odG8Q59jGtdXmwRCZbipjMy838,2773
jacobian/domains/geometry/triangles.py,sha256=HzU3tB6FERbb03rthYhos4I32cc2IZFgkNp73UfubI8,3564
jacobian/domains/geometry/triangulation.py,sha256=iYtkMCxa2Y0TBvAmRCFYqgnsF6naNSK4FqoQ9axPzTw,3351
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=a2t_SznFVgu8b03zRmqXCgVrsWoEcRi5SsbswTtr0EY,5818
jacobian/domains/graph_optimization/checkers.py,sha256=Ay33jWU0zU5LSjogdMHWf_cynyIFZo4gnD-i0x3ABEs,8957
jacobian/domains/graph_optimization/chromatic_number.py,sha256=V4Q4GsH4aFHkqoOYelgUL-i548P03Zu4v7MLqD5yioY,3073
jacobian/domains/graph_optimization/distance_matrix.py,sha256=LXqHqqMm6cU3dclMIxCgIpvvDH39iGGopW54o08C0hs,3758
jacobian/domains/graph_optimization/exact_search.py,sha256=xIN7rWus2LABVoJt2LFxFch2dIPecpJKiZP_PaQNYaI,15172
jacobian/domains/graph_optimization/finite_optimization.py,sha256=eDcFHkWQ_WSM5_QmRLKKBaBQFPsWe3NibeWLkpejLgE,7447
jacobian/domains/graph_optimization/graph6.py,sha256=puFlna-c0Yz-8rpLlKXoR7h_QOxB6UW_5iraGdFUn7M,3939
jacobian/domains/graph_optimization/hamiltonian_path.py,sha256=3XXo5yvAdIHFppVAmqJZL_8KlfdyuvAcGnStf2q3PZo,4219
jacobian/domains/graph_optimization/independence.py,sha256=L-2pG8CJO7VIHtm55O7KQwHK2-3teLI_4r8rofpsG9k,2918
jacobian/domains/graph_optimization/invariant_bundle.py,sha256=g6D2CQRn20JcjgzyFHxjT_azSa-QmlSxx9w2J3G3EXA,3460
jacobian/domains/graph_optimization/invariants.py,sha256=xBbrupQBqn7gwD9L9r5GoQdus4pjtQfsncl1lVJFfiI,22674
jacobian/domains/graph_optimization/minimum_spanning_tree.py,sha256=NmtJJRHu7GH_dVLFJZQAQFlb0n864U_FlvMU_jk4Xsk,8446
jacobian/domains/graph_optimization/operations.py,sha256=3CCw7J3wakyrb4of24fefjB5l6G5WOOO13woS4-a-bM,7946
jacobian/domains/graph_symmetry/__init__.py,sha256=Vqdi05hERi9aLSHR3BhT7th4JIPriSBMVK24sg7sVZs,178
jacobian/domains/graph_symmetry/bundle.py,sha256=BuWuo9BmyLFiZyy21E8TYX58nxprcLirAAzHayRyCQ8,2832
jacobian/domains/graph_symmetry/checkers.py,sha256=8VWY8WW88XBXZb7STeLo8K4-mKTj2jG2TbjtNFmxneE,1758
jacobian/domains/graph_symmetry/operations.py,sha256=sZhN671aepZma8y0sNXJXnkWnFmdkN92zIUxDlnB1Uo,5520
jacobian/domains/matrix_lattice/__init__.py,sha256=Sxizm84K9JLhpqxUpbFT_2zJ7O7LE_C6fNIJoJv6IFA,732
jacobian/domains/matrix_lattice/bundle.py,sha256=n-KLFwrixPSJv_gZBdhBBiUrriKgVttwN-TXocYukkU,2666
jacobian/domains/matrix_lattice/capabilities.py,sha256=PjYWv9rZL-BBsckRbB051K12uKLYwWsN9vdTxlLIhE0,15173
jacobian/domains/matrix_lattice/checkers.py,sha256=XkCdzyNii9WhSLw_X5iCVkACRlGmrDlszzSdJd4nJKY,4374
jacobian/domains/matrix_lattice/conversions.py,sha256=BxKCZwh8MHm4iXeqcQ5gFemCizr_XdxIpJUpATKfsgs,3456
jacobian/domains/matrix_lattice/hnf.py,sha256=4ia4al6tQAw_42BPD2SJ_O3S1aF5lhp_7rQd19nEE-A,6061
jacobian/domains/matrix_lattice/hnf_protocol.py,sha256=5HqBydEy9PXUrZjo3uk5X2nhp-aCFYSb-_9mVVXt1PU,2065
jacobian/domains/matrix_lattice/hnf_worker.py,sha256=bOB0MXMY9yXdYEpk2XdYjnzpG5giozbTnLWtO8CpP7E,2954
jacobian/domains/matrix_lattice/lattice.py,sha256=NQs1QqSzTE29--aT0VL69NWFqivet-UMLEk3pIpKTCU,5785
jacobian/domains/matrix_lattice/lattice_bundle.py,sha256=fjlTdqqH4wcJekNFXD6YRUJCyNcaGA3eLT6kJzjd794,2132
jacobian/domains/matrix_lattice/lll_protocol.py,sha256=YAznPfY1ypnbB-16dfYS-jOmV3p8zRa6l6OWFwxk-TM,2366
jacobian/domains/matrix_lattice/lll_worker.py,sha256=QbWuDD1VKOz1AJ8J4NqRIaGjNw1h7elhy2djECBJWos,3924
jacobian/domains/matrix_lattice/operations.py,sha256=2XAzFzpAIQ7kkNUJd3Tbo673kg9-bDqjWPCZmBFy1Fg,5635
jacobian/domains/number_theory/__init__.py,sha256=w4XLqufK-i3a7ZutGv4610qdlpAGfs_VXjdHuaptzno,181
jacobian/domains/number_theory/_support.py,sha256=FODjc9a6miqv9MSUBGMkplUPFvrefvv33x56h2Tpq0g,561
jacobian/domains/number_theory/bundle.py,sha256=VOFSjw41ZUpFN4bCNtptW5ArDrQDNEKozclXTI03Rj8,2905
jacobian/domains/number_theory/checkers.py,sha256=Ul8cVBm0ou0Zxv2Dtye3jTJe7tbQWS2rsywJNe4HTYM,7537
jacobian/domains/number_theory/derived.py,sha256=92N9J4XA1Asy6H_dwO5lk69nWPAYh2QHHT8nzEkgL-0,2184
jacobian/domains/number_theory/derived_operations.py,sha256=gyTn95I8PvIxjXrqQSfpegvOjZq0f-935OsvB3uxHBM,1304
jacobian/domains/number_theory/discrete_logarithm.py,sha256=UuAtVU8ywElncuAPpnO7ePsipaIuGjTc9OPm8IQ2bCk,4900
jacobian/domains/number_theory/discrete_logarithm_protocol.py,sha256=tH0v52F_rkSmZ4B1kyYWmTFms-kz8BVDp4pTsL2l-Qw,703
jacobian/domains/number_theory/discrete_logarithm_worker.py,sha256=djnGf4SRheEI_vSVos0v3tEKgNYK0xWqPoLxhSC0HOM,1864
jacobian/domains/number_theory/divisibility.py,sha256=_hphekoVnevzSo3fEqqMEErztgDL8WIS7HGTZFjLJVY,7777
jacobian/domains/number_theory/divisibility_operations.py,sha256=oTHzG-_I86NcibIDd6Muydh84bXNdqhC7hEBH-l5lWc,3591
jacobian/domains/number_theory/factorization.py,sha256=DQylhtSymLTmKkHB7-4o_lu0C4Uu-r3vQvekFNne5YI,12971
jacobian/domains/number_theory/factorization_kernels.py,sha256=CZmgdt1g3xU30Cc1uOoQGg3M0PLhej2g_7f531GsfyA,2541
jacobian/domains/number_theory/factorization_protocol.py,sha256=LDslTKWM5M6Qzb0g3CIIM37VaVC8Q3m7Y4E1YYIJlEo,5690
jacobian/domains/number_theory/factorization_worker.py,sha256=aGSE0Dr7Vet12L_jFjTbg-KyI4HiEnL6qmiCobxXQ3g,3037
jacobian/domains/number_theory/finite_abelian_groups.py,sha256=icQu3pX8DjfhPjytLy34bX6L_UlVo1uJY50GPSDYCn4,2655
jacobian/domains/number_theory/modular.py,sha256=Ox4eNquXQjtgQqn7Nc_xS-9CkQpwuKfjmC_2-tUilI0,6431
jacobian/domains/number_theory/modular_identity.py,sha256=UEOaDR8e161B2EokdsffQPFKpFWHqtXKz5djSbvXdps,3454
jacobian/domains/number_theory/modular_operations.py,sha256=FnsyyPyYmMnwhJYRK-Rs3GzuR99KI1_IO-8F6p4fDvc,5017
jacobian/domains/number_theory/prime_operations.py,sha256=VXBL01I_OwHmwlO_1pFYDUbxKlxNyp4O1jdcdAI_waw,1795
jacobian/domains/number_theory/primes.py,sha256=DENLNiofv-HZ3T_CDbUGX3HWlkKFVk6eePkkHAnUD1o,4077
jacobian/domains/optimization/__init__.py,sha256=g1-ReNB5ej8SU59Fm9doPgwzRLOSrqU5l1Li1NOP6s0,174
jacobian/domains/optimization/bundle.py,sha256=f6plpd4VWj9u7ft7HLQdi7jbodwZBUNqFFpfg5gdiL8,2030
jacobian/domains/optimization/checkers.py,sha256=CkQHuAR8H96dI-YiPuy2CynuqahdtoOBwnVyrL1Soso,1652
jacobian/domains/optimization/operations.py,sha256=mBbiPKrKgbLPRWG3OOJPTBKTl__6QAosbJW47xUzNsk,4909
jacobian/domains/optimization/protocol.py,sha256=6JQxcW0ZdTbU9iKG3a3sjRAOQrDpGL1bB0Vr5RYS-KE,1256
jacobian/domains/optimization/worker.py,sha256=ePlknr-ceGvnSkXuMZqU4VxlQGUTwmcaJl1ZQMkxsxk,5495
jacobian/domains/polynomial/__init__.py,sha256=j7-a2gTcofqFTCzPRfzXlFZJwZyisblRBVhdWCmXGMQ,466
jacobian/domains/polynomial/_support.py,sha256=eOf0n8iz0y40uFPPuvlB405vSqw92o5mw6W_wsi_6kM,4465
jacobian/domains/polynomial/bundle.py,sha256=smjhMjkrSNpXFVd4MfcYM3zGdwjQMoLC09IplgvNEZQ,3544
jacobian/domains/polynomial/checkers.py,sha256=v4XQjY9XOMLIBFodcvRQwml4eYQMJtIn-udnY6Uf0Zg,10092
jacobian/domains/polynomial/conversions.py,sha256=n0W_ncjs_ygg6dqHgprHXG470bCPeBtCi86R6am5a6M,2797
jacobian/domains/polynomial/elementary.py,sha256=A5_2bx3EcIuyE6Ip-wbj8G88GL4h_kaynmvz9dSE2KY,14079
jacobian/domains/polynomial/elementary_operations.py,sha256=ZIyeB9Nx9T_qFid2U6nsBQdQD8rC5tqEgUvuHBPgDEU,10179
jacobian/domains/polynomial/groebner.py,sha256=vawV3x2Np6H_Pds4yToWX_A857OELXORbDp1BwHgHJA,5951
jacobian/domains/polynomial/groebner_protocol.py,sha256=Etfje4iQ7Lrg0I88ue6v-vVpHQbOGoJMGABBJS2Ph2s,2138
jacobian/domains/polynomial/groebner_worker.py,sha256=25DtcyiiR1kNbakq0hKSnVUP7pdpjVLG0KcncIfbPAI,1752
jacobian/domains/polynomial/invariants.py,sha256=sU9b-6FfLg6s9sBbIMnOEliCDFf5fkOHENyUCwJ0GUI,9246
jacobian/domains/polynomial/jacobian_syzygy.py,sha256=BJbyU1czZPdkoY5xRAFWbOfro131IwFEUhn01345gjU,16203
jacobian/domains/polynomial/operations.py,sha256=yn2FnZqsrW5BTVL6YD9cLREsssz5hkR3LVy-4PJxHD4,7384
jacobian/domains/polynomial_nullstellensatz/__init__.py,sha256=MXMzppkJP1JSwLfwerM7_Wjy_xUnelCM-VB0ThPy4UQ,69
jacobian/domains/polynomial_nullstellensatz/core.py,sha256=bltysqiVqv-IffnYy7H19DRAZxlOnc7Sq4rh_ncsURQ,20824
jacobian/domains/polynomial_nullstellensatz/singular.py,sha256=0WMaMkQh_VMd-gSw9f81oQAn5M6p7llSnDjHHQWEMiM,20852
jacobian/domains/polynomial_nullstellensatz/system.py,sha256=ePssxt1XTaGe-ylq9JyQj-PoNOhuMZaUxMXvb-x2UO0,4649
jacobian/domains/posets/__init__.py,sha256=JG30tX60CSyR9dNalh3MDm-YR_gEQPw7Vj1DxeoQbm4,155
jacobian/domains/posets/bundle.py,sha256=Pdp_4mQzerwKUfSm85jECFnwc8QPfekkK3axoGrqKtw,2785
jacobian/domains/posets/checkers.py,sha256=5usOqIlXerz_iUR3h7BbjhfV-ddR0cs7ww4cz3uE66s,2403
jacobian/domains/posets/operations.py,sha256=EBIB8sK3DA7TC1YCb1GD6dGuOZg4HY6wCe-0iOndBLc,15622
jacobian/domains/probability/__init__.py,sha256=8q9vpDq4fybebFZALD4va7KYXSj8mt33_zQdvaCk1_Q,173
jacobian/domains/probability/bundle.py,sha256=yYCXWG6bUd_t9qT_ylgi0QLgeptP39D1_VVXBLE8Y3w,3283
jacobian/domains/probability/checkers.py,sha256=lDbhg_AvY5TCD6rOCY8zIhC3dWmJM87eL-d9xBkJINk,6773
jacobian/domains/probability/gaussian_inputs.py,sha256=WiUbp79eXesHgYm8WpfHUD6EyTipTTJMug3PhWLMReY,4903
jacobian/domains/probability/mutual_information.py,sha256=s3MlfrYn5JLcLZqrnuE1xpMmpSJBOJVmaPtBYLATM9o,18556
jacobian/domains/probability/operations.py,sha256=J_y2H26_H-u2El2JFdUgGldFvIs61I3pOimyvm2Tn44,24633
jacobian/domains/projective_geometry/__init__.py,sha256=zCzGOt5r3tz9U37FY2DUDK67Yg0ZDHB8YeXtHS7NySo,198
jacobian/domains/projective_geometry/arrangements.py,sha256=yLJZahqWW38e8qAyBTW63z-5MFvKsGK-iIzyks0G20c,8066
jacobian/domains/projective_geometry/bundle.py,sha256=gx3EtIR-0__kjCwH3QOjWOgIYec6hRA_3mv3uPbJ6Gc,2491
jacobian/domains/projective_geometry/checkers.py,sha256=xN5swAypI-_tz4Ig5AQVCn2NSFyTx3bcT2bb-TmcN8Q,2335
jacobian/domains/rational_linear/__init__.py,sha256=6AIUeWLHd5JidQgDsoq57CFvUnJLVGfX0gyXrC9gtZg,427
jacobian/domains/rational_linear/bundle.py,sha256=s6hsI6E4V_3ZHeGcdG-_-H3zp7uqG_6r1skFPIpVMTE,4222
jacobian/domains/rational_linear/checkers.py,sha256=ssQpX63iyNstMK6V49L7OIcV8cM7x-kvRX4BcuaZcXM,2470
jacobian/domains/rational_linear/operations.py,sha256=kMEprsfqwP6DpRCnK1V0z5_o_eUxU6gpClP7qjqjMbk,7233
jacobian/domains/rational_linear/protocol.py,sha256=YYdVQCSd4JmJbadg5V0t1VhYHvk-EA5P7uXo9G_hSZ8,4340
jacobian/domains/rational_linear/worker.py,sha256=piqEBkhTU3_6q-FJHYAYSrhyRbgR2dptmi6KPqBwHec,5109
jacobian/domains/sequences/__init__.py,sha256=qfxR1BYBX_GRRK3xB5R7paQXiLLpYo8gZepv4vzB2mY,156
jacobian/domains/sequences/_support.py,sha256=hOBFtCiK7hMkqVXjh7WKhIoQcS2pkQykkTYxUKJZhYM,439
jacobian/domains/sequences/aggregates.py,sha256=5_Ke0HrmJTsOCZdrc8XJtccwK3Bp2Igp0O4kcxMXW28,4505
jacobian/domains/sequences/bundle.py,sha256=7FgfloDiK77BKFsTbnKW3N87OqCV8Gr6R-vHlHLZyzc,2245
jacobian/domains/sequences/operations.py,sha256=s4EYMaamDyRazb-fYfVl2v3nqIM8bpeE1quVuBPszIk,7798
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=daun4hTMNC5IATkbMrrbQGgIMA29nZBYU2AoTqUCwqo,3115
jacobian/domains/topology/checkers.py,sha256=3f_kodexwOA_NUUJPrM152yS_ft-ZdjyMExbzlWSEa8,3436
jacobian/domains/topology/operations.py,sha256=K8tUaFB8zDET_DEMXOEZ4FDOwXhAID1C2xV7Sfbm5G8,24399
jacobian/eval/__init__.py,sha256=t09T_YdWZGLZuR5HOYIpvwLbYM-IEzi39fehBzVKF2s,53
jacobian/eval/graph_oracle.py,sha256=kPyLxT9ish-8_QcyHlp0i2Ui2t7KlHR5Sz5qPFd4Ewo,7187
jacobian/eval/telemetry.py,sha256=XqIER5txS0xmwnI04nBk1d3c15abOUcBn16_ARoTb_4,27400
jacobian/graphs/__init__.py,sha256=5Ex_zE11uQ-dPYwF0ZrB1GLllNipIHnddbhUx0emuvc,610
jacobian/graphs/artifacts.py,sha256=StGLjbGzUn7Zl2MMqCDy1RurT3y6MkfPsg5ePgBXTXA,5451
jacobian/graphs/atlas.py,sha256=lxUs-ZrVOI54jEUu4aEHWyOy8X_HrzltlvQ_eR84BkY,1635
jacobian/graphs/atlas_search.py,sha256=eiLnIaHTQ_CfEilDwB2xKgt_vNGq4n3n0gVSBkiey7I,10290
jacobian/graphs/composition.py,sha256=aS6uA9AuBF3cdfM21ouLjPhWK8WcdVa7d6e2jYi38Qg,18896
jacobian/graphs/construction.py,sha256=dlp5YAy9lUhD3B9Fkf8bFLla5UWJKEJMPrgOmxRwVwo,6899
jacobian/graphs/conversions.py,sha256=0QthMB9RZ5T3ZcgCzjar8uGURAKAy68yf3JgF8flcrM,1040
jacobian/graphs/degree_sequence.py,sha256=lNI8f6SK4rtpFQQEaTpWx2qMKhJ5DXtpsdC0_TSmtM0,10574
jacobian/graphs/installation.py,sha256=VYTa2BWNscom6EV1a3YZn2TBzK-4zd8PFvnC5kUd0vM,10697
jacobian/graphs/invariants.py,sha256=GHWRK7CgL6zcbBLzjY6qT9bhzNIb2MEgZZw05V8Eu50,14029
jacobian/graphs/isomorphism.py,sha256=mYQHKvYrtNpC2QNUSs5psZgdeWqJBaIhmshHc7Yk9qg,19148
jacobian/graphs/neighborhood_independence.py,sha256=HLBCUVRQbWbIoDJ8oE2_Y0khSv68fywYOC4cQEmgTxM,10127
jacobian/installation/__init__.py,sha256=-PTn5uLnUyc-E7cxLRAUMd66DDgSkz5w3nnmFOBOvIU,370
jacobian/installation/context.py,sha256=AIHmL-8FjXkLQRfsTdllHBrGHQvyyTNaGAKogo7kj1w,3116
jacobian/installation/result.py,sha256=_TZMLtPIKCTK76fukrMryvWGiyAhIVuJRMoXk8hwonI,553
jacobian/lean_frontend/__init__.py,sha256=5AuL0gIvnrVrVcTByOBW7QBQV69UoahcMQKDT7q55f4,1821
jacobian/lean_frontend/_lean_declaration_query.lean,sha256=PtLH6RW22efXLGYLY01gUjRfbtE89iawAHgCWJa6f0Q,18276
jacobian/lean_frontend/_state_validation.py,sha256=2YsyFWZeX9eLM3t-aXAHIqLCc1iUGd929l7FsxI3txE,3310
jacobian/lean_frontend/artifacts.py,sha256=Q3b8T7ePfScV6ONbl6GS92mww93MVnFSWLxjClvj6Is,4414
jacobian/lean_frontend/declaration_operations.py,sha256=XNYyLVy8ckrfJPEFVI2XPrZ4evEClAPSvkifkV_GTGU,8847
jacobian/lean_frontend/declaration_protocol.py,sha256=42RIT-6dlR4IFZ2PrkM1dmZrjaMR4W6sCAisArclGAk,5486
jacobian/lean_frontend/declarations.py,sha256=mAgXkeOb-HOp7Nqt6ozKUYQzWqMhxhhjDvqFpGS-yVM,54489
jacobian/lean_frontend/diagnostics.py,sha256=MuGf1-qbUoqJRTU76c8LCPmBq8GodCd4ZvdmsXlJSNk,14737
jacobian/lean_frontend/exploration.py,sha256=RkPE70S5Bqj2RMT_WxAjXUH-oIoeNzrULleLnUR7bWk,18800
jacobian/lean_frontend/helper_protocol.py,sha256=ijZSis0g1K4JVzglfCYqD_aUzo3MGlV6ySaanjx1iFY,2755
jacobian/lean_frontend/metavariable_fields.py,sha256=Yo-KwC1x9ABdoOKqCO9fXACznwM_z8_bCeOCC_FhT_M,12018
jacobian/lean_frontend/premise_retrieval.py,sha256=l0-He3P3gqqZC3ivt9wE4RyBv6CVLzA2F_M9qGygQk0,8943
jacobian/lean_frontend/process_environment.py,sha256=1kyJJPtiWh0hLdcKClo-JjXS9lNssZUbmrpTMQyfzUw,673
jacobian/lean_frontend/proof_axioms.py,sha256=UEm-idc_qG-H6Lsr9JLDPiTyoLOMgVLpO2iW1rkNYJI,20630
jacobian/lean_frontend/proof_edit.py,sha256=BiVoZyVNMg4OB1tYqC14m-iHoTyAbq6C2FBEYOEVqdA,9930
jacobian/lean_frontend/proof_state.py,sha256=SB5aZhFG8wRXcRC6nCOUQCJ6SN6yMef4wW7lkVZU1ro,20473
jacobian/lean_frontend/proof_state_inspect.py,sha256=7rGJ2yk4MiGFyUhnn6xnPmJl9Bn8BNuRhzGKnHogm0g,8295
jacobian/lean_frontend/repl.py,sha256=jOofa6dFwNbLepvt_Cb_R7olL-qmokYkEWbkLIM0bwE,19713
jacobian/lean_frontend/repl_protocol.py,sha256=gUMk1ja20ELsR-uZ1xSIJYsjmKRYLEZDUH-HyKZy_hc,4479
jacobian/lean_frontend/service.py,sha256=lWcXUY6F2QoFjp_UGZ36icg_8MjLQE27LP7iWT0LciI,10865
jacobian/lean_frontend/statement.py,sha256=9R10OEYouhPLrrwvemsteMl-GInBYjnIemKGcI3YuPM,32153
jacobian/lean_frontend/term_apply.py,sha256=YogFaO2o0i3_aKdCUQJDPZwHgUEFgvfPYl_D567L7qE,7924
jacobian/math/__init__.py,sha256=AWBQcezQCJLAhUBHGXD3WrZ0mInUk3gCfvpXoJslmFo,430
jacobian/math/arithmetic.py,sha256=XiJeUf0BYbjCSmdRsc3wXD1mne7hXb0t_zmuSSVxQYg,2370
jacobian/math/finite_abelian_groups.py,sha256=McPwTejAq0JZBgwYZx5yXuBAxLYU1-M6z6iYk3TeDjU,12891
jacobian/math/modular_polynomials.py,sha256=cRuIGaOCLeHOjVEh6aiEfE259VuijtLOd4B6RRD1Yuk,5956
jacobian/math/prime_field_linear_algebra.py,sha256=gYHgB35TVDVaPXA9wg-aW24cWfAmRjO-lz-Ea-z-1ys,6162
jacobian/math/real_quadratic.py,sha256=hyk7sOMf920Y3snLa7EegQwlrNAaSzx9KCS_vQeABoo,6201
jacobian/math/combinatorics/__init__.py,sha256=lC5Puv2h0Unkn-oy7tjFkBYL5-E4gwe-PnlR-ecVkNU,475
jacobian/math/combinatorics/recurrence_tables.py,sha256=RhllPbfm3Ib7-Sb_JIXVphw-SPWT6-ocrOc7rK0ktG8,6109
jacobian/math/finite_fields/__init__.py,sha256=3cfm3KHwiXjodNclWBO90XZtb-p-K8jNrLwzb3lhI-g,1728
jacobian/math/finite_fields/_flint.py,sha256=XLzZgrwIHR1S6zLP3ErVf9XQkHz93h1MRCS-YC63-3k,3085
jacobian/math/finite_fields/_sympy.py,sha256=xrm4RLX4Xyc2Boy9NK3isEhkX3ylMd15I51lggroYJM,3136
jacobian/math/finite_fields/operations.py,sha256=PKthPFlcZBdnW1ngqrA_GRBsBxaKUYMnzbyKokygb80,11734
jacobian/math/finite_fields/values.py,sha256=BgQwmAd4KMUx26gdHd0swU26xfAyu4jZF2ap5H0Npvs,25912
jacobian/math/graphs/__init__.py,sha256=XQj4_9LL8Rl9HUjtsNZ6V1Wt5qevj5y1ybeZnHEHXbI,736
jacobian/math/graphs/_independence_z3.py,sha256=Q6BSU4TMQRFfTyJn147Ur0mErMbUuNQVNGS0XYkt9Gc,4073
jacobian/math/graphs/_networkx.py,sha256=f7zB1W75NMEeOwX2FvQ--jU4c-p__qnEiptx2920Pkk,3364
jacobian/math/graphs/graph6.py,sha256=qhGC9xjViSIrJUEAMLO-NaZAKMISnE0K5YR_JFYrOi8,3606
jacobian/math/graphs/independence.py,sha256=FfgZqTkcrZKYSdLzOcbr7Z6FINXGSLdj6b65OeJ4Moc,4211
jacobian/math/graphs/operations.py,sha256=sPOY9vQh5M1A_k0iaOBUXuRy-aQjLCdxgMAr13SawmU,1694
jacobian/math/graphs/values.py,sha256=rR3LhsMC-qwQdOsetE0Ja_l1HhEOwh07EDT5VL_B_JE,2127
jacobian/math/matrices/__init__.py,sha256=D_4B1R900Ya0jBjdTelLfT_jBxdmgKM11phAvK8olnY,537
jacobian/math/matrices/_sympy.py,sha256=n_FZoS4d49zsVJ2v5EArfqt-AL1nyg1XUCxovYce9pw,3128
jacobian/math/matrices/operations.py,sha256=-RI35Ip2-tlV1ps_oQRFi827Hq6UZV5EbjgZXhK_Lls,2593
jacobian/math/matrices/values.py,sha256=AH3g_n7V3OpxTVDM3k2oYQN4Nk3NNhIoN2nTBWXrf6A,2813
jacobian/math/polynomials/__init__.py,sha256=jSJvHBocbJVko8k_1G4tq67UQtHxYJfcB6WX3U9CNYc,515
jacobian/math/polynomials/_sympy.py,sha256=zwH6RbydSgTIjrk3ACkFFL09DeUWhZjd1Py_wUFP7iI,2846
jacobian/math/polynomials/operations.py,sha256=S1EJ5vqHf1HjMZFANtXOy-rA7yew01trhJLO3aIBBEM,3697
jacobian/math/probability/__init__.py,sha256=ykhI_wmB7NkwzoHqOPxIK5Hrob0dScq__V3E2oHYXmE,453
jacobian/math/probability/mutual_information.py,sha256=tlhzFEVWjuuGB4jODkZjgwxC0Z7wJYq6iIDNsUYOgMc,4725
jacobian/math/probability/values.py,sha256=BVgRSt-_IMPmIe38Xu3cnjrTvHwsVPto71KJS7GZglA,13977
jacobian/persistence/__init__.py,sha256=tiuYQxKHVr013H6lrj4SJ2GwfT52WoVfIBklWX9kaUU,714
jacobian/persistence/database.py,sha256=ZD1SjqOkpggvq-rr8WuHPvNl5p4EMq1ULhM02uX7ko0,14157
jacobian/persistence/decoding.py,sha256=J_PHtGUdvF2wZOGLF6P-IX2mGqy5I7OGfLF29QSXkYE,3143
jacobian/persistence/locking.py,sha256=ZyJBqxvFNaqtLi0fsQkpD4FPgSNzJatyCgLQNGdfu68,864
jacobian/persistence/migrations.py,sha256=D6Y4l1FNVISN3wPUgOgC7bJrayXdTLyayfArzF2ma5M,21127
jacobian/persistence/state_health.py,sha256=t07g-A8_VBulqRcJiIVBzUVq9jgI9Kno90ekIE0eN0k,8482
jacobian/polynomials/__init__.py,sha256=AlYGAnC-2Cr4kf--XH-4NCIho39J_xv0VZWQ_s7JA_Y,350
jacobian/polynomials/_support.py,sha256=h0JwbrbXXqQSZZsDgbRNO0l5Nr0uoFQtvYU7686qfX4,28544
jacobian/polynomials/_sympy.py,sha256=I25HUBAJ1_Zxmb3rJgr387fojQvPb9h_kST0Dg-RnR8,1006
jacobian/polynomials/collision.py,sha256=M4tpoSEn7QS2m0Cgcbxt83mxhbU9mUDRptoIz9dDqLY,30883
jacobian/polynomials/evaluation.py,sha256=O7Vnf9INbu40HgjxOuVj-a5IpWOFV4APpKzG9f8COn8,19969
jacobian/polynomials/identity.py,sha256=gnOWcm1BRFZ0lsKEfZOry40xZdM3erJ_haXBREjGX94,10137
jacobian/polynomials/installation.py,sha256=LsGnRE1pf8gPfo-oYduNJq4BdIeLgKybL5cevz0EXBs,18348
jacobian/polynomials/inverse.py,sha256=OXXMGF8qlRXPsqpgCASzGJI92bmzEFkLLUXsMM7xIdk,33968
jacobian/polynomials/rational_identity.py,sha256=K0fq15CoK_u9lTBACYUAuZPbCQPd97tpvZId_5LSw7Y,10733
jacobian/polynomials/resources.py,sha256=HZ1tuA-chuFmnxfYlns5ET5vcs8qeClf-mv0GBxErDg,1625
jacobian/portfolio/__init__.py,sha256=ukR_Y5SiOtFvhCe352IPbHdR5lvkErE4e2p7pZeW3uI,103
jacobian/portfolio/assembler.py,sha256=bIo6imJp5E7mZ-gnMEXlqT27GEYOjONJeC0Qjn8j1XI,2430
jacobian/portfolio/builtin.py,sha256=Fj2whCIibaB_IU90AltKHP4F5ZDomvo8AHueEpdJBwc,3083
jacobian/portfolio/checker_installation.py,sha256=ySMdZVJEs6-FQWkeleIgL4AUS4M3VtQggG89sNxyok4,6455
jacobian/portfolio/core_installation.py,sha256=Wj5-mnTO9DSwm1e9-FYxe38BDYZYNcn-s2PG-HlvwCA,7917
jacobian/portfolio/domain_installation.py,sha256=9VMfG7EqrSmK3qnNcsL2kL62ToWkv-nyjwSS4vC-hFg,2829
jacobian/portfolio/foundation_installation.py,sha256=TsC4JrRMlsjeRH8JWb5TVspfMQXUIHJLEpE0RtelXJ4,5608
jacobian/portfolio/model.py,sha256=VO6eg1_3as58SnmbJtfa7eVKlGv3fWHBdqDeEUXB6qU,2419
jacobian/portfolio/provider_resolution.py,sha256=Lre6YmC5N5VTDKQ93C4SDWd-TYmNzwGtdDT1qRj10UI,3594
jacobian/portfolio/resource_installation.py,sha256=pJ7bssSOOq128a449COMiXMnTA3s2cQB0IA-MsluJvo,2857
jacobian/portfolio/result.py,sha256=_a6D1wFqCuDfu8uRkiKSJoCXmtXrs1BDeFBdsmSUC2E,2567
jacobian/providers/__init__.py,sha256=Efgkz6fxTzZuzoa2x5TVZXbWigyLpy9tSXcp4odmItg,1127
jacobian/providers/external_solver_runtime.py,sha256=je4NiBEHEyg930mpHh2VlpdgshgEsYHt_QuRPZP4dPk,14175
jacobian/providers/flint_runtime.py,sha256=bHoOfX-Bq9F_9mRjDU5lJM5z8LuAfg7UxjMcC7sHfZE,26212
jacobian/providers/lean_runtime.py,sha256=RonpkK7NF-C196C_rnz6j3xwAq3j5FOADzRQVynydW8,13808
jacobian/providers/loader.py,sha256=VCYnvklmTEoyHo3px2YcAxUO1wLJQTpfZjIPqHxe9CY,8207
jacobian/providers/metadata.py,sha256=pxmGO6DMRHi4errI7UbGoIfJ0D7Jzu82kkfNJfa-s4Y,2475
jacobian/providers/singular_runtime.py,sha256=WK3urPMzKDSWdX0dtNp_DVEkB61D748DP84t5mKS8a0,3441
jacobian/providers/sympy_runtime.py,sha256=3HLWlQnbJ1IhbJVa4YsNgRFfPo5a3qKxFK1gZOpHuE4,1709
jacobian/runtime/__init__.py,sha256=Gmkj-vjIopJewZLqWM8jCq04YeGxttQpjnQ-OBIZdw8,1067
jacobian/runtime/bootstrap.py,sha256=Qet9VeHfMI_JOUX86bT7k0U1A7cQpRdd39eMgB_2J4w,2443
jacobian/runtime/config.py,sha256=biUrjSt75vCw5zCRVgw0qcFQk9SjCw70m7c4fFjObGw,777
jacobian/runtime/model.py,sha256=luqjwgZxwB5O85vhvRxr6id2PS_4TcaZJ4HhdIKls5w,2312
jacobian/runtime/portfolio.py,sha256=alakG9M93NIVdaB8CLEzDd1kNd2Jq_7roRLpzP-QrOc,1560
jacobian/runtime/services.py,sha256=X-svVcljCAeX-MXAtdTdKHSMw_2g0BvFIIIY_P-C3ss,2157
jacobian/sat_smt/__init__.py,sha256=EhB-CMrM_EY-vBhY2oSxDixRvdXzxqi1uZUU_I6QOJg,789
jacobian/sat_smt/cadical.py,sha256=4Qme85ES0hnkoPbgwOXoQV6i-paVhKcOf2f5k7OAWoQ,30271
jacobian/sat_smt/cvc5.py,sha256=KI5QgONIEfDIfdUJuQ3N02YkZekqs_6WK7LnNGTxhlw,18248
jacobian/sat_smt/cvc5_protocol.py,sha256=b0FPO0L7Fs-YxXzyoPVhs1mgCj6uczzlbnUopjJiHcY,1545
jacobian/sat_smt/cvc5_worker.py,sha256=88Wl_urENn3ONpCNQGCRd7Qs8BeEyu_W62XLhWql9nk,7198
jacobian/sat_smt/sat.py,sha256=mlZtef8qLV6mAbn5zW3sEaB0Y40RCA_Qy6SiyRJuLBE,11593
jacobian/sat_smt/sat_capabilities.py,sha256=NipI67Z_51zceFdEmDYcXA_KAcMZ7xQKZrtfceNpJ8g,28959
jacobian/sat_smt/sat_lrat.py,sha256=EAgqgQApN7gNQPpkilzemJz8NSpI05pIcuwcTtcIgfM,15409
jacobian/sat_smt/smt.py,sha256=MnRr4dwl2T2b7aggouTOJwgmYXRNuHc0dlI3js1_FU4,8152
jacobian/sat_smt/smt_capabilities.py,sha256=Z_GoIBuUCkvdoV917vUv7d58x4IsO5b7SpEShzA42KM,12607
jacobian/storage/__init__.py,sha256=5IlCVKS9WvXeGXt5aT9lZbywxDQxeG7kZ3D0dWgf6jc,220
jacobian/storage/blobs.py,sha256=c_XT-OFSUGm2iQIbOt_6vbueWl3In54HZhWNhk6K57A,12676
jacobian/storage/errors.py,sha256=IkgbrWPKjMkr3OE7l2HTg2zypXC69iaT0emD6c-NaCI,1914
jacobian/storage/identity.py,sha256=RwlchgoI_QvmLigBGJtL_3bN6l6qZnCA9ZENJqXkmFk,4157
jacobian/storage/metadata.py,sha256=gcORMbzFJWVnhbsfZV5w70f2q5PNMZO-XaAe70VLeC0,16339
jacobian/storage/models.py,sha256=0zI9BLohjsvCIEMRR3nXa1Vj-M6yo_GLlEbQCThB1DI,898
jacobian/storage/repository.py,sha256=bVZ3vIrNMEzKfEmu39BkgmWeYvWVhBbpjd63Ca8bwKo,11226
jacobian/storage/transactions.py,sha256=wR3ZK-EJL5CuRvUKnRrxxIzF1iKjVzzzoO7ZT0XkIAU,10213
jacobian/verification/__init__.py,sha256=0T1ISFu2MamRME0FTBt2xsDzPiMxVhIcVfWbhlzoF8o,256
jacobian/verification/_helpers.py,sha256=HbqdcsiSnsCc2afgwrSjybf87NQ1oAfeWyzwQ6l-6hE,3909
jacobian/verification/checker_protocol.py,sha256=6Tj6G_DZUqPH542fjRAyQidXjNe2g0QwMPMkMGit7gg,2259
jacobian/verification/decision_validation.py,sha256=dJyOfd2_f2CdKLOs3KYL3yLsdmWZK6nyqNTgZj_V5Hk,1881
jacobian/verification/errors.py,sha256=HC81cJfRqzUFUqTGpQgXXSaaRcWV4138TvF8K616pMY,331
jacobian/verification/executor.py,sha256=xmuIic18nN4tHh8VwoDmvcIuQ8Qnb4oKH6CBIbIdpQ8,6121
jacobian/verification/plan_builder.py,sha256=7hVlmoozZ-iyhBJTAhocI4WT0RhzGh_6Zd-ov96zBqI,17459
jacobian/verification/record_committer.py,sha256=SjuLTSt95jCNW7xEQ4mebpNrNmzrPjZ9gZI4vJVsJIE,1349
jacobian/verification/service.py,sha256=B24Yh92VX0j0ksExYlWIcOoBdf8pT2KPvSESCtHTCFw,21728
jacobian_checkers/__init__.py,sha256=a304PMMNnSFAvN-5GA1X1iRyIIL5i5qV-MnJlk_B7u0,74
jacobian_checkers/additive_combinatorics.py,sha256=VMz-gG0jzECtVpT5ybQSjVy6742AVU_8tx10-b3hlF4,12676
jacobian_checkers/bound_artifacts.py,sha256=RSFAVWf5hlzrGOE-WbzTG3cOQWq-hqkNL9PVj-iJkxQ,7759
jacobian_checkers/certified_snf.py,sha256=1F2VGXJAAJqgpOVXSTQVo8QQTqpjknr2S_v-UloFZmg,10768
jacobian_checkers/erdos_straus.py,sha256=BZj4jNCGHkBSHjXDylbWLxUc7VG3j8ZVjWgZr-Niw0I,5055
jacobian_checkers/exact_domain_operations.py,sha256=ye5MBKU0L4vbeAalnsA4aTUFxahXB5dW6ut14Xm5sMQ,40636
jacobian_checkers/exact_geometry.py,sha256=xMjeFx4KPuN-Mj167nGI18hMlqlk95shvxJ2yguuGfo,32581
jacobian_checkers/exact_probability_operations.py,sha256=j8SeSsjTVEdp97E-VvkuouTbFd1pYHH84IprDzTbeS8,28497
jacobian_checkers/finite_abelian_groups.py,sha256=qKiSFipTlQzmlYxB7pCjaqa-rEdRKvMv8Fe8uP--SD0,6919
jacobian_checkers/finite_coverage.py,sha256=wc2UHwHu6uOet7XuLmHWOvBJlbt8VGvGY2pvYmE1Csc,16957
jacobian_checkers/finite_field_polynomial.py,sha256=H7dVk2M91ZbdUM_zcoYMz41LO3bmXAlcbMKacsTZRKA,10476
jacobian_checkers/finite_field_rank.py,sha256=qp7S7xgXzVfNFNaHPVfDq7WL7kvVHhwU_nPXM27jwLA,12794
jacobian_checkers/finite_posets.py,sha256=ZyUDmNSn9gZ7dXPrye7gnMDHlM_7YwTN27bO-h_yGds,25430
jacobian_checkers/graph6.py,sha256=mTx9HohEq1pVUj6cUDlHCXWA-9aCFBK1SO9yokAqA0s,3284
jacobian_checkers/graph_degree_sequence.py,sha256=Tbng3aDQv08KmS90sTacrdh7qjxtIsN9boAsyjl_dwQ,10984
jacobian_checkers/graph_exact_operations.py,sha256=5DlgXeXDIwpb7blVc0a3x7FsJVHToukKxoAFUh-ew2c,43097
jacobian_checkers/graph_invariants.py,sha256=w9KK4mTjLnFg6ZMvdyYYWX4KVZ4Fd1sbEvTXE_p9p6c,10517
jacobian_checkers/graph_isomorphism.py,sha256=7a2ZSU5qeeiOP-ZaDZosuZBZrZ9tJHBCUet4dCp_HZo,7341
jacobian_checkers/graph_paths.py,sha256=5qvTtIOS-07c9t1e3ClwLLK-1WsdarEUs2esmd_ruX0,24249
jacobian_checkers/graph_shrinking.py,sha256=Vzkj9R8iPpjvt45jgsUKpP2ts6sVY74tLmX-SLo0SCM,3947
jacobian_checkers/integer_lcm.py,sha256=xEQojxKV7i7u0cXMvsDHbYHjhCgNB13YlP1eKjLkTMM,2565
jacobian_checkers/jacobian_syzygy.py,sha256=SLU8jSbV6dHwcl84Xh5Lrem14Xp2R4CidFODTH_EVl8,22345
jacobian_checkers/lean4.py,sha256=8F8J0jAYrE1C6bQwCrIvfRbmXHHSLzTbY7dVZJRTTT0,31755
jacobian_checkers/linear.py,sha256=XP_rhSe-7hktpP69rZKfrR7x22mM2eOjIzuiNvAUnbU,8050
jacobian_checkers/matrices.py,sha256=yELiz2rt1qEz0oX6AQNRDVTHjf27Uw3C1c9uTGKAbX4,21758
jacobian_checkers/matrix_normal_forms.py,sha256=TTqDXANCU-nc5-9s0ORXC69-WZ_b7k0g0HLn8oOJIss,6957
jacobian_checkers/modular_polynomial_identity.py,sha256=twvC7q_W9fy65zze8sIVqMUzV32nh3z4H0w0484Eo3s,4511
jacobian_checkers/mutual_information.py,sha256=mPf_ZkLfDCbFy-TmtXTzYy-DXbDybNRD9AtDLwqilPI,11049
jacobian_checkers/nullstellensatz.py,sha256=BKeGP18m7PMkFJvmMrYAJrFrfxSQjDgkEqVosv2wUDw,15297
jacobian_checkers/polynomial_expressions.py,sha256=inp_5R1NFBmZbMSxMkNlWFMi-LBgLtRAXBA_fKta4Nk,25482
jacobian_checkers/polynomial_intervals.py,sha256=xmuwwjAXDiCx898jztpTlnv4XpI3Qwz0QpTDselkKOE,14407
jacobian_checkers/polynomial_maps.py,sha256=6IN4QZySGuXOqneVGk5C5blJzcsPw4nWTPPYl1a1Zkw,37004
jacobian_checkers/polynomial_positivity.py,sha256=yKZhCMn_YwpidKSZBMMXcU0JltWE7eK2cbCWgseQReM,17572
jacobian_checkers/polynomial_systems.py,sha256=mF6PX-bqCMIjT9ALFLgmV05RGM3slA12gSoaM3BFI2Q,8849
jacobian_checkers/polytope.py,sha256=PvIbNXuJSYWbcl-Gyfh51QfgU1VhEpGChuCkHKQrkvs,12398
jacobian_checkers/projective_arrangements.py,sha256=i0xrlFfcdLcgXHMl-KSH0r4IG8k7TafkjNb8VwVd8Ok,7128
jacobian_checkers/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jacobian_checkers/rational_determinants.py,sha256=e7Mf0Q4ZVMK0bn8oOUZXxdOMdeW8gldAZyw4VIEpH0I,17663
jacobian_checkers/rational_functions.py,sha256=UpR-ZBwfZtTK-vv0KHPf_T3NasVZAp8SJm6X6WgTo50,8247
jacobian_checkers/rational_lp.py,sha256=eUbn4GnZoUllMaiGAoqaehHjjOuj-ghJZ7M0-xUN2l0,6549
jacobian_checkers/real_quadratic.py,sha256=wfJDI8wAXuKjNjkGaIVkq0zi0BftGPRRdlyiLxqPzLk,4621
jacobian_checkers/recurrence_series.py,sha256=QSYEUE5NeZFrgSCrP4g-yYPIiocEyCP0-guq_LURlBs,20687
jacobian_checkers/reject.py,sha256=AbZd7P29UG86e8zPUSvFUmhPYH0-Dk13GomY76tQCos,450
jacobian_checkers/sat.py,sha256=DRCWBHn8Yi-Lx_R_1-_Sk3XDM-W8Q7uBFoouyAMcGJI,27911
jacobian_checkers/sat_lrat.py,sha256=WR-_Bb9z3V54kb6vDqU_Jvc2BA03sX2ew8QbnYJqPkk,12847
jacobian_checkers/simplicial_topology.py,sha256=Joj2ADNcVSCihfbzQC6iGh2pnpKUX29RsWOQv2gQ1oc,37160
jacobian_checkers/smt.py,sha256=rBtMZdDvEz6brOhtpbQCb2JPzfUkC71kpdAAM0zdZgU,19507
jacobian_checkers/universal_algebra.py,sha256=7wy_WSN4FlhiioP13HPXFiIRYQ8tUegWfinb5pXc2C0,11758
jacobian-0.12.0.dist-info/METADATA,sha256=QBxoSurlMgudwaKP1NNE6kPFRFWfmuXFGWGT1mp_LG8,8174
jacobian-0.12.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
jacobian-0.12.0.dist-info/entry_points.txt,sha256=SvOxfn_1vRTHUHpTCYb_hajUs3Auu3Cj4-wEqx-0ak8,152
jacobian-0.12.0.dist-info/licenses/LICENSE,sha256=G17-TMzgu31AMsjZtYTxBbPww-ZAsYPKyZH7unKaj0A,1078
jacobian-0.12.0.dist-info/RECORD,,
