# isabelle_session_info

session_name: DFS_Framework
sources:
0f8c041ec5e9ea0ec67908d3c01a9ff66d2b7c27
1d93b7dd57557108d8be6075ff1c7a0291a37b22
22a5d64e00025884e847a01bf5fb7194721a4e05
2b10fff15ad9e6cb68394a77ebab6c5a6d4822a1
2d3f3751bca15ce3e756b30e58ade31fcd0401ba
411f19c6a9efc8c2a774d65858e2997d333fcf5e
4513ea659e3e0a7e73454ed1962a47b5a837035c
4e5b0edb40ce3c6a55a17a80680f6391820cf021
5d9d0c1f20ae6127ea724f90afa066da3b6c5887
623602700c40d6978f738cdd0a83512ca32220e4
73201205f832d52c523a26124cd8ba76565e37a0
75e5ef63401b55d4a1716b56a113a7137a71cfa4
778d734dcbaec05179a6b327af85c2393d27fcc0
8b4d9228c7fc967183d4bae513f919546d3b878c
958d4c81eb844ade1fc893c487561e869ca547cd
9d1d682efb246627c073c618ba5e9d80073ad34d
9f9b926a6d8ad9d23fd2036ad8684bed8e908de7
b1fb471f46ab216c482e4aceb96fa781133ff907
b3bbc178c39f92c24f6c06344863ffd68aa28a55
b590b33a184e0f149e3d269961ca7bf5b4b56f2d
d789e50e312c033deae98670a48cec0cf8bde2dd
e6773413ab8cd80302ddc33a8787c627c66b0e7f
e8fdaf54d5e5dab172360d78b5d33e9c324aa473
f4ecd18a16d8008cd09e391e057ba990ab97e102
f62ce3c9c09400161f2c9665c0100dda3765473a

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
5782d1e381411826a82f76b39feccdce77eb3b55
45d371a88b99d33d1d7cfdc29be65da8f4273bbe
2059509980c8c978e66a1f773ebdef98f32ee0bc
d9768abad14d8a1da7d3d5f3ad2d900567937adc
4b6a4ef20495a9195b6832e8e6cc73c332804625


