# isabelle_session_info

session_name: IOA
sources: bc3b283032788f1c75d71a8032edd918e44406d2
input_heaps:
6f996ae759a0b89fd441125c40850611f02bb4d4
6a68b91616aa56bc8b0d5f5946b5703daf60125c
c2f65ef79db4a6d666fd002244194763c06b68de


