# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 2df53eafffbb4af6b555e9c80ff6ef8e0808ed7a
uuid: 30388e1b-5a14-424c-ad80-ce8ff8ea6653
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6
c36259b2c296375ae504aa6116e85200baee05ff
a744c945eb412c46cc7d9d1add1a1b59b8fc4c98


