# isabelle_session_info

session_name: DFS_Framework
sources: fdd01fb7285929901f6ba820fe34a8eb0c44b85f
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
af729a4e6d342a3e3695e8e3e475bfb4a0bf0acc
2768aaa4a23fce809c92d283961f61806db38dfd
1823b077992a4626748564433bd4917b63a8a4e2
a9c1dffa38c3d55eab725e87e7429835d437d4b9
9ecb2df991cede18d72cc95f11f5e1f5e2b8eff5


