# isabelle_session_info

session_name: IOA
sources: 23ac01a844a2470a7285731ca8b0d9e8ebe4c905
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
fb31bb1d22c3458529a69f45113bd889cb0e35bd


