# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6b343b59f72cde0e65f2f3af0b12a3c0cb71d9b0
input_heaps:
23cf972811ccbc85c9826ecc0f49fdc49eb2b8c2
9fc0a6bd7e3d8e1a2a7cdeaa12690299cd2d0bd0
15d58ab342da5f8e6601c43f008c3f211964621c


