# isabelle_session_info

session_name: HOL-Word-SMT_Examples
sources: 7856a4bc3a786ec4433fc9dd746ded97ed5cb22b
input_heaps:
4a94cf884247418bea313a9db35e86db2b51269e
14acf31a4772521a6ac0f6c0b1425c28333b3578
7482779334d3d096242093b9097d46576e180ad8


