040000 tree 2694b5aa06ba02c6584a8deb799acc7d7978f56b	cmp.common
040000 tree 7a4365d88c7a49c20b2b95558be188aeb9f1fc1c	cmp.partialord
040000 tree 1dafc8e9cc3481b9b1bf01b5dccc9645116cff40	cmp.strongeq
040000 tree 7d16c1e8f3f98dfb5be6386e857095485c09ef6f	cmp.strongord
040000 tree 41a9c40eb8ccf9e96fb645b4587f3c9c4798169a	cmp.weakeq
040000 tree c9dcf2bed921dbb4a08c3f0570c2658c68f8df9b	cmp.weakord