# isabelle_session_info

session_name: IOA
sources: cc49727d965ff4604cfd9a831226d7a3fd152196
input_heaps:
453b001c09ff735701b1550cb3c993764c9b9b6a
3f6e51873188e0c44de8bc52bec007be4fe630db
c527366e3330b99723f1ae1a8de1987bdbae9481


