# isabelle_session_info

session_name: IOA
sources: 7bb93959dd8e93cc906dea9b58422ffc6e98e07d
input_heaps:
47fc8421a194889d814b2263065ab8e04edfa5ae
17dbb756907857c7d44e7b32d4d1f9a0c868c32a
126fa67dec45c73de2e6c6c347873058ed859057


