# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
43a0916975fd8fd7a39f263ad02cb82da7f42160
6cee03eab8705434514a8f7a88223db25e0dbe9d


