# isabelle_session_info

session_name: IOA
sources: a26eef402980ca95cfb7f00fad801bd599dfb459
input_heaps:
a3d176741bae82c9dc513b9f3c009dc5dcba212c
631fbaef9289fd3b1f302dd3ed834db22ed304c2
19bb84b91c08e181d9fd667cdecc57a14cbc37b9


