# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 15604c2521ff40260f90987fdbfe89cccb2c7f8d
input_heaps:
b4ade832c2d8ae0bd9580685adbbf7212199884b
6105b24e2998351bc5036e9603d7810cd4823116
b152bff29bbc1634b26199c258f7e6574bd4dab5


