# isabelle_session_info

session_name: IOA
sources: 6ee6a122154f268e03369009ee9417e212fbdaee
input_heaps:
ac799521742c6a511fc6b752309e53d5f9492760
7d1e272668ac77c0cb149e8c1935fb9a1f4501b8
b1b276db9f12baba0d22cbbec3137affdb33cda6


