# isabelle_session_info

session_name: Decreasing-Diagrams
sources:
1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340
5f83dcf2976631d4e831fcc4c95c7a48e6a58901
5f8e3f17618ab8944a9eca8b58043c6166872776
f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
249a4463da38ddecfd0522869ed63677ebe26b74


