# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ada48b32f6d1cd6e274b6cf1ec36fa1810431493
input_heaps:
991981938cf9c509b09775da4fe611141d975544
1b9ffcb61ac967bb2234adca439cd7c5b27cb436
fc84e9ab13859e4e3eed3e7f42d6359f79a95ba9
4c02b802f310b112a2047f1c099d0051d1b3980d
fd85aa415d60a0a47102395564a3d0d99d1f99f9


