# isabelle_session_info

session_name: DFS_Framework
sources:
193e5729d4dd5bdc1464ccf2be225d3b3b7f5987
1d93b7dd57557108d8be6075ff1c7a0291a37b22
20445b3275b0ccf95ec60365bb6af0d222f07354
22a5d64e00025884e847a01bf5fb7194721a4e05
2839c38afa9bc9f42906829d365b2ae2b776fa94
411f19c6a9efc8c2a774d65858e2997d333fcf5e
4b04bb5b1b7e9a6b3581817eb1d8db92e1654bc3
5ca08c83bcd3a0d546617c190ca0b5cc05b5cd9e
5d9d0c1f20ae6127ea724f90afa066da3b6c5887
623602700c40d6978f738cdd0a83512ca32220e4
684c2963eb315e6100468e9f3ec88ce7ee4c4016
73201205f832d52c523a26124cd8ba76565e37a0
75e5ef63401b55d4a1716b56a113a7137a71cfa4
778d734dcbaec05179a6b327af85c2393d27fcc0
8b4d9228c7fc967183d4bae513f919546d3b878c
8c88d6abe65cf2c094916f5dc716c2cf98a9f71a
8e14e81401e830fb8406d05ce4b3d798d33bbfb3
94ded975aed63bdbdcb36301188942e4a99574db
9d1d682efb246627c073c618ba5e9d80073ad34d
a84b9fd818a27fbeec482d2da65acee35814b3d5
b3bbc178c39f92c24f6c06344863ffd68aa28a55
c55c8442f1f21071ca3d96210f090fc5dd3ca555
d789e50e312c033deae98670a48cec0cf8bde2dd
e615e6020a76c59823a5b58793414d98e49b6b7f
e6773413ab8cd80302ddc33a8787c627c66b0e7f

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
0ce1c923844ebbe40b08861fb037d19007421337
409d2ec7fdfff483b241097706e2e941d1c9af43
54b36f44b82f7e6456cbb9fe4a132ffd157d1117
e9293a817b84226a80c68a830446dce19f5aef88
f75c5b049db302b1eadb85e32bb54971e3290445


