040000 tree 2694b5aa06ba02c6584a8deb799acc7d7978f56b	cmp.common
040000 tree 11fbba31e4b2031eebeb89ab2aab7f219ec8a55b	cmp.partialord
040000 tree 1dafc8e9cc3481b9b1bf01b5dccc9645116cff40	cmp.strongeq
040000 tree 4f10876c518289d73fbd0b8958d39d2ad7de06a1	cmp.strongord
040000 tree 41a9c40eb8ccf9e96fb645b4587f3c9c4798169a	cmp.weakeq
040000 tree e6f3d24439a7efaea15a0a66af6161445f52c9fb	cmp.weakord