#include <iostream>
int main()
{
    static const char* content = R"(
#include <string>
)";
    std::cout << content;
}