(S:([0]
j) @ ([1]i)
s) = q & (
k:
. 
(([0]j) @ ([1]i)) = n0n1(k))
)
nnS.cark:. (S:n0n1(k)s) = q(n+1)(n+1)i)s)) = f((S:([1]j)s))i)s) = (S:([1]j)s) 
L:*. (S:Ls) = q & (k:. L = n0n1(k))j) @ ([1]i)| 1 | (S:([0]j) @ ([1]i)s) = q & (k:. (([0]j) @ ([1]i)) = n0n1(k)) |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |