# isabelle_session_info

session_name: IOA
sources: dd83fedf8250d17653d443a0bc2cef9ec77bc7bb
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
8e38005cf95b8cda6e9371459ea852300350e6f8


