Problem:
Score : 200 points

Problem Statement

You are given a string S consisting of uppercase English letters. Find the length of the longest ACGT string that is a substring (see Notes) of S.

Here, a ACGT string is a string that contains no characters other than A, C, G and T.

Notes

A substring of a string T is a string obtained by removing zero or more characters from the beginning and the end of T.

For example, the substrings of ATCODER include TCO, AT, CODER, ATCODER and (the empty string), but not AC.

Constraints

S is a string of length between 1 and 10 (inclusive).

Each character in S is an uppercase English letter.

Input

Input is given from Standard Input in the following format:

S

Output

Print the length of the longest ACGT string that is a substring of S.

Sample Input 1

ATCODER

Sample Output 1

3

Among the ACGT strings that are substrings of ATCODER, the longest one is ATC.

Sample Input 2

HATAGAYA

Sample Output 2

5

Among the ACGT strings that are substrings of HATAGAYA, the longest one is ATAGA.

Sample Input 3

SHINJUKU

Sample Output 3

0

Among the ACGT strings that are substrings of SHINJUKU, the longest one is (the empty string).

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

(* O(n) *)
let rec fold_btw f a i n = if i >= n then a else fold_btw f (f a i) (i + 1) n
let fold_int f a n = fold_btw f a 0 n

(* O(|s|) *)
let string_to_char_array s = Array.init (String.length s) (fun i -> s.[i])
let string_to_chars s = Array.to_list (string_to_char_array s)

(* O(1) *)
let is_acgt_char = function
| 'A' | 'C' | 'G' | 'T' -> true
| _ -> false

(* O(|s|) *)
let is_acgt_string s = List.for_all is_acgt_char (string_to_chars s)

(* O(|s|^3) *)
let solve s =
  let n = String.length s in
  fold_int
    (fun acc_i i ->
      fold_btw
        (fun acc_j j ->
          let len = j - i in
          if is_acgt_string (String.sub s i len) then
            max acc_j len
          else
            acc_j)
        acc_i
        (i + 1)
        (n + 1))
    0
    n

let _ = read_line () |> solve |> string_of_int |> print_endline