{"name":"LBS API","version":"0.1.0","description":"Universal Symbolic Substrate","engines":["sympy (math)","z3 (legal)"],"docs":"/docs"}