<?php

$zero = '!![]';
$nums = ['![]','${![]}','${!![]}','$${[]}','$${![]}','$${!![]}','$$${[]}','${[].[]}'];
$initChr = "\${[]}=([].[])[![]+![]+![]];\${[]}++;\${[]}++;\${+![]}=\${[]};" .
"\${[]}++;\${[]}++;\${[]}++;\${[]}++;\${[]}++;\${+![]}.=\${[]};" .
"\${[]}=\${+![]}.([].[])[![]];";
$chr = '${[]}';

function initNumbers() {
    global $nums;
    $n = $nums[0];
    $code  = '';
    foreach ($nums as $v => $num) {
        if (!$v) continue;
        $v = join('+', array_fill(0, 2, $n));
        $code .= "$num=$v;";
        $n = $num;
    }
    return $code;
}

function number($n) {
    global $nums, $zero;
    if ($n < 0 || $n > 255) die("Invalid number: $n.");
    if (!$n) return $zero[0];
    $i = 0;
    while($n) {
        $d = $n % 2;
        if($d) $code[] = join('+', array_fill(0, $d, $nums[$i]));
        $n /= 2;
        $i++;
    }
    return join('+', $code);
}

function char($c) {
    global $chr;
    $c = number(ord($c));
    return "$chr($c)";
}

function str($s) {
    return join('.', array_map('char', str_split($s)));
}

function prettify($fucked) {
    $line = '';
    $ops = preg_split('/([;.])/', $fucked, -1, PREG_SPLIT_DELIM_CAPTURE);
    foreach($ops as $op) {
        if(strlen($line) + strlen($op) + 1 > 80) {
            $lines[] = $line;
            $line = '';
        }
        $line .= $op;
    }
    $lines[] = $line;
    return join("\n", $lines);
}

function fuckify($code) {
    global $chr, $initChr;
    $nums = initNumbers();
    $php = '$$$${[]}';
    $initPHP = $php . '=(' . str('popen') . ')(' . str('php') . ',' . char('w') . ');';
    $fputs = str('fputs');
    $pclose = str('pclose');
    $code = str($code);
    return prettify("<?php\n$initChr$nums$initPHP($fputs)($php,$code);($pclose)($php);");
}

$code = '';
while ($line = fgets(STDIN)) $code .= $line;
print(fuckify($code));