# isabelle_session_info

session_name: HOL-ex
sources: df3e3b051c4140db5f501cd4eca0f402192f22ec
uuid: 80f4a2d4-9251-4800-88d1-2519f7bfa2c9
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6
c36259b2c296375ae504aa6116e85200baee05ff
aacde801861041fc1bfbab3766083c692fea0af0


