# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
f656ec447c30fdf9474f0847349659e63ea8f651


