# isabelle_session_info

session_name: IOA
sources: 14b35e72c9f7fef21a16e8e6b9b55ad0d50ac595
uuid: 41e378a1-1cf6-4b27-8e75-2be5fd5f558d
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
e0932f730bc0a2cdf070efbb67ce9b3ae153d640


