# isabelle_session_info

session_name: IOA
sources: 20c14d271ca82170f6952943456cf1695d4751df
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
bef3e4410e1d320c2202a1ca1e2493cf1da798cb


