# isabelle_session_info

session_name: IOA
sources: 90cd4fb397a15a1010028c3c66a337d1484fc76e
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
176888301dfa1e83c8502c2a6d0f046cdc6d395c


