# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 6841499da66ad2fd95d71b5837c645f743302267
input_heaps:
854150d242a026a9a55d66c1a84d9e6fcd361b2f
4058a9d1c4ae0ea2523ff722e5dba8fe58289abf
a9797bf0b58a0e730bc0baf415173a382280c1d7


