040000 tree 68114e987c444bb050505702869eea3d36b49107	cmp.alg
040000 tree 5a73aabba734dfe5de6c7c6bc522bf9da9f33a8d	cmp.categories.pre
040000 tree 6fcfd789061419688a03b33fbea65bee1594f777	cmp.common
040000 tree 9fce5b033b693b835aeec530bfd5574458c1def6	cmp.concept
040000 tree 7e7d251df41fcae6df1f4921be80278c0b08f36f	cmp.partialord
040000 tree ff2847f30d85954422554e122cb3abd779ec3582	cmp.result
040000 tree 4cef30ef71d3b6df2778f54572ff77b83101e132	cmp.strongord
040000 tree 707a0f587a4c2a2ea117b54af3f1a7cadb7a8e98	cmp.weakord
040000 tree f8ab5f89927eb81c8108bdeddf6873445079d45e	compare.syn