# isabelle_session_info

session_name: IOA
sources: bf7831bcf88868a5b6660ca2e5a8a4bed3da0bed
input_heaps:
670512538733605cb63d45e26f52dda04b891aaf
d1cbb794f03f6e7c97845b63a50e90ed33c8e18c
3258b0fcbd2837692909c300790f198fe1ac9dfa


