# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1a64d8f0b0267cf4dfbb7749dfbaae9193d4c9ad
uuid: e5e4b87a-8739-461f-bdd7-93f36512c3e5
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8
26944839c8d52769a23d013e1e0bab38151b6cec
df818b3c70a84578a4094832ef417d8c70201c48


