# isabelle_session_info

session_name: IOA
sources: dc8eb2c93b782dcf399a4dd129c01b6db7e3c523
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
0baae9c3cc55bb46e0f3289b05054103bd7cc2d6
f38ba649188a78fa8fcd8820c8e99e9dfe25d850


