# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: feabc6dd3e25963e39483b49da0b6caa46efa48a
input_heaps:
5a4801f0c143f74de5fafb369b13a773b3d622f5
aaa54dbeea5ce8901e3a981b42b1b8219bf4ff22
b73e0a91ad6b30cc45558b8972493c222705e0d2


