# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: ccdd8f0a73885e2c3a49677b7acdeca8c4679b98
input_heaps:
c56e6b8d00b62917dc219d0244bddc857daf987a
8454751ea11f5c0dd5919b6257ca06ad8a493bc1
60db232f526355cc88f4a889a2abcf9b3a63e65f


