# isabelle_session_info

session_name: IOA
sources: 37a03d0acc2dd772d9f4b99beea004902f6784aa
input_heaps:
7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea
c833d794d77e1e4cd4627e82381772084c282cfe
0d7481f3737f92f47effa0c7e96babb38c0c4770


