processing tracefile: bitrouter-twin-test-a-02.chpsimtrace
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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[32]: [global-root]
critical-event histogram:
(1 . ((63 . 1)))
(2 . ((1 . 1)))
(31 . ((32 . 6)))
(32 . ((33 . 1) (36 . 5)))
(33 . ((34 . 1) (39 . 8)))
(34 . ((35 . 1)))
(35 . ((33 . 8) (51 . 1)))
(36 . ((37 . 5) (39 . 5)))
(37 . ((38 . 5)))
(38 . ((36 . 5) (56 . 5)))
(39 . ((31 . 6) (52 . 3) (57 . 4)))
(40 . ((41 . 26)))
(41 . ((42 . 15) (45 . 11)))
(42 . ((43 . 15) (48 . 20)))
(43 . ((44 . 15)))
(44 . ((42 . 20) (51 . 15)))
(45 . ((46 . 11) (48 . 23)))
(46 . ((47 . 11)))
(47 . ((45 . 23) (56 . 11)))
(48 . ((40 . 25) (52 . 10) (57 . 8)))
(49 . ((2 . 1) (50 . 12)))
(50 . ((51 . 40) (53 . 13)))
(51 . ((35 . 8) (44 . 20) (52 . 28)))
(52 . ((50 . 41)))
(53 . ((49 . 13)))
(54 . ((55 . 12)))
(55 . ((56 . 40) (58 . 12)))
(56 . ((38 . 5) (47 . 23) (57 . 28)))
(57 . ((55 . 40)))
(58 . ((54 . 12)))
(59 . ((0 . 1)))
(63 . ((59 . 1)))

critical-process histogram:
LC[0]: (2 . 2)
BR.RM[0]: (12 . 69)
BR.RM[1]: (13 . 259)
BR.RS[0]: (14 . 176)
BR.RS[1]: (15 . 172)
LS[0].S[0]: (16 . 2)
[global-root]: (32 . 1)

