Problem:
Score : 400 points

Problem Statement

There are N squares arranged in a row, numbered 1, 2, ..., N from left to right.
You are given a string S of length N consisting of . and #. If the i-th character of S is #, Square i contains a rock; if the i-th character of S is ., Square i is empty.

In the beginning, Snuke stands on Square A, and Fnuke stands on Square B.

You can repeat the following operation any number of times:

Choose Snuke or Fnuke, and make him jump one or two squares to the right. The destination must be one of the squares, and it must not contain a rock or the other person.

You want to repeat this operation so that Snuke will stand on Square C and Fnuke will stand on Square D.

Determine whether this is possible.

Constraints

4 \leq N \leq 200\ 000

S is a string of length N consisting of . and #.

1 \leq A, B, C, D \leq N

Square A, B, C and D do not contain a rock.

A, B, C and D are all different.

A < B

A < C

B < D

Input

Input is given from Standard Input in the following format:

N A B C D
S

Output

Print Yes if the objective is achievable, and No if it is not.

Sample Input 1

7 1 3 6 7
.#..#..

Sample Output 1

Yes

The objective is achievable by, for example, moving the two persons as follows. (A and B represent Snuke and Fnuke, respectively.)

A#B.#..

A#.B#..

.#AB#..

.#A.#B.

.#.A#B.

.#.A#.B

.#..#AB

Sample Input 2

7 1 3 7 6
.#..#..

Sample Output 2

No

Sample Input 3

15 1 3 15 13
...#.#...#.#...

Sample Output 3

Yes

Solution in OCaml (4.02.3) (judge verdict: Accepted)

let () =
    let main () =
        let n, a, b, c, d = Scanf.sscanf (read_line ()) "%d %d %d %d %d" (fun n a b c d -> n, a, b, c, d) in
        let s = read_line () in
        let reachable a b =
            let rec loop i prev =
                if i = b then true else
                    if s.[i - 1] = '.' then loop (i + 1) false else
                        if prev then false else loop (i + 1) true
            in
            loop a false
        in
        let three_space a b c d =
            let rec loop i =
                if i + 2 > c then 0 else
                    if s.[i - 1] = '.' && s.[i] = '.' && s.[i + 1] = '.' then i else
                        loop (i + 1)
            in
            let r = loop (b - 1) in
            if r = 0 || r + 1 > d then false else
                reachable b (r + 1) && reachable (r + 1) d &&
                reachable a r && reachable (r + 2) c
        in
        let flag =
            if c < d then reachable a c && reachable b d else
                three_space a b c d
        in
        Printf.printf "%s\n" (if flag then "Yes" else "No")
    in
    main ()