# isabelle_session_info

session_name: IOA
sources: 823b7e432be655bd068f120e3ec8db7786f61463
input_heaps:
33566f3cddb263229cca6b46057522afa84933ef
bb7ec89f1f64990bcc746653a2c829e6a81d9bf2
469f1ca411fab3273216c1b3520aa659145a8ade


