# isabelle_session_info

session_name: IOA
sources: a586470443f43540b46feb8cf9c575516d7e2fd4
input_heaps:
3c46bd8b58900339f0224e9308b09b20a89e5c96
6e62e245d40a14874522793008aa9e192fd80913
283b00acc76c935a3c9d02d05f13d9dfd7a9dedd


