040000 tree 18df0d9c8aca6f55fca66ca2bd3a5d19155c85a9	cmp.categories.pre
040000 tree 194d0bbd5588429b1bffb365dd1159c6a50dd457	cmp.common
040000 tree 42296c16c7011cfbdad18debd36feaa621c07ab4	cmp.partialord
040000 tree a1806fa7af494b38c6b763bd515dcc3accba65fd	cmp.strongeq
040000 tree 1d775c68dfafd10b8dc57001cc7e09e19fe7bbbf	cmp.strongord
040000 tree 5c20f45f06a13ba80da8fadb9f5995e9efc4e415	cmp.weakeq
040000 tree fc106f7a40e78ea6af539bb48e1e77a1caf7555f	cmp.weakord