# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: d84d8ae7a9dcd52666314d2f0ba9e6c9a85da3b0
output_heap: 0f200d7a7efb843add1371f86e4e8cafb5616e1d
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
a5aabe3b6786583f5f5b4593bdf823251b9a1bb2


