# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 49bb3d4ead5c5dcb2f01fd6c314939cf81ee0b42
input_heaps:
a3ca72e93022ff3a13f721dde80608155e0e134c
03ac95b81282031db310f795682802eff540a88f
33bb850b29edbe3883d93cfa01678fcf5af51a08


