# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: d0dedf349c57e164a180144ce74f1b6b5ddb2e26
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
151f185782dfbe53b60647561f4609fab6758491
43bbdbf9737dfdeb6725bb61d00b5b38f38f1118


