# isabelle_session_info

session_name: IOA
sources: d3bc99bf0a6d449433d9c0e530f18c0a0ae05200
input_heaps:
6cddc4affe5c2168acd960501c3b8e0a87b46c52
836e6c5126283467c7477ad029076bcafced66f8
3ac0c110ae9d8dc0fd070e830cb514ec65f9f92a


