# isabelle_session_info

session_name: IOA
sources: 07a205deee8b5f3705f8a1885583d0bfabc10252
input_heaps:
af6f82155bf73f7bb583ccca2ea0903508c15c49
d46974a3086b030c59882507bc02c46cc6680af9
a8777b8c734a90182422c097a53f5fb06d9f16eb


