# isabelle_session_info

session_name: KAT_and_DRA
output_heap: b39fa2b27932ef517ceb28fdb0d68a8c80a0f9a1
sources:
01c0048775c4fad436ebe10d13ed8e1f01285bf8
24f025910e21050a97b0c9c6916f6456a51b1f28
3f8c1970077b4d408a8d5194d9b7b8c4b311b20b
54d92d7956fba101d31184744788ef211b1fa016
613127b915d4773e38f559c340805c6a11f8cce3
727ad21122285c26cc6a422ad39e83c006583c01
7c1ead04ececc5b4d5aac7f5d19f5fb88b1f0096
995367f0b8fd9d1beb35ac997940ae8503ecc085
9bd777654df7a6cc8cfde14b529dee4f757ef497
9f06deefad2d3c7e8f1c21465e9afd0d4caea593
b33eceb3bdade92e0067971a98393ffc6d6e1c78
cfa8483662d0362c9b3eb604801842e7fff1c7c8
d249e6cf862da52f85479208464f281c71e8dfc1
f7313cff4d760728f2e913ce633102a21d13d476

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
bded2976de2cf267c891e8c27b9bd77c6482ece4
bdebb2e8bfe33fb50db6fc7757d4702681b25850


