# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6
639b2b34b76cf0c0cd61c76f339c093159daed2b


