# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: becfc1aef425e414a574ebc448c353b0b8842439
input_heaps:
9400524a2bf0062e34657c8242e59e39ce561b20
8112b346d345fdd1df303f366f2308e1ad40a1e5
1fc9ad47dbf772130cd5b220d885232eee057c05


