# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 1bddc8d25d749b84aa612961252eaf21e5763484
input_heaps:
dcbe989a010ea70cd819f355bd4cd2182a8609cd
64c625505f6e5dba88645004ef7077320ae65d99
7bcc51ba04a64eb8ac5e9262787940a997149f84


