# isabelle_session_info

session_name: IOA
sources: 8c98886b0761db3921f5d4b36e6b94275254548a
uuid: 70c14c93-bebc-4cea-8beb-de85f1973ba8
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
7a16e6daf6a29ec3093065dfd2684f7ebfba6453


