# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: cc8b2d4470a8653f584fd46a4b6346477ceef0ad
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
ab1a78b64c81703202979fddb4b5c33dccd3120d


