# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: acb5f45a8204b7e8e0d10a336fe76fef43a16793
input_heaps:
1a50fa50a5733030b299d3e325bb45ea88e85f95
fda138bd8b20e81f97b01273ebb208754d9551c0
1192b9c8aa1172ce599cdb624a9532f68f2b8180


