# isabelle_session_info

session_name: IOA
sources: 011084c1171bfa609e2b7864224a5c148f0a5b3d
input_heaps:
b32ce723b0c0669b9208cb20425fe0e449964a29
c8cabf77ca89781c09f0ffe7bdb60b594b63f54a
e54af9a5baf21b013163eba074e7eadc6faf5446


