# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources:
13f9c082e5c2280b53542c2963df57f7b6ee62d8
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
54eba29bc7244d89a0939143111bce31987e6527
5634204d7b3a8fc4754a23297e39ed38e0659817
71a02cf1a88b6183f35a2a220c2b22294341faf7
7681561d8ea3216a64479cb204342b70316e8c6f
89f70a39e55c7cf43a9f766c9c4614fd45208c95
8f405996a75651f5726cf372f46e94f052fd968d
9b39b3c4931eff0aa059fe41bb2aaa87aa229e08
b36c3a11f544d2ac20c82a0c7e19f29e157d0615
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0
d8b591c052c85b1671e1d7822571568590dc3e35
ee8fc5f74186449772f156f8912c9a4cb4ae56e9
fac8ec90e4f007b9008fdb809babfbfb06349f8d
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
6e298f860f1cfeec73d8a545b0206df8583b8fd7


