# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: bfc011ce52e35cfccc1705a38de4e99515d782b6
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
10ae2a8c35f689f43cb20ed67c4a364a1bc2c698


