# isabelle_session_info

session_name: IOA
sources: bcd70d8ae57f073ff1004304bff1643a4a61279d
input_heaps:
38b81108fc9bab9389da9086abb8d14ce3c1258f
4f3f3bd10add62b21d7fd4c2710a841329f19b6c
df1ee44eb18d87d6bfb3d443a4b658f926c397f0


