# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 27b0c128f5b49dc9f0739b77ff23ac50e94612bc
output_heap: 26952dc42a30a026ef848dba41df905d1c4aee68
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8


