# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 183503ad90fc10cb8545655dc23716588c70d96f
output_heap: 5a1346f2905e01391c4e4b6711d6ed9318858225
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28


