# isabelle_session_info

session_name: IOA
sources: 780ae7bb93b9fa65ef24e79ceddb211aea24ea09
input_heaps:
38c0e2920549e9749d6e446b2b50cc3ebc6f2bfb
8ddd6744a680850cdb382982b4e7e53d36e0f0fd
391b9441f10b1e40154e5fabb89c7456079c7550


