# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 12943df616e3434e87be90bf9b8394f7d7d5c809
input_heaps:
76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec
a32d043d7a78df09e2684446989c171f61b5b8c1
0e3c691cb6dd59d87f6a12594096cf81233d726d


