Identify the redexes, if any, that can be reduced first in call by value evaluation stratgey for the given expressions. To identify a redex, you should highlight the ( x. t ) part of the redex in yellow and the t’ part of the redex in blue.

( x. x x ) x. x x
( x. ( x. x ) x ) x
( ( x. ( x. x ) x ) x. ( x. x ) x ) ( ( x. x ) x )
( ( x. ( x. x ) x ) x ( x. x ) x ) ( ( x. x ) x )
x ( x. x ( x. x ) x ) (x. x ( x. x ) x ) x
x. x. x x. ( (x. x ) x ) x
( ( x. y. ( y. x ) x. x x ) ) ( ( x. ( y. x ) ) x. x x )
( x. ( x. ( x. x ) x ) x ) ( ( x. x ) ( x. x ) ( x. x ) )
x ( x. ( y. x ) x. x x ) ( x. ( y. x ) x. x x ) ( ( x. ( y. x ) ) x. x x )
( x. ( y. x ) x. x x ) ( ( x. ( y. x ) ) x. x x )