# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f3ba9b02be2c6aeb6c9f6c215af3ecfae61d9e91
input_heaps:
b54c917c7739586c95567d8d649d231ede1628ac
23e898e8397dbcce45e1c2a85750d285e5907f00
d81cb04c36b6443a29e0b535a21141aa681935d1


