# isabelle_session_info

session_name: DFS_Framework
sources: 6907d5bfa4c65555d53f28d27dc37bedf055fdc7
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
41bf617aa4d7e32a77bca29378e2936da391443b
b396f7675d9566ea4d5ff175d1ffc57e45f1b226
4a8146120a7e41fa52541764a37587b39c158c7e
d4083f2e5182b8bb0524b9e0f62ba37e6c161b41
2e25eb6030acbbc55b394845422ab7bb574424b0


