# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7fe9365356d9abc6909389f562bce991efd3d463
input_heaps:
bc0597c9f59ed66554e4cc7d1e17fb50ede497e8
14be1ab66264ed0a6d82f8a0963231fd6accee69
59967819d3851c39ce22a161eda4a18b1931204c


