# isabelle_session_info

session_name: IOA
sources: 966c3543ecdc3d7d7b8aa4a2a87046503bc7cc0c
input_heaps:
5234d5a5043eb9f3e26897b36f073692111b110c
b91e791daa16209e13166716aa8f901dce4a31bb
283dd1a256824cf6c8fb54979d211531c9edf9cc


