# isabelle_session_info

session_name: IOA
sources: 3be337d77dfcff45aa09874e57568e26bbebe37e
input_heaps:
d283a8fae717924d7d4c810028d8a4be3559955b
315c0deacc4a77bdc6a602ec4de6ba0aed437907
a8623f742a7967fc649ef1998bea2c123b9fc6bb


