# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 8aff0ad1a5392076dc78f5d8fec1b1f451f97d99
input_heaps:
a681f6653dbc3911110a79ad31633f9a1fcd6a75
adcca596685e64fd6307a9b86c351895878559b6
a9a41a02f96d91e813324c112fb2703728b22dde


