# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: f3ba9b02be2c6aeb6c9f6c215af3ecfae61d9e91
input_heaps:
a4c5d301a507f7945f83c5170a983e051beeb81d
4a642d629266e43cd6125d2662e20da56947e7e5
89974962b6f5f68a49ae37f1dfaf8ab913a50bc3


