#!/usr/bin/env python3
import sys
src = sys.stdin.read()
src = src\
        .replace("\\", "\\\\")\
        .replace('"', "\"'\"'\"")\
        .replace("\n", "\\n\\\n")\
        .replace("%", "%%")
sys.stdout.write(f"RUN printf \"{src}\"")
