# isabelle_session_info

session_name: IOA
sources: 228cfc6540c7d232cf4272dbf5d9173c0bfa532e
input_heaps:
e6482372651d25cfcd88b33f1b222ef5cdb71889
fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc
4732f9adee54699ef4a3cb886db3b9fc27c24520


