Roman Digits

로마 숫자를 바탕으로 한 수 체계를 도입하자. 이 체계에는 각각 수 1, 5, 10, 50에 대응하는 기호 I, V, X, L이 있다. 다른 로마 숫자 기호는 사용할 수 없다.

이 체계에서 수는 하나 이상의 기호로 이루어진 수열로 표기한다. 수열의 값은 단순히 그 안에 있는 기호들의 값을 합한 것으로 정의한다.

예를 들어, 수 XXXV의 값은 35이고 수 IXI의 값은 12이다.

전통적인 로마 숫자 체계와의 차이에 유의한다. 이 체계에서는 어떤 기호 수열도 유효하며, 더욱이 기호의 순서는 중요하지 않다. 예를 들어 IX는 9가 아니라 11을 뜻한다.

이 체계에는 모호성이 있어 일부 수는 여러 가지 서로 다른 방법으로 표기할 수 있다. 정확히 n개의 로마 숫자 기호 I, V, X, L로 나타낼 수 있는 서로 다른 정수의 개수를 구해야 한다.

입력 파일의 유일한 줄에 사용할 로마 숫자 기호의 개수를 나타내는 정수 n (1 ≤ n ≤ $10^9$)가 주어진다.

정확히 n개의 로마 숫자 기호를 사용하여 나타낼 수 있는 서로 다른 정수의 개수를 나타내는 정수 하나를 출력한다.

첫 번째 예제에서 나타낼 수 있는 정수는 정확히 4개이며, I, V, X and L이다.

두 번째 예제에서는 정수 2 (II), 6 (VI), 10 (VV), 11 (XI), 15 (XV), 20 (XX), 51 (IL), 55 (VL), 60 (XL), 100 (LL)을 나타낼 수 있다.