11&D07&  D07
5&X&0&0&0
5&Y&0&0&0
5&D&0&0&0&p3>0
5&A&0&0&0
5&a&0&0&0&p5!=0
2&n&0&0&0&p6>=2
5&R1&0&0&0&p7>=0
5&O&0&0&0
5&R2&0&0&0
6&B&0&0&0&0;1
6&M&0&0&0&0;1