# isabelle_session_info

session_name: IOA
sources: d2630149d737e81aa632973f1419225d0d3cd27b
uuid: beed1e5a-dce2-4b31-ad6d-84998d7b6e5c
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
c20a0a2784e7c07074d337318a6983a91af9562a


