# isabelle_session_info

session_name: IOA
sources: fc73bc8f941a85e8a18f4e042c6e2b3f6704b4b6
input_heaps:
e620ac930d489078b357b373608609ed836ae94d
6f5646bc3439a661f5be6d727d4de222a5c345ea
d46bdf5e73bf0fe3e19006a2749062aa844cc374


