# isabelle_session_info

session_name: IOA
sources: 42458833bab07401ac9c1c6b09d0bf965691eb03
input_heaps:
e16f84d7c340d8045cb3723a318bbc6979d10b50
eff78744afe789aa6bdd15553f69311e18b4e04d
0added8376e36fcd23c56a06bdc65e15c97e554b


