# isabelle_session_info

session_name: IOA
sources: 639f744ef5a7e4591828a3f3971af921c63cdb98
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
dfb1c663f370f76de9b26cf43648c50dddc228e9


