# isabelle_session_info

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

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
9b6d2749cd620ee67f37529e819b7b66d9895dd9


