# isabelle_session_info

session_name: HOL-Decision_Procs
sources: b49fcb92adc03f077677ac56abda5ce6767e6583
input_heaps:
869a160751489e38d92bc488b6a9dcc699746e87
eed706cf54cafa0d15cd7db269fa6af1ae023fe6
d251b107e77d771e8e05ce3a58c64cfe958e535d
0b367efb08c2551b011a9f151cc6d9dcb78c8e71
126494f90b8d1351a107d6439508080b03035acd


