# isabelle_session_info

session_name: IOA
sources: 45723d63a79650f6d468478920ae7379352c7798
input_heaps:
f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc
92fad740fd10300db52a7965165ba931d80e398a
b9336f6f670fa045d2bc2dd3db215da8b6eb4457


