```
#!/opt/local/bin/php71
0,
'* ****** *' => 1,
'* **** * **** *' => 2,
'* * ** * ******' => 3,
'*** * *****' => 4,
'*** ** * ** ***' => 5,
'****** * ** ***' => 6,
'* * *****' => 7,
'****** * ******' => 8,
'*** ** * ******' => 9,
' * ' => '*',
' * *** * ' => '+',
' * * * ' => '-',
];

function get_digit($text) {
$text = preg_replace('%[A-Z]%', '*', $text);
return DIGITS[$text];
}

function calculate($text) {
$digits = [];
$buffer = '';

$lines = array_slice(explode("\n", $text), 4, 5);
$column = 0;
$max = strlen($lines[0]);

while (TRUE) {
if ($column >= $max) break;

$column_chars =
substr($lines[0], $column, 1) .
substr($lines[1], $column, 1) .
substr($lines[2], $column, 1) .
substr($lines[3], $column, 1) .
substr($lines[4], $column, 1);

if ($column_chars == ' ') {
if (!empty($buffer)) $digits[] = get_digit($buffer);
$buffer = '';
} else {
$buffer .= $column_chars;
}

++$column;
}

return $digits;
}

$ch = curl_init(URL);
curl_setopt($ch, CURLOPT_RETURNTRANSFER, TRUE);
curl_setopt($ch, CURLOPT_COOKIEFILE, '');
curl_setopt($ch, CURLOPT_POST, TRUE);

foreach (range(1, 52) as $i) {
$html = curl_exec($ch);
$html = str_replace('
', "\n", $html);
$text = strip_tags($html);
echo $text;

$digits = calculate($text);
$code = '$result = ' . implode('', $digits) . ';';
eval($code);

curl_setopt($ch, CURLOPT_POSTFIELDS, 'sol=' . $result);
}
```