# isabelle_session_info

session_name: IOA
sources: 38a027e42e83369bfc203f50edae1c5f8ef05d86
input_heaps:
ae96c4661efb67fa55c859aee66272e43d21faf1
df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456
9d66f4a525fbc7f35e564de9d9b27faa72d5d49a


