# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c8ce4bb965ae99840bcff2409bbcb628765f13b6
input_heaps:
daf53072a7b7da07dacaeec0891eaa6642c159c2
e32a9e161b57c989291c7f5fad06918aacff06a5
300f15c43011b902a758f5ceb50d165287013d00


