# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: eb4e5ecb04b4a29ba385dcad76623c30148849da
input_heaps:
3771104ba54383187b82498d379f94f1ac6b03b1
67c8e514558538ef71305db58915e5c5c063f028
656388959db19c98ce9cb9488a6ce13713bbf16c


