[R 0]s1 [[nok1]P]s0 [[ok1]P]s2 0d0=1 0!=0e2 [R 0]s1 [[ok2]P]s0 [[nok2]P]s2 1d0=1 0!=0e2 [R 1]s1 [[ok3]P]s0 [[nok3]P]s2 0d0=1 0!=0e2 [R 1]s1 [[ok4]P]s0 [[nok4]P]s2 1d0=1 0!=0e2 [ ]n [[f]P 0 1Q0 1Q]s [[g]P 0 1Q0 1Q]s [[h]P 1 1Q0 1Q]s [Rlx]s1 [Rlx]s2 [[ok5]P]s0 [[nok5]P]s3 lxd0=1d0=2 0!=0e3 [Rlx]s1 [RlxN]s2 [[nok6]P]s0 [[ok6]P]s3 lxd0=1d0=2 0!=0e3 [RlxN]s1 [Rlx]s2 [[nok7]P]s0 [[ok7]P]s3 lxd0=1d0=2 0!=0e3 [ ]n q