040000 tree 6a2f5f5c571bc51b79ff8b87884d4782225e917a	coloring
040000 tree f7288c2460c76357f2ec51a32607bf07a44bc1b1	completion
040000 tree 00dc002fb0e79d9bc868d4bd75c4491c4edbc819	hints
040000 tree 8a0ce5051b8a137e0fd1dbb1744c1fceec160a18	markoccurences
040000 tree 72094843f3a65557525ee8a9ed063daa222bafcf	model
040000 tree 7774a2b830bfde411729fbbcf6c3c0a86fb33401	structure