소들은 끼리 끼리 식사를 하고 싶어 한다. 그들은 세 그룹( 편의상 1,2,3 그룹이라 하자)중 한 카드를 가지고 식사하러 차례로 입장한다. 이 카드 번호가 그룹 번호이다.

농부 존은 소들이 가진 카드를 다른 카드로 바꾸어 111222333 or 333222111 같이 그룹 별 오른차순 혹은 내림차순 으로 만들 수 있다.

단, 가능한 작은 수의 카드를 바꾸어야 한다.

입력

출력

입출력 예

입력

5
1
3
2
1
1

출력

1

보충 설명

이 경우가 가장 최적이다.

출처: USACO 2008 February Silver