# isabelle_session_info

session_name: IOA
sources: 2531ca1647a3deef4e7309a4e6c915c732ccb117
input_heaps:
e8eb12ec958edf5a5d2cbf15395a8cea53977f53
d1f8b402b68bdff9c63c026506ecef83f5f68c00
95932207086dc04e1c5df08504c013855d3629ea


