{"data_mtime":1716302176,"dep_lines":[8,9,10,11,12,13,6,7,14,16,4,17,1,3,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],"dep_prios":[5,5,5,5,5,5,5,5,5,5,5,5,10,10,5,20,20,20,30,30,30,30,30,30,30,30,30,30,30,30,30,30,30,30,30,30,30],"dependencies":["sympy.functions.elementary.complexes","sympy.functions.elementary.exponential","sympy.functions.elementary.hyperbolic","sympy.functions.elementary.miscellaneous","sympy.functions.elementary.piecewise","sympy.functions.elementary.trigonometric","sympy.core.function","sympy.core.relational","sympy.logic.boolalg","sympy.printing.printer","sympy.core","sympy.sets","typing","sympy","builtins","pyexpat.errors","onnx.onnx_ml_pb2","pyexpat.model","_collections_abc","_typeshed","abc","sympy.core._print_helpers","sympy.core.add","sympy.core.basic","sympy.core.evalf","sympy.core.expr","sympy.core.mul","sympy.core.numbers","sympy.core.operations","sympy.core.power","sympy.core.singleton","sympy.core.symbol","sympy.functions","sympy.functions.elementary","sympy.logic","sympy.sets.sets","typing_extensions"],"hash":"b09d3efcdb36bc7e396f9a045c83c9b48386f65bc212a1e52514334288950b8e","id":"sympy.printing.smtlib","ignore_all":true,"interface_hash":"d0200ac5abf4b21d1c914128594bf370fec573a3e2be89371da515c5ec719eab","mtime":1701397681,"options":{"allow_redefinition":false,"allow_untyped_globals":false,"always_false":[],"always_true":[],"bazel":false,"check_untyped_defs":false,"disable_bytearray_promotion":false,"disable_error_code":[],"disable_memoryview_promotion":false,"disabled_error_codes":[],"disallow_any_decorated":false,"disallow_any_explicit":false,"disallow_any_expr":false,"disallow_any_generics":false,"disallow_any_unimported":false,"disallow_incomplete_defs":false,"disallow_subclassing_any":false,"disallow_untyped_calls":false,"disallow_untyped_decorators":false,"disallow_untyped_defs":false,"enable_error_code":[],"enabled_error_codes":[],"extra_checks":false,"follow_imports":"normal","follow_imports_for_stubs":false,"ignore_errors":false,"ignore_missing_imports":false,"implicit_optional":false,"implicit_reexport":true,"local_partial_types":false,"mypyc":false,"new_type_inference":false,"platform":"linux","plugins":[],"strict_concatenate":false,"strict_equality":false,"strict_optional":true,"warn_no_return":true,"warn_return_any":false,"warn_unreachable":false,"warn_unused_ignores":false},"path":"/home/bigcatc/miniconda3/envs/py310/lib/python3.10/site-packages/sympy/printing/smtlib.py","plugin_data":null,"size":19445,"suppressed":[],"version_id":"1.6.1"}