r1={AU,UA,GC,CG,GU,UG}
p1=^ 0...10 AA[1,1,1] p2=2...6 p3=1...4 U p4=0...4 r1~p2[1,0,0] G U 1...4 (A | U) 0...100 UUUU
length(p3+p4)<7