# isabelle_session_info

session_name: IOA
sources: 004c8b15e66f058ac0dd246b1a498a62623ceff6
input_heaps:
555d97234e2215e68dcfd0a908d191212ea0a6bd
2fd30c2f107bbbb7300d851cef8487427bd43e67
7ed18e0dfb5b3c9cfea6e606f874d37f79a4d10a


