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[2]: LC[0]
process[2]: LC[0]
process[27]: LS[0].S[11]
process[27]: LS[0].S[11]
process[26]: LS[0].S[10]
process[26]: LS[0].S[10]
process[2]: LC[0]
process[2]: LC[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[26]: LS[0].S[10]
process[26]: LS[0].S[10]
process[25]: LS[0].S[9]
process[25]: LS[0].S[9]
process[2]: LC[0]
process[2]: LC[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[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[2]: LC[0]
process[2]: LC[0]
process[24]: LS[0].S[8]
process[24]: LS[0].S[8]
process[23]: LS[0].S[7]
process[23]: LS[0].S[7]
process[2]: LC[0]
process[2]: LC[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[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[2]: LC[0]
process[2]: LC[0]
process[22]: LS[0].S[6]
process[22]: LS[0].S[6]
process[21]: LS[0].S[5]
process[21]: LS[0].S[5]
process[2]: LC[0]
process[2]: LC[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[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[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[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[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[2]: LC[0]
process[2]: LC[0]
process[19]: LS[0].S[3]
process[19]: LS[0].S[3]
process[18]: LS[0].S[2]
process[18]: LS[0].S[2]
process[2]: LC[0]
process[2]: LC[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[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[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[10]: A[0]
process[10]: A[0]
process[27]: LS[0].S[11]
process[27]: LS[0].S[11]
process[2]: LC[0]
process[2]: LC[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[2]: LC[0]
process[2]: LC[0]
process[27]: LS[0].S[11]
process[27]: LS[0].S[11]
process[26]: LS[0].S[10]
process[26]: LS[0].S[10]
process[2]: LC[0]
process[2]: LC[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[26]: LS[0].S[10]
process[26]: LS[0].S[10]
process[25]: LS[0].S[9]
process[25]: LS[0].S[9]
process[2]: LC[0]
process[2]: LC[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[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[2]: LC[0]
process[2]: LC[0]
process[24]: LS[0].S[8]
process[24]: LS[0].S[8]
process[23]: LS[0].S[7]
process[23]: LS[0].S[7]
process[2]: LC[0]
process[2]: LC[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[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[2]: LC[0]
process[2]: LC[0]
process[22]: LS[0].S[6]
process[22]: LS[0].S[6]
process[21]: LS[0].S[5]
process[21]: LS[0].S[5]
process[2]: LC[0]
process[2]: LC[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[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[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[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[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[2]: LC[0]
process[2]: LC[0]
process[19]: LS[0].S[3]
process[19]: LS[0].S[3]
process[18]: LS[0].S[2]
process[18]: LS[0].S[2]
process[2]: LC[0]
process[2]: LC[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[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[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[38]: [global-root]
critical-event histogram:
(1 . ((2 . 29) (92 . 5) (128 . 5) (164 . 5) (188 . 5) (212 . 5) (224 . 5)))
(2 . ((1 . 30) (74 . 29)))
(3 . ((4 . 6) (230 . 6)))
(4 . ((3 . 6) (79 . 6)))
(12 . ((13 . 1)))
(13 . ((214 . 1)))
(14 . ((15 . 1)))
(15 . ((214 . 1)))
(16 . ((17 . 1)))
(17 . ((214 . 1)))
(18 . ((19 . 1)))
(19 . ((214 . 1)))
(22 . ((23 . 1)))
(23 . ((280 . 1)))
(24 . ((25 . 1)))
(25 . ((280 . 1)))
(26 . ((27 . 1)))
(27 . ((280 . 1)))
(28 . ((29 . 1)))
(29 . ((280 . 1)))
(30 . ((31 . 1)))
(31 . ((280 . 1)))
(32 . ((33 . 1)))
(33 . ((280 . 1)))
(53 . ((54 . 25)))
(54 . ((55 . 10) (58 . 15)))
(55 . ((56 . 10) (61 . 25)))
(56 . ((57 . 10)))
(57 . ((55 . 25) (73 . 10)))
(58 . ((59 . 15) (61 . 46)))
(59 . ((60 . 15)))
(60 . ((58 . 46) (78 . 15)))
(61 . ((53 . 25) (74 . 10) (79 . 36)))
(62 . ((63 . 27)))
(63 . ((64 . 16) (67 . 11)))
(64 . ((65 . 16) (70 . 30)))
(65 . ((66 . 16)))
(66 . ((64 . 30) (73 . 16)))
(67 . ((68 . 11) (70 . 57)))
(68 . ((69 . 11)))
(69 . ((67 . 57) (78 . 11)))
(70 . ((62 . 26) (74 . 20) (79 . 41)))
(71 . ((2 . 30)))
(72 . ((73 . 411) (75 . 30)))
(73 . ((57 . 25) (66 . 30) (74 . 382)))
(74 . ((72 . 441)))
(75 . ((71 . 30)))
(76 . ((4 . 6) (77 . 71)))
(77 . ((78 . 271) (80 . 77)))
(78 . ((60 . 46) (69 . 57) (79 . 194)))
(79 . ((77 . 277)))
(80 . ((76 . 77)))
(81 . ((0 . 1) (12 . 1) (14 . 1) (16 . 1) (18 . 1)))
(92 . ((81 . 5)))
(106 . ((107 . 5)))
(107 . ((1 . 5)))
(117 . ((106 . 5)))
(128 . ((117 . 5)))
(142 . ((143 . 5)))
(143 . ((1 . 5)))
(153 . ((142 . 5)))
(164 . ((153 . 5)))
(166 . ((167 . 5)))
(167 . ((1 . 5)))
(177 . ((166 . 5)))
(188 . ((177 . 5)))
(190 . ((191 . 5)))
(191 . ((1 . 5)))
(201 . ((190 . 5)))
(202 . ((203 . 5)))
(203 . ((1 . 5)))
(212 . ((201 . 5)))
(213 . ((202 . 5)))
(214 . ((215 . 4)))
(215 . ((1 . 4)))
(224 . ((213 . 5)))
(225 . ((22 . 1) (24 . 1) (26 . 1) (28 . 1) (30 . 1) (32 . 1)))
(230 . ((225 . 6)))
(280 . ((281 . 6)))
(281 . ((3 . 6)))

critical-process histogram:
LC[0]: (2 . 118)
LC[1]: (3 . 24)
A[0]: (10 . 8)
A[1]: (11 . 12)
BR.RM[0]: (12 . 338)
BR.RM[1]: (13 . 396)
BR.RS[0]: (14 . 1379)
BR.RS[1]: (15 . 1076)
LS[0].S[0]: (16 . 10)
LS[0].S[2]: (18 . 10)
LS[0].S[3]: (19 . 10)
LS[0].S[5]: (21 . 10)
LS[0].S[6]: (22 . 10)
LS[0].S[7]: (23 . 10)
LS[0].S[8]: (24 . 10)
LS[0].S[9]: (25 . 10)
LS[0].S[10]: (26 . 20)
LS[0].S[11]: (27 . 18)
LS[1].S[0]: (28 . 12)
LS[1].S[9]: (37 . 12)
[global-root]: (38 . 1)

