# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 2893fc4aeb3692bb6addbc899ea33254b9dbf4d1
input_heaps:
7b8f755608c0663a4aab9838687dac5bc4543ba9
7bc41950d8bfdb019ce94301e3599edd937f09d2
05ccb67d9ebf135db8f57c3e62b9f793bf29928b


