from collections import defaultdict

lines = sorted(int(x.strip()) for x in open("input.txt"))

cnt = defaultdict(int)
last = 0
for line in lines:
    mov = line - last
    last = line
    cnt[mov] += 1

print(cnt[1] * (cnt[3]+1))