# isabelle_session_info

session_name: IOA
sources: b6be5de1fd0c16e6556de535d3bff47f33f46c81
input_heaps:
7a8e704ccea2b410d547e553bb494c61d99479c2
da57c5945db35fdf8ea8f0f69daec22595a33746
f9364bd354ab74e4cee8ee3ad6403566ba0b7c86


