# isabelle_session_info

session_name: IOA
sources: 487056d440d8fe84f2715dc11ccaa1d4e3ae99ed
input_heaps:
524230ad8671d20113f24ca2a9fbfc3940636b8b
86cd61c2f9ffb47471cd7778ad347eb380aa3ab4
c5038ab21f8646be47d9b44202ba4bcf1cd3e57c


