# isabelle_session_info

session_name: IOA
sources: 93f6d33a64e3d9331d0e25a7074db6ca34f4cb3d
input_heaps:
b6cea6df0192bc503fe986b33274a8145ff9ecd8
586af23001be017adfac22458b502ccc183a7aa6
c9fd7ef93993d43310a5e4eecf799d2920eb34c7


