# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
13f9c082e5c2280b53542c2963df57f7b6ee62d8
2814db26f3be775cc1e379e9535a3bb6efac2419
3032be206441c7a0278a78e61d3c80965912ef97
34221437a109a5594ba7786476b5abb5979a2647
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
3fe5941934893b5422165e490a489238302826c5
4fca60e691e6baa8823ab45ef7f6d3b83c70723a
54eba29bc7244d89a0939143111bce31987e6527
71a02cf1a88b6183f35a2a220c2b22294341faf7
767b848e899bf51172cfcafea6b2fd397e8b0312
7681561d8ea3216a64479cb204342b70316e8c6f
82fce86746f9061205d625fb926c1da3b71e3bc1
9b39b3c4931eff0aa059fe41bb2aaa87aa229e08
a6d881014016ac510413e96c94577bf126ea335f
a998d0a4041180c65710aa0b0d3c4108d3d8a816
b36c3a11f544d2ac20c82a0c7e19f29e157d0615
b9f45f1359f659122b1c5dc28e3affcd3f2783da
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
d8b591c052c85b1671e1d7822571568590dc3e35
daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97
ee8fc5f74186449772f156f8912c9a4cb4ae56e9
fac8ec90e4f007b9008fdb809babfbfb06349f8d
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e89de90d18201999edb9d0c4b8a208bce353f9c8


