What is Jon Snow's favorite number in CodeForces 768C problem?