# isabelle_session_info

session_name: IOA
sources: 44a944a10788498d089100800b3750a9b9637b82
input_heaps:
7273fdae3bfc71056220fb0fae99f3e681c62fd5
189351fcfea8ef516c3b9ffc4b0849f87c6f523a
1af5b1b0fe2d485ca4bcbc60cb32d164fe647dce


