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