# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 08249b35851d0102b78b33c4d45f5535563d011c
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f
600d4d4039b3cde077a08902e197559574366fad
fe77abab73dff1665515e77c5d4daa694cbc954a


