# isabelle_session_info

session_name: IOA
sources: c9505c073d90f18454d913eaa8f08e1b8c7ae333
input_heaps:
f3ea5aa2f8d11857b657c5935b7de4dc91bd7467
17fecb4a5a4b0fbde672e754c2951e16217e6fc4
c60ee1896425b0586c4298c3fdcd0add09dd5b59


