# isabelle_session_info

session_name: IOA
sources: 6e3d2ffbae7f9822a3514af6807b5468805c8af2
input_heaps:
771b27749d066eb00734e2e3694240d3b29658b5
60fd69b109c3dc8deafe23bc6f2cd6b659f2d722
c4ffb159cae94c6b0cc96584d9035da776a38a87


