# isabelle_session_info

session_name: IOA
sources: 1c2a0869eef69fc5f0b2adb287bbbbea3fc054ca
input_heaps:
b71b2aa485767f91425b025d2acb6b14a80f48dd
fe032c99cb4dd9300104ffa318b3d3be808bc47b
3f5a5caad03597a15847ecce2fda88e307e822fe


