from random import randint
A = [randint(1, 1000) for i in range(100)]
count = 0
for i in range(len(A)):
    for j in range(i + 1, len(A)):
        if (A[i] * A[j]) % 7 == 0:
            count += 1
print(count)

k_7 = 0
k = 0
ans = 0
for i in range(len(A)):
    if A[i] % 7 == 0:
        ans += k
    else:
        ans += k_7
    k += 1
    if A[i] % 7 == 0:
        k_7 += 1
print(ans)