# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources:
025cac6a42fa34225d1ee97111c48c9bda2d1859
13f9c082e5c2280b53542c2963df57f7b6ee62d8
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
54eba29bc7244d89a0939143111bce31987e6527
71a02cf1a88b6183f35a2a220c2b22294341faf7
7681561d8ea3216a64479cb204342b70316e8c6f
9b39b3c4931eff0aa059fe41bb2aaa87aa229e08
acdc5b8d0d6dc2cd5b8c8420e11db26c0097505c
b36c3a11f544d2ac20c82a0c7e19f29e157d0615
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
d4e5f62b507d32cb124d299918951d675a135f31
d8b591c052c85b1671e1d7822571568590dc3e35
daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97
ee8fc5f74186449772f156f8912c9a4cb4ae56e9
fac8ec90e4f007b9008fdb809babfbfb06349f8d
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
d17c094375fb2a2c1361b0c3ee28db6ffa2d6426


