040000 tree 55890cd07f017dc695df966ac903ef62d488a517	benchmarks
040000 tree 7535e0c75de17c86d01ca5ca7d96c87a23beddf4	docs
040000 tree fb07543465db978ab71361958de85ab1380795e8	manual_tests
040000 tree 5af1bc1a10ec4ab64297477133e4e4e2aab47f6a	tools