17&PRC&   P 
5&R&0&0&0
5&X&0&0&1&p2>p4
5&L&0&0&1&p3>0
5&B&0&0&0&p4>=0
6&Q&1&0&0&0;1
5&d&0&0&0&p6>0
5&x&0&0&0&p7>=0
5&z&0&0&0&p8>=0
5&r&0&0&0&p9>=0
5&b&0&0&0&?p9!=0:p10==0:p10>=0
6&p&1&0&0&0;1
6&c&1&0&0&0;1;2;-1;-2
4&F&0&0&0&p13>0
4&S&0&0&0&p14>0
4&f&0&0&0&p15>=0
4&s&0&0&0&p16>=0
6&M&3&0&0&3;4