SequenceWithout1on1←{
     Valid←(∧/∊∘'123')>(∨/2≤2+/'1'=,)
     Next←{Valid⍕n←1+⍵:n ⋄ ∇ n}
     Next⍣(¯1+⍵)⊢1
 }