# isabelle_session_info

session_name: KAT_and_DRA
output_heap: a7b9c4ad7b0ed69fd804db4f45ce758ed1afce09
sources:
01c0048775c4fad436ebe10d13ed8e1f01285bf8
050e4d444c245e31b1f6b693c8fa444dd6f617fd
1cbf02cf780747b16631993a1808c11d7fba9b3a
4b663a83ac9afc94ff378de00ec5d0f8085001b2
4ff9cd7cbafe3c28009d236fd8faf3908686fc45
6216718ea823db5741d27375cf04cba9020c04ad
727ad21122285c26cc6a422ad39e83c006583c01
7b69e03710a91f8a4dc765a50cae2d6bd9d86280
86c7d772d6b1bb25170b886d166b3e772bb863dc
ad6a04f85888d65167a6597491bb8b77cb2d720d
b33eceb3bdade92e0067971a98393ffc6d6e1c78
c8f23723da27771e0a7dba0f0694073f3947d28b
d249e6cf862da52f85479208464f281c71e8dfc1
ffc584ee00914f6d425275cc6795e72479b27549

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
5437d1a7c3bfebcca8a8b15a1301b451ef013d21
1dd3a9e9bb499991403d3387661e3c12e8223956


