# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c465c63d90e80db7e7c1f0a7d9a2d1f6ffc789ec
input_heaps:
b1229b1545e0527f3af637d3b7e4d9e29c3516a6
2e63f8b985a17038023d038a775f53bd77337d39
5218de10f68888577916c0bb2b8e2969a67b7abc


