process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[3]: LC[1]
process[3]: LC[1]
process[28]: LS[1].S[0]
process[28]: LS[1].S[0]
process[11]: A[1]
process[11]: A[1]
process[39]: LS[1].S[11]
process[39]: LS[1].S[11]
process[3]: LC[1]
process[3]: LC[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[13]: BR.RM[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[15]: BR.RS[1]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[12]: BR.RM[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[14]: BR.RS[0]
process[2]: LC[0]
process[2]: LC[0]
process[16]: LS[0].S[0]
process[16]: LS[0].S[0]
process[40]: [global-root]
critical-event histogram:
(1 . ((70 . 1)))
(2 . ((1 . 1)))
(3 . ((4 . 4) (214 . 4)))
(4 . ((3 . 4) (57 . 4)))
(22 . ((23 . 1)))
(23 . ((336 . 1)))
(24 . ((25 . 1)))
(25 . ((336 . 1)))
(26 . ((27 . 1)))
(27 . ((336 . 1)))
(28 . ((29 . 1)))
(29 . ((336 . 1)))
(31 . ((32 . 21)))
(32 . ((33 . 11) (36 . 10)))
(33 . ((34 . 11) (39 . 11)))
(34 . ((35 . 11)))
(35 . ((33 . 11) (51 . 11)))
(36 . ((37 . 10) (39 . 25)))
(37 . ((38 . 10)))
(38 . ((36 . 25) (56 . 10)))
(39 . ((31 . 21) (52 . 1) (57 . 14)))
(40 . ((41 . 21)))
(41 . ((42 . 10) (45 . 11)))
(42 . ((43 . 10) (48 . 15)))
(43 . ((44 . 10)))
(44 . ((42 . 15) (51 . 10)))
(45 . ((46 . 11) (48 . 30)))
(46 . ((47 . 11)))
(47 . ((45 . 30) (56 . 11)))
(48 . ((40 . 20) (52 . 5) (57 . 20)))
(49 . ((2 . 1) (50 . 5)))
(50 . ((51 . 213) (53 . 6)))
(51 . ((35 . 11) (44 . 15) (52 . 208)))
(52 . ((50 . 214)))
(53 . ((49 . 6)))
(54 . ((4 . 4) (55 . 30)))
(55 . ((56 . 466) (58 . 34)))
(56 . ((38 . 25) (47 . 30) (57 . 432)))
(57 . ((55 . 470)))
(58 . ((54 . 34)))
(59 . ((0 . 1)))
(70 . ((59 . 1)))
(203 . ((22 . 1) (24 . 1) (26 . 1) (28 . 1)))
(214 . ((203 . 4)))
(336 . ((337 . 4)))
(337 . ((3 . 4)))

critical-process histogram:
LC[0]: (2 . 2)
LC[1]: (3 . 16)
A[1]: (11 . 8)
BR.RM[0]: (12 . 213)
BR.RM[1]: (13 . 240)
BR.RS[0]: (14 . 679)
BR.RS[1]: (15 . 1525)
LS[0].S[0]: (16 . 2)
LS[1].S[0]: (28 . 8)
LS[1].S[11]: (39 . 8)
[global-root]: (40 . 1)

