4
P1
P2
P3
P4
4
P2:P1:(d)
P2:P3:(< m)
P3:P1:(d)
P4:P2:(d f)