# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: c1c09391058a2ecc396737c97c5678b0c422dfc8
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
76293b9a0e239043d3c1563bd8e4d46167ad7aad


