/^(\d)(?{local ($x, $c) = ($^N, 0)})
     ((\d)(?(?{$c ++; $^N == $x + $c})|\A))+$/x