# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: feabc6dd3e25963e39483b49da0b6caa46efa48a
input_heaps:
4f89cd12fc22a65e55bef97b3448b7e615a544da
d52a9e3ee76f7778dcd9aaedbe9bf47fd4344515
5205cf9b0fdd8595a979ab8dab52437133c576c8


