===INPUT=== 4 12 5 1 3 5 10 12 5 9 3 4 8 12 6 1 2 3 4 9 7 7 1 2 3 5 6 10 11 25 1 2 1 3 1 5 2 4 2 5 2 6 3 5 3 7 3 10 4 6 4 9 5 6 5 7 5 8 6 8 6 9 7 8 7 10 7 11 8 9 8 11 8 12 9 12 10 11 11 12 ===OUTPUT=== 3 ===END===