040000 tree 6a2f5f5c571bc51b79ff8b87884d4782225e917a	coloring
040000 tree f7288c2460c76357f2ec51a32607bf07a44bc1b1	completion
040000 tree 00dc002fb0e79d9bc868d4bd75c4491c4edbc819	hints
040000 tree 8a0ce5051b8a137e0fd1dbb1744c1fceec160a18	markoccurences
040000 tree 3708f3b0ed23adc279d1268155f62b12fc051971	model
040000 tree 33b55a050b79395d1963413a18ceae2288c64552	structure