# isabelle_session_info

session_name: IOA
sources: 152a509aade6b809219da3815ccc8938f5465abe
input_heaps:
251e84464f07fc24b34045ea856283ea3577dc88
df9db6ac00dfa405c9354e6fef96c332e793f1b3
060a285b8b9dd80f17ab2b5c177f6c0d4e51cc59


