7&SVC&   
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&I&0&0&0&p5>0
5&K&0&0&0&p6>0;p6<=1
5&J&0&0&0&p7>0;p7<=p5