# isabelle_session_info

session_name: IOA
sources: 9ce40d1966c635afcac25684426b682e2bd42603
input_heaps:
a61b507f41a53faf272c6071fcd8d5a7bd20132b
33bfae3d80b5d001fe17b2635b3de728081f0601
9d8f1bbc13b6ab5bbe6d8bc66fb755f8ae5296d7


