\(l\) を固定した際に条件を満たす \(r\) はある値以上 \(N\) 以下となります。また、この「ある値」は \(l\) を増やしていくと広義単調増加します。したがって、尺取り法を用いることでこの問題に正答することができます。

実装例(Python3)

n = int(input())
c = list(map(int, input().split()))
last = [-1] * 7
ans = 0
for i, x in enumerate(c):
    last[x - 1] = i
    ans += min(last) + 1
print(ans)