# isabelle_session_info

session_name: Decreasing-Diagrams
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340
34221437a109a5594ba7786476b5abb5979a2647
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
5f83dcf2976631d4e831fcc4c95c7a48e6a58901
5f8e3f17618ab8944a9eca8b58043c6166872776
767b848e899bf51172cfcafea6b2fd397e8b0312
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
3edfa7f42f69c6970d78671c36bbb5a33c89ecbe


