# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 022ecc9879e3da4852703c93406f8d9d6686f266
output_heap: 0835b377949cca7fe5f2a459bc8627919c67b628
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa


