# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: df2e0fd0a012bfcb37930d871c671054431939bb
input_heaps:
97d0ac0823a94d13ffe050d721376d08c2de50b1
dbded9b0ff2fe4176c90e87a9433f947f4c46eea
0cfc001923194a1bc7e181a523f7a3d9e47c0e91


