s        --> a(N),b(N),a(N).
a([])    --> [].
a([1|T]) --> [a],a(T).
b([])    --> [].
b([1|T]) --> [b],b(T).
