introduction to efficiency and sorting 4497764