# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
17bfded5b245c678f8b51783f14fc41662df9186


