# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: dce53b0a59b84a26d52915e3376827a057f099c3
input_heaps:
a8d2b2957cf6386ef71e6190a6c8f3ffdbb41229
d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0
a9e14bb8d9a72e70c9ebc6f2552a1285cc6892df


