# isabelle_session_info

session_name: IOA
sources: 0ef4d35ebaf693d24fd513b311d580c698674e29
input_heaps:
fccc52e90296d6bc1955ae993c338f1f3bed89b4
4c8bcaaf64a69424fe927deafa2ed2aa9a0162f8
41e6d3f6f95f3c912399ebbc7473fc154afb6121


