# isabelle_session_info

session_name: IOA
sources: b727225e6f5fd08e9ac9157bb46e5c8a07d40ca4
uuid: 0bde3c7e-9add-4097-bde1-0ca9019907c6
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
0a4106de5d2d08addf1d603e536489af567526ce


