# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 62be3bfbd67663862bb9699bc5050834dd89711b
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
ae423d94d5ef8267aa727af30c4429c63a664cac


