패턴 단어 인증

인터넷 뱅킹 사이트는 비밀번호나 개인 식별 번호(PIN)로 사용자를 인증하면서, 프로그램이 아니라 사람이 입력하고 있는지 함께 확인한다.

Actuarial Commerce Merchant 은행은 로그인할 때마다 영문 대소문자로만 이루어진 "패턴 단어"를 알려준다. 사용자는 이 패턴 단어로 자신의 PIN에서 숫자를 골라내 더해야 한다.

패턴 단어의 각 글자는 숫자로 읽는다. a(또는 A)는 1, b(또는 B)는 2, 같은 방식으로 z(또는 Z)는 26이다. 소문자는 PIN에서 뽑아낼 숫자의 개수를 뜻하고, 대문자는 건너뛸 숫자의 개수를 뜻한다. 패턴 단어의 글자를 왼쪽부터 차례로 처리하면 뽑아낸 숫자가 순서대로 나오고, 그 숫자를 모두 더한 값을 웹 페이지의 입력란에 적으면 인증이 끝난다. 예를 들어 PIN이 1093373이고 패턴 단어가 aBcA라면 숫자 한 개(1)를 뽑고, 두 개(09)를 건너뛰고, 세 개(337)를 뽑고, 마지막으로 한 개(3)를 건너뛴다. 뽑아낸 1, 3, 3, 7을 더하면 14이므로 입력란에 14를 적는다.

은행은 최대 256자리의 PIN을 허용하고, 패턴 단어의 글자를 숫자로 바꿔 더한 값이 PIN의 자릿수와 같아지도록 패턴 단어를 만들려고 한다. 그런데 가끔 이 값이 어긋난다.

PIN과 패턴 단어를 읽어, 패턴 단어가 올바르면 뽑아낸 숫자의 합을 출력하고, PIN의 자릿수와 패턴 단어가 가리키는 길이가 다르면 non sequitur를 출력하는 프로그램을 작성하시오.

입력은 테스트 케이스 한 개로 이루어진다.

첫째 줄에 $n$자리 PIN이 주어진다 ($6 \le n \le 256$). 둘째 줄에 영문 대소문자로만 이루어진 $m$글자 패턴 단어가 주어진다 ($1 \le m \le 256$).

한 줄을 출력한다. 패턴 단어가 올바르면 PIN에서 뽑아낸 숫자의 합을 출력하고, 올바르지 않으면 non sequitur를 출력한다.