n = gets.to_i

for i in 1..n
	fact *= i
end
fans = (-1 * fact ) % ((10 ** 9) + 7)
cans = n & ((10 ** 9) + 7)
print("1\n")
print(fans, "\n")
print(cans, "\n")