# isabelle_session_info

session_name: IOA
sources: 05413ec0f1dfa57ab2f89801d1d7293b4c2ea380
input_heaps:
b0bd15c9fb8e87ab78f957d86194188c0459f9d9
2d36f315825d6c987155fad66981d3c51bb51ca3
0823fc0d11df3f961b75c9d5df7fda92b36f1d56


