# isabelle_session_info

session_name: IOA
sources: 75afbfb5c243f8159e7e285ecf83dcd891bdf3aa
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
ca93c7ffed152f60f4df396467306a3c15d49576
ec1512bc10adf3e1f872c6d433f9fb962a898b71


