# isabelle_session_info

session_name: IOA
sources: 37a03d0acc2dd772d9f4b99beea004902f6784aa
input_heaps:
78a3df3deb9d45514fea086c8beb2a7c1a1ba790
049b979b2a06b0d5c1c847e5ecbd9c6d211697f3
c72de2477ea8a57228677f25c136391470ac5586


