# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 161c003ba58ae820a4815bfbe8307daa49291130
input_heaps:
9ea718305cd1fd52d6423d9576c9d8a397701153
78fa00d6c63010d9371bd27168edaa8f7fa59ce9
172b65020c9fc972c85168803a785f3402648857


