040000 tree 8f715a51dc2896959d7ae2403ef8a831df38d381	cmp.alg
040000 tree 1f0f47b9323c691af78319ca8120709066982266	cmp.categories.pre
040000 tree 6fcfd789061419688a03b33fbea65bee1594f777	cmp.common
040000 tree 318b40fb740bae45cfa73f9e141c71a972f14574	cmp.concept
040000 tree 502e8d5d6e131ac1ba60e3ae423d75fd2ab66c68	cmp.partialord
040000 tree 519030cce69783e148ec7c5596b1ce14280b828f	cmp.result
040000 tree 946ea51406c345398f0e69901c3e77d2ca66102f	cmp.strongord
040000 tree 7c37717e4d602fbeff6379a9556f51f9bf9087e0	cmp.weakord
040000 tree f8ab5f89927eb81c8108bdeddf6873445079d45e	compare.syn