# isabelle_session_info

session_name: IOA
sources: 33e0c0ace13137a8897d4a1676f96a48dd63748f
input_heaps:
bcc4ecc5927ed0aaa25be4ff6aac53775f27264e
ea5f5da5cc0366d1830f1b8a4fbfdf0326e82ab8
f58f42edf42b45c6b158e38b75c19dfcaa4a468a


