# isabelle_session_info

session_name: Auto2_Imperative_HOL
sources: e0ad62bc3da1b133fc6362ee983a2fbb5cf2c865
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
9450b0ee406396734039308b1b63172efee1448c


