from collections import defaultdict N=int(input()) A=list(map(int,input().split())) D=defaultdict(int) for a in A: D[a]+=1 A=[(k,v) for k,v in D.items()] A.sort() ans=[] r=0 for i in range(len(A)-1): r+=A[i][1] ans.append((1,r,A[i+1][0]-A[i][0])) print(len(ans)) for a in ans: print(*a)