5 1 2 4 5
3
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0; $n=intval($tokens[$i++] ?? 0);
$sum=intdiv($n*($n+1),2);
for($k=0;$k<$n-1;$k++) $sum -= intval($tokens[$i++] ?? 0);
echo $sum;
?>
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0; $n=intval($tokens[$i++] ?? 0);
$sum=intdiv($n*($n+1),2);
for($k=0;$k<$n-1;$k++) $sum -= intval($tokens[$i++] ?? 0);
echo $sum;
?>