# isabelle_session_info

session_name: KAT_and_DRA
sources: accaf2bf7e4114e309f7756952d24a78d5af3787
output_heap: ff43566038acbb91f6d65100b0ede6042d8ae59e
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
62c6fddbd84e1259c96caee5efb59fa18f6a65d1
dc56d5fa23eea41495e086d7a9255d586a47affd


