040000 tree 6a2f5f5c571bc51b79ff8b87884d4782225e917a	coloring
040000 tree f7288c2460c76357f2ec51a32607bf07a44bc1b1	completion
040000 tree 00dc002fb0e79d9bc868d4bd75c4491c4edbc819	hints
040000 tree 622345e59127b7d3fbbcbaf9c5958324ac075e4b	markoccurences
040000 tree ba68e73a64dd508ecadae9d3d40769db93745a36	model
040000 tree 33b55a050b79395d1963413a18ceae2288c64552	structure