# isabelle_session_info

session_name: IOA
sources: 4832f7f66a9fc89b7a9237705b26cdf20ce6f7ea
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
5f1ca0ab77264efdd1dc019b40e7f5f33ea6a9f1


