040000 tree eb6ed26d4fb69f6f15e5451660c45d51276f20e2	is.sorted
040000 tree e52efcade7cb58074f8d7b381c05ebefc6963f60	partial.sort.copy
040000 tree b4a7a500e685ac42d8039678790fc604b2a6532e	partial.sort
040000 tree 22eda6ab3889d74c06b04dfce2ca8c3840adf6bb	sort
040000 tree 5177e1e36ef2140e06d8356ae554991bd5bed2a5	stable.sort