# isabelle_session_info

session_name: IOA
sources: aa5ec625d95d8315d163ca7f61025715c33e35b0
input_heaps:
e0c3be278ab23203661c3c6841cfab21927cd669
15dec5eca7bd6cfbf480be5212e1b8fef38abae0
48041238d501a4c969720234b366be3fc9316b43


