# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 281c03dcbcf18559d4411c1b547a864c53a4053f
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
ec123dce693829f016aa17c5552e2b7e72eead89
2b8628b589a1335d529474f9637534d0d964f0c0


