N = 2, LRs = "rrl".
Next
[
logprog
|
GUPU
|
UWN
]