# isabelle_session_info

session_name: IOA
sources: 7801abe63542c717580a4e8f5619d35d532d2d3b
uuid: 7bb9a93e-5204-4f91-a8b8-28bf0589b4d8
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
6bf9504ea610e96ae86f8d0463691d6222841d0c


