# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7856a4bc3a786ec4433fc9dd746ded97ed5cb22b
input_heaps:
5ba685b34502b4975dd781c9ef731c56a0e0c185
7db66820c4732ce3811ef4ff9263cbcff2cc8580
d18a74cd898a55252f5217e8291ff1b061dbb222


