# isabelle_session_info

session_name: IOA
sources: f03a2f19e37d7a2a1f07e0e5fe32543a53b4fdc3
input_heaps:
b051f2261d6f88c03646aa313c73a7379e29a659
7633af7870dcf6daa19ba6bd207628594e3663e7
9ebe4094a7ed476b2573ede7c469714be4efeb9c


