Write a piece of Python code that prompts a user to enter a positive integer n, and then counts and prints out the number of integers k with 1 k n such that k^3+1 has remainder 2 on division by 7