# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: 35c8b469283c0ef1ece56c5ed71bf4434779d405
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
50f31391e3916a4c0c365d4241f32ee9ff2ddf33


