문제

현석이는 $1$부터 $9$까지의 숫자가 적힌 카드 더미에서 임의로 다섯 장의 카드를 뽑았다. 현석이는 이 카드들을 스트레이트로 만들고자 한다.

다섯 장의 카드를 임의로 재배열하여 숫자가 연속으로 이어지도록 할 수 있다면 스트레이트를 만들었다고 본다. 즉, 스트레이트는 아래 다섯 경우 중 하나이다.

• $[1, 2, 3, 4, 5]$
• $[2, 3, 4, 5, 6]$
• $[3, 4, 5, 6, 7]$
• $[4, 5, 6, 7, 8]$
• $[5, 6, 7, 8, 9]$

현석이는 뽑은 카드 중 한 장의 카드에 적힌 숫자를 원하는 숫자로 바꾸는 마법을 얼마든지 부릴 수 있다. 현석이가 뽑은 카드들을 스트레이트로 만들기 위해 최소 몇 번의 마법을 부려야 하는지 구해보자.

입력

첫째 줄에 현석이가 뽑은 카드 다섯 장에 적힌 숫자가 공백으로 구분되어 주어진다. 각 숫자는 $1$부터 $9$ 사이의 숫자 중 하나이며, 서로 다르다.

출력

뽑은 카드들을 스트레이트로 만들기 위해 최소 몇 번의 마법을 부려야 하는지 출력한다.

예제 입력 1

1 3 4 5 9

예제 출력 1

1

$9$가 적힌 카드에 마법을 부려 $2$로 바꾸면 스트레이트로 만들 수 있다.

예제 입력 2

1 2 3 4 5

예제 출력 2

0

예제 입력 3

3 1 9 7 5

예제 출력 3

2