# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 9bc87aa271fb25dd6efe9a1a4502d566b4a825f2
input_heaps:
b4f0352ef26758d0b807242b0832bb09719f7d40
32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de
e4e56bcf93325166908e15eb6172c6a0fc11a494


