12&RNC&   P P
5&Rs&0&0&0
5&D&0&0&0&p2>=0
5&X&0&0&1&p3>=0
5&Z&0&0&1
5&K&0&0&0&p5<0
1&L1&0&0&0&p6>0
1&L2&0&0&0&p7>=0
3&R&1&1&0&p8>=0
2&T&0000&1&0
3&P&1&1&0&p10>0
5&a&0&1&0
5&b&0&1&0