# isabelle_session_info

session_name: IOA
sources: 6fbba316d34086e34fa5a49dce3b19f7d74af1f2
input_heaps:
0d46e8014914da4e1c47dfabe60e74a66f8c0804
3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2
c6dd2978714534c3172e4bc213d104194cd59336


