# isabelle_session_info

session_name: DFS_Framework
sources:
02be445d511e1ab7fc444bd86bc548f1b013df0f
0bff130e487166cf602d0fbc5be54fd361ca296a
0f8c041ec5e9ea0ec67908d3c01a9ff66d2b7c27
2b10fff15ad9e6cb68394a77ebab6c5a6d4822a1
2d3f3751bca15ce3e756b30e58ade31fcd0401ba
411f19c6a9efc8c2a774d65858e2997d333fcf5e
5d9d0c1f20ae6127ea724f90afa066da3b6c5887
623602700c40d6978f738cdd0a83512ca32220e4
75e5ef63401b55d4a1716b56a113a7137a71cfa4
778d734dcbaec05179a6b327af85c2393d27fcc0
7f1facf10872989e03bdf4e3bde6466baa11890b
8c336df2fd282b63a2268d6fd99e6fd82347143c
9371d1ab60dd3c447cfd4995353ff37475808bef
958d4c81eb844ade1fc893c487561e869ca547cd
9d1d682efb246627c073c618ba5e9d80073ad34d
9f9b926a6d8ad9d23fd2036ad8684bed8e908de7
b1fb471f46ab216c482e4aceb96fa781133ff907
b3bbc178c39f92c24f6c06344863ffd68aa28a55
b590b33a184e0f149e3d269961ca7bf5b4b56f2d
c2f30574fc0fed004c00747247132c707bbf6d7c
d789e50e312c033deae98670a48cec0cf8bde2dd
e6773413ab8cd80302ddc33a8787c627c66b0e7f
e8fdaf54d5e5dab172360d78b5d33e9c324aa473
f480f450b675f82abf781687e572799f698a1924
f62ce3c9c09400161f2c9665c0100dda3765473a

input_heaps:
db7c23777632c9a5808e846c4c293183c8f78938
d902304df1792a9edf11f13fc29f7daff49f3259
0b1f3618ee62d44b3ddda82e0cf34a54d49130e0
1ceeb01499265611c449fb44ca8927f0f8548966
d9b39fbedb39adc11d55af7e771c2af45abbfcf3
b95501e10398e73caa5b0cf88df1964142cd0a56
babbbe105a4c229d0d1481ca907d63c2f5bdab2a


