# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 44dca15f937cddb36e7671a9c26f5d674293951f
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
5a31b51ac0cc70ed6d4f9783db7e62f11fe3f01e


