# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 0effdf5e4e4a45d8b92bece8aa33d453b24d12a3
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
2364c1110e157ef2acfcb8f09acac5f7b478263b


