# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 15af6a4da9f36d13fc04f11df2d34dd7c6143552
input_heaps:
9e57621fc6e68a5512aa3bfd26eb21db38620196
a4b348888fd6bb25a5848142d09c6ff446a0d19b
565f6a4c6ed70931cae2fd9ffce2500ff3db9c3a


