# isabelle_session_info

session_name: IOA
sources: 7122a953b021956c1ba5da3b59409ff848ecb0f3
input_heaps:
381eb638d080047e383b4173449e80c0994bef3b
99f9932f08c3504e205a3588116abb3fe7dda7ef
b4f53df4bd1975a25258d8887486b1ca643e7d3c


