# isabelle_session_info

session_name: IOA
sources: 1ce2c7dc5e0fe4679be50eb791fefd5c6cf8bf24
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
94180f5e1c7b33f385c4ecef48a55a08e7dea012


