# isabelle_session_info

session_name: KAT_and_DRA
sources: 8c9fc58eba16ed9f3c44fd1f0f6dc64a201d9384
output_heap: 6fb91443dcd20b9d3d9d6ce71ad95705b951f295
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
b79220a06323e5f78d1c915729bbd9560f19a1e9
5233cb34122a0d7b010481a444941cf6419556c4


