# isabelle_session_info

session_name: IOA
sources: 1fd3a9d0e6aa06faaf2deaf2be9dddfbcd4e7110
input_heaps:
97c3e98ac0e956beea13eb32f7e170d09dcf32c7
b5f46e06826795d19aa5ae257b1fcec268310c5a
8c71a000a9b51090cc0501676b3018ec9e2e27c5


