# 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:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
eb0aa3c81af2fdc0389824b762b3d287e0d34c92
de4295c667cf02dd2866a5678e8fd6e78eb95b93
8e84479d9f0aa8ba2aaacbf905d1304ad8c49cf8
96e8c09c1981c26d9dee97383ec4b7a35329df7c
1a205bd1b4f11a3f12f4c2969df6eb82e2802819


