11&RND&   P P
5&Rs&0&0&0
5&D&0&0&0&p2>=0
5&X&0&0&1&p3>=0
5&K&0&0&0&p4<0
1&L1&0&0&0&p5>0
1&L2&0&1&0&p6>=0
5&R&1&1&0&p7>0
2&T&0000&1&0
3&P&1&1&0&p9>0
5&a&0&1&0
5&b&0&1&0