#include <iostream>

auto main() -> int
{
  std::cout << "Worked it out by hand: 233\n";
  return 0;
}