^ ( 1{7} (?{ $^R+1 }) )* (?!1{7})
      ( 1{5} (?{ $^R+1 }) )* (?!1{5})
      ( 1{1} (?{ $^R+1 }) )* (?!1{1})
      (?{ $x = $^R }) x
  | ^ ( (1{1}|1{5}|1{7}) (?{ $^R+1 }) )*
      (?(?{ $^R < $x }) $ | x )