awk '
BEGIN {
max='$1'
max2 = max * max
}
{
r2 = ($3 * $3) + ($4 * $4)
if ( r2 <= max2 )
    printf " %04d\n", $1
} '