# isabelle_session_info

session_name: KAT_and_DRA
output_heap: 0a8725cf2a73119a500e022716359f9e26ee14b1
sources:
01c0048775c4fad436ebe10d13ed8e1f01285bf8
1cbf02cf780747b16631993a1808c11d7fba9b3a
4b663a83ac9afc94ff378de00ec5d0f8085001b2
4ff9cd7cbafe3c28009d236fd8faf3908686fc45
6216718ea823db5741d27375cf04cba9020c04ad
727ad21122285c26cc6a422ad39e83c006583c01
7b69e03710a91f8a4dc765a50cae2d6bd9d86280
86c7d772d6b1bb25170b886d166b3e772bb863dc
995367f0b8fd9d1beb35ac997940ae8503ecc085
ad6a04f85888d65167a6597491bb8b77cb2d720d
b33eceb3bdade92e0067971a98393ffc6d6e1c78
c8f23723da27771e0a7dba0f0694073f3947d28b
d249e6cf862da52f85479208464f281c71e8dfc1
ffc584ee00914f6d425275cc6795e72479b27549

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
4e7092fa6a337d6b30870a576437a4dfc826a357
124b3659d6d6b818671910f375833e368a09921a


