8 1 2 1 3 2 4 4 5
1 2 3 4 5
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0; $n=intval($tokens[$i++] ?? 0);
$seen=[]; $output=[];
for($k=0;$k<$n;$k++){
$v=$tokens[$i++] ?? '0';
if(!isset($seen[$v])){ $seen[$v]=true; $output[]=$v; }
}
echo implode(' ',$output);
?>
<?php
$inputText=trim(stream_get_contents(STDIN));
if($inputText==='') exit;
$tokens=preg_split('/\\s+/', $inputText);
$i=0; $n=intval($tokens[$i++] ?? 0);
$seen=[]; $output=[];
for($k=0;$k<$n;$k++){
$v=$tokens[$i++] ?? '0';
if(!isset($seen[$v])){ $seen[$v]=true; $output[]=$v; }
}
echo implode(' ',$output);
?>