# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9f0031da44e10b674cf423f123b88079134d3d32
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
d32b67ad46e3370f7ad64c5a6bfceb2624525a6f
7a65434478fb2c206c716cc7f8ed2cf817d4dd5a


