# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 5c8addd1517bc5ffbdae3ad8b7277fecf4c14a25
output_heap: d2b574de4c7a94150b4545b81c22c785d06068ed
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6a753f5bba36be6a9677923d7a2b6c8b29d1347e
b7d2f1f69f19fc9294392626dbb233eabe2342a6


