REDO shortestRepetition