# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 99a70505c145f4a86446a5228d665d20bff5ef6a
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
0ceea9550733ff99ec76e33e242f61a56d15d9b5


