# isabelle_session_info

session_name: IOA
sources: f95f927cac9b86c96d8312a739f33a6b9b078ce5
uuid: 52896136-46a5-4b8c-822e-be8fdc43ab55
input_heaps:
8bf6d6c4ec5c362fa65ec69b5eb9f99879813db6
d114ea8585affa1ead63c6f741e34ff76a13097b
6fe2859e01f1692ef41e7398fc5b7e2691e13ca5


