12&TGA& 
5&Z&0&0&1
5&X&0&0&1&p2>=0
5&I&0&0&1&p3<p1
5&O&0&0&1&p4<p2
5&K&0&0&1&p5>0;p5<=abs(p3-p1)
5&t&0&0&0&p6>=0
6&v&1&0&0&0;1
4&F&0&0&0&p7>0
4&S&0&0&0&p8>0
4&f&0&0&0&p9>=0
4&s&0&0&0&p10>=0
6&M&3&0&0&3;4