namespace
{
  namespace speciallocal
  {
    Tbool FunctionA();

    Tbool FunctionB();

    Tbool FunctionC();

    Tbool FunctionD();
  }
}


Tbool speciallocal::FunctionA()
{
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
}

Tbool speciallocal::FunctionB()
{
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
}

Tbool speciallocal::FunctionC()
{
  for (int i = 0; i < 20; ++i)
  {
    auto lambda1 =
      [&]() -> Tbool
      {
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
      };

    auto lambda2 =
      [&]() -> Tbool
      {
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
      };

    auto lambda3 =
      [&]() -> Tbool
      {
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
      };

    auto lambda4 =
      [&]() -> Tbool
      {
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
        a();
      };

    auto lambda5 =
      [&]() -> Tbool
      {
        a();
        a();
        a();
        a();
        a();
        a();
      };

  }

  // No zones satisfy the condition.
  return false;
}

Tbool speciallocal::FunctionD()
{
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  a();
  speciallocal::FunctionC();
  return true;
}