# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 20ca49c9c5649107fb1bddff88de6cf537ab1b89
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0
554f92be8eada6c3abf968e537799e9c68bc05f9


