# isabelle_session_info

session_name: Decreasing-Diagrams
sources:
1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340
5f83dcf2976631d4e831fcc4c95c7a48e6a58901
ab4b6445f6e853a0d629c23b8f052c50ebeedb0f
ac9cda8d7a9b249e337fd3b647d766c9e7b53a11

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
c9404b4528a270b446269572166306b5a65bc19d


