# isabelle_session_info

session_name: IOA
sources: f56cbf48439abe03edd38b776162bb91a7d2aeff
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
540c8810e740bf9ec9abdc08e9726f8a3b8016c6


