# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d2997a16853b20713d3b33672d59c2a19b547693
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
6295816026afd41e3201b0292824dc57db5eb197


