# isabelle_session_info

session_name: IOA
sources: f86f99938cdc40411fe2313c3a1209e3c9bc752c
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
2a79647fb3d7a8c35b633edd0cbc0b2cf7ff4f82


