# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
9221adcc8dcb4d328eee3595ffd722fa0387be51
2fb151f0fc1aa6354ed81bebfc18ff19269b9867
e9d4aedfc88780de349203823bcdc5a3a5b1a7ed
65ad6717c1f3896137704ab52e617fc4dd9012f7
0723d7cd123dd22f09561541f4cf832d5943b75b


