# isabelle_session_info

session_name: DFS_Framework
sources: 0029b114f546296912d8f79d5f1851c7c34825fc
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
48f5e92669655eadf836376133942ba1735ecfbb
be0faf5d1fbb0fc2730ac15d3cadff9b9082af1f
c581a6ba72ff0bf81bfdd7e69d09d8f5b5a7f35e
c03a92cfd6ca9fb21663f478e2c8000b52f59ca0
2696452cada01f925f9cb503351bdeb28a5a4bab


