# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 3a1f95785cd25bfe3c55edd105dd769d5411b1f2
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
56ebac93fc92c3b5b4e773691e04d2493a32917f
a0ae96ecef0e7236212b7f9d9d3e36c4fe12676a
d6bc1ed6ea885d5026a0c92526656c0713907e84


