import sys


sys.set_int_max_str_digits(10 ** 9)


n = int(input())
if n == 2:
    print(3)
    print("INF")
    exit()
print(n)
def matpow(A, B, w):
    l = len(A)
    while w:
        if w & 1:
            C = [0] * l
            for i in range(l):
                for j in range(l):
                    C[i] += A[i][j] * B[j]
            B = C
        C = [[0] * l for _ in range(l)]
        for i in range(l):
            for j in range(l):
                for k in range(l):
                    C[i][j] += A[i][k] * A[k][j]
        A = C
        w >>= 1
    return B

A = [[1, 1], [1, 0]]
B = [1, 0]
ans = matpow(A, B, n - 1)[0]
if n % 2 == 0:
    ans -= matpow(A, B, n // 2 - 1)[0] ** 2
print(ans)