# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: aa35c2edb783770bd800e6862a2c78f4a1490457
input_heaps:
8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3
26287f7258648103b1684486e4620d0d4bfc2934
d7692d3cc37a7392deeacf2e76751a296bf017ab


