# isabelle_session_info

session_name: IOA
sources: 2594bf2f4ac132befb1f6f454210d83ac477d547
input_heaps:
c57905e4889391014b3cd9b4f004261944b8f8c4
112025c4cc8eba4f520ad7bea85bf5de1a11b871
6d665c7e8f27f32094f3e5dd2f929f24871dcf18


