# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 48529faa4bdf3fabcb5b53a2e77445669ab5bc3c
input_heaps:
e0c3be278ab23203661c3c6841cfab21927cd669
15dec5eca7bd6cfbf480be5212e1b8fef38abae0
013613568dc5a8313980b298bff558a0233d10c8


