# isabelle_session_info

session_name: KAT_and_DRA
sources: 457f4d46f8c8ef9358d4272b4737578529530c4d
output_heap: 2351411fc409f3488e450c9cda6a0effdfa5e818
input_heaps:
eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0
584f21f404c2863325b05768822512e8f27326d9
2f732709a157935127ea6979a79cd0ba51778e0e
8cc4919033af835a19929242aaea87ba8987b3b0


