# isabelle_session_info

session_name: IOA
sources: f502382547d7ca6d4dd5b7cd2da4888a39402a85
input_heaps:
5ed84af47abc05e6415ee3f4ab9fbfc3e91721bc
cbc18ad7ee89e59ca90d637affa8dadaa40daad4
c547dbc52ae7989d47807708acac704c2d059b0a


