# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
7a21c80d3cb9f4fec6066cfeb29821ec2be1b923


