# isabelle_session_info

session_name: IOA
sources: c9cd7a0a6d8ebed18312be5b3059ad555dc7a512
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
6716c403c77140fe3fce3d2cc845a140c517ee6a


