# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
bc0749a4f96de53e4d56260de41318a1871837d0


