# isabelle_session_info

session_name: DFS_Framework
sources: e579bdcb22d5553ceefaef8f7bca84da94125553
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
a00db45f922c076f84c700721fff4242e157db35
9474c800230505bbe6b4f1d92cad99819f4bdb3b
e3deeb94af35788086634df4a15cb8079d8a5030
914215c92f2c7e44c9634b4c2cd128198fa13483
2cd255880363f78299ec18bc6f8d21a4472f7f0b


