# isabelle_session_info

session_name: Decreasing-Diagrams-II
sources:
0c4687a3322cf59ab7b6fa5c9418c244cd5f3d21
0fba804d67c28bcd7ee026f11ca5863180994c97
14059e988b6926e377a051639b7dddfdd1af5333
332447e84d1769254f08a2faab3c26385e9b7664
372a2fdbd210f4bf1ca19bc25f552d04d6366c5c
4f39f98c74501107feff7ca9dc7b69956e969891
5634204d7b3a8fc4754a23297e39ed38e0659817
71a02cf1a88b6183f35a2a220c2b22294341faf7
8f405996a75651f5726cf372f46e94f052fd968d
9b39b3c4931eff0aa059fe41bb2aaa87aa229e08
b36c3a11f544d2ac20c82a0c7e19f29e157d0615
bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a
be07e111df1d55fcc2d5292a1fd724fb0faa16f3
e9a37bda23bd443a13fc02829d2d4a5c1090ab66
fac8ec90e4f007b9008fdb809babfbfb06349f8d
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
67d73bed1ae998faf857e901c6d1633b24ec2cad


