# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 5417f8d0414524afd5ce34941c4dd907ee630823
input_heaps:
4cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0
7cbe2b787552e2377b1e9e19550fddec8825838d
d5f5a9d395199f6396c076771ce7346e19c2f74c


