# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dcaa3857ffc30d781e4b0f1b5fe8fa0b483dca2b
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
15f071fa5c7634a8bef977632d0da54687b93240


