# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources: b55f674823610a78179d130fdd7fd408193138df
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
f335d4d6e494c28e2156342f412764b2d5767f63


