# isabelle_session_info

session_name: Decreasing-Diagrams
sources:
1bc701f8eb6474e542db12a6b783a92904024b2b
1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340
34221437a109a5594ba7786476b5abb5979a2647
4e3dea444da192193ff98804ccdb36273aab6e52
5f83dcf2976631d4e831fcc4c95c7a48e6a58901
82fce86746f9061205d625fb926c1da3b71e3bc1
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
d590558ac27bd56791168a8179e1e46d592628cd
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad
f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
cae37fff4f9d3f7c7b0af52720d3c2a97957b546


