# isabelle_session_info

session_name: IOA
sources: a5b16b0c16e52097bebae01f0b959e48691332e3
uuid: 019d3f0a-cf2b-4b76-98ff-568296e5f228
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
48edcca17ae5fb32e491901c58863a878db3cd79


