# isabelle_session_info

session_name: IOA
sources: 66a115da132a941d2971817fe07623ce7dfe03de
input_heaps:
6323e8ae4a2a39809963028663529f1011d7a0db
0078a6bb432ee63117c92ce3b78ffe13fa962525
ebeb06e9ad00aeb4479d51c9edb1a2dab1eef00c


