# isabelle_session_info

session_name: IOA
sources: 50ea18a4f39eac2724ea0b567ae0a5b68cdbb039
input_heaps:
a1ab0b5963a050516afd0da6290c5af30d29094c
8d50800a87c7552ca35d4acbf7891b84dbeedad1
9ce912069915fece21de6e27e09bec5411508969


