# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7856a4bc3a786ec4433fc9dd746ded97ed5cb22b
input_heaps:
9601253344229b35f7145f2143ac6522b5caf531
6ce3cde7225540c5abb96978d43647709608ce58
c3712494f0a435d6f46bc35130da38b3c9813656


