5&SVB&  
5&X&0&0&1&p1==0
5&Z&0&0&1&p2<p3
5&Rs&0&0&0&p3>0;p3<=p4
5&Rf&0&0&0&p4>0
5&t&0&0&0&p5>0