# isabelle_session_info

session_name: HOL-Imperative_HOL
output_heap: 7555cf4c7e7f4928926b1d1680b2fc79d8a3bb4b
sources:
0a6a6fc18551208fdc00a71a8419975584d8bf0b
175a6d3e2f85d31b6339560dec4aef0e6e5f90e4
28bd21414c1119589793e8f0d99e2008626e0f13
2b5684a6b1a13b63e27acf166582ba90f2e953d8
2b672a1f3be85a224115686332fc1a5716203296
37fb2d22d367949899c0d8cffc2f5acbfbe24546
3b998872ff77efd987d98078f377180fbca625ad
75e291446aa8ef411040cde0b9d71731d07c618b
87dc17ba46fbf6eaa172ca592a529c1352791c1c
8952d4b1874fe3518f81143e319350bd3ac89278
906e8a98694c39712dc49574eb112cfb854c190a
981ed367d5962d03fe39dd72214f43adaca3b751
9d2f40285e395e3484a92f2f981fa773e1b72b56
9ef42b2744f251c277865af0f2517ccf4908432e
a8941ed19dd30a97e813af2ea1d249d70f6ca2ad
ccaebdefe7133d58fed3a28f42bc01851ab2205b
dae8c003794a4647f26d737c516b9ecda72d8707

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c


