# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: b5d803d441325ac9607ff4c97a43cc08ddaf14ed
input_heaps:
bf9654100afe32c7d5bf427df7a0aaf9473b4b02
25da447281407266ec378fa715a0f0d237e17a82
9a2cf41f4e9bb1a11232b47e58556d6e92481e08


