# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
f656ec447c30fdf9474f0847349659e63ea8f651


