# isabelle_session_info

session_name: DFS_Framework
sources: d2da8d548b8c80a00342260683d02527c91f8e20
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3c7aeb217fd44c7460b5769cac1ed10d140ec2b6
b2cc0d56a314f05468c6e67ad37972ea81ed355e
13d6fe975d1741aa4af55ecfa4494c65942e7d59
1c6390e2717e3fa9fa3a08753f4c43ec926455fa
e5600c308b771daa9d7f6f0ed513071cdf61ebf4


