# isabelle_session_info

session_name: KAT_and_DRA
sources: 8dd8eb69eec0ae49b337c76f1b0de5a0efcd1f68
output_heap: 01823c88bd65aa31a3b5d0854df3b74caafbe2a2
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
0b115791849dc465b056ac72c0371cbc706643c9
2dd2880d366ee1563ea7f42ed33e54e545ff8660


