# isabelle_session_info

session_name: IOA
sources: c64935889d12f51efcb683ca7b4c2525ff537140
input_heaps:
b2ce47e9fa30fa4e703e105006b480f3acd5f4d0
6b78c4edbeaa2893201fb3c136469bc43befa02a
917f35e9df2be10ad429587f5d3608753fd92cf0


