# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 23a802896d010525650dc6a48c020c0521bc4aac
input_heaps:
06a212243e05c5a7c923bfbaeac4ec358ce57654
662b38046f2d6e283935bf15699cabd0ac2015c1
a65959ed91a3ab74187bfe1aa21d0933b4031e23


