# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b6d6b835343c77aaaa5fdcd69c0c30fcff1c54ff
input_heaps:
275e94d511fe2870fff5f93bcaa57066d115c4cf
36730116a36c57071f8a7dcd0a475921707491c0
13b531522005337fb66a16c457933d87bd99bd84


