040000 tree 81b2f68f67990c54bc25816628ac213911e2b962	is.sorted
040000 tree ed0f267ec71b1b50b446806492de60459efc5438	partial.sort.copy
040000 tree e743c10f9d1b68bead8ea6e34981f960c42aa824	partial.sort
040000 tree bb7511d3f8bc71f6c8202ebebf05741de46e17d7	sort
040000 tree 6d60768f1900a80a00201f2cd5a2737e7d819e36	stable.sort