# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 3d223c3db09a0ff6d975442c342d5bc3d599c83e
uuid: 1809de0f-0b37-4de4-9352-7728818eda89
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
be15db7cf5921b29cf780d4a08d94f2e26a813a2
16fb43e68e0af64cbb4f35478d28e31e1edb6d4b
008083f15e7d6b0be09ffa20933df44ffbed2570


