<> <> <<>> ("ShiftingTest[5]" N (testee I (SRWC0 N (First I (Inv) (Pass)) (second I (Inv) (Pass))) (SRWC1 N (First I (Inv) (Pass)) (second N (Inv) (Pass))) (SRWC2 N (First N (Inv) (Pass)) (second I (Inv) (Pass))) (SRWC3 N (First N (Inv) (Pass)) (second N (Inv) (Pass))) (SRWC4 I (First N (Inv) (Pass)) (second L (Inv) (Pass))) ) ) <<(SRWC0 I (First I (Inv) (Pass)) (second I (Inv) (Pass)))>> <<(SRWC1 I (First I (Inv) (Pass)) (second N (Inv) (Pass)))>> <<(SRWC2 I (First N (Inv) (Pass)) (second I (Inv) (Pass)))>> <<(SRWC3 I (First N (Inv) (Pass)) (second N (Inv) (Pass)))>> <<) )>>