# isabelle_session_info

session_name: IOA
sources: fda1728184ff42ae1089d3295d64e71e3baaf299
input_heaps:
7453acf374efac985c0e19bcb736d8cc1aea29a8
bf7e9279f03a83e0c69488e2c43a9230106e77d7
4c376b9f84dbf34c5280ea6136686fe98e7af640


