known boundedness of place: 1 | 0.R|S1 :1, | 1.S1 :1, | 2.R :1, | 3.Rp|P1 :1, | 4.P1 :1, | 5.P2 :1, | 6.RRp|P2 :1, | 7.RRp :1, | 8.RR :1, | 9.RR|Rp :1, | 10.P3 :1, | 11.RRRp|P3 :1, | 12.RRRp :1, | 13.RRR :1, | 14.RRR|RRp :1, | 15.Rp :1