# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7472d6eead6e5d810c9df1e93dcb32d93b9a34ff
input_heaps:
48f87baeea618bf8b318f4114ee7c34a4c78daa4
981191c027fddebcb6f024ef53e3329b8a2eeb45
0d5740e6c045807e81a81ce805597e5d5950890e


