# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d43f242b99527e2a4e68bf4501d0f71536612c11
input_heaps:
e8537c47e923e47de729f9e0567accc61123d7db
017a6e647f3bb9870cee54c6bf34fef030e0e70a
515ac11aacdc460b3754a90d3d8f56fa28934655


