# isabelle_session_info

session_name: IOA
sources: 0ef4d35ebaf693d24fd513b311d580c698674e29
input_heaps:
6d2b45655ce44081c131f14d4fedd2d1bdfeb50f
e788a9cf233d6b653b58bf56bdf77b51f02134a5
a30714e62e8a786ec852cd3eb7d3183a9aed814d


