active f 0 mark cons 0 f s 0 active f s 0 mark f p s 0 active p s X mark X mark f X active f mark X mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark p X active p mark X f mark X f X f active X f X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 s mark X s X s active X s X p mark X p X p active X p X 2.2 active f s 0 f p s 0 mark f X f mark X mark cons X1 X2 mark X1 mark s X s mark X cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 mark p X active p mark X active f 0 s 0 mark s X active s mark X p active X p X mark s X mark X mark f X mark X mark p X p mark X active f 0 mark cons 0 f s 0 cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 mark f X active f mark X active f 0 f s 0 s mark X s X p mark X p X active p s X mark X mark p X mark X active f 0 cons 0 f s 0 mark 0 active 0 active f s 0 p s 0 active f s 0 mark f p s 0 f mark X f X f active X f X mark cons X1 X2 active cons mark X1 X2 s active X s X true mark cons X1 X2 active cons mark X1 X2 mark f X mark X mark s X mark X mark s X active s mark X active f s 0 mark f p s 0 mark p X active p mark X mark p X mark X active p s X mark X mark cons X1 X2 mark X1 mark f X active f mark X active f 0 mark cons 0 f s 0 true cons 2 0 s 1 1 8946 p 1 0 f 1 1 20539 p 1 1 0 mark 1 1 0 0 0 16203 s 1 0 mark 1 1 0 f 1 0 active 1 1 0 cons 2 1 20538 active 1 1 0 mark f X active f mark X mark p X mark X mark p X active p mark X active f s 0 mark f p s 0 mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s X mark X s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark p X mark X true cons 2 0 s 1 1 1324 p 1 0 f 1 2 p 1 1 1 mark 1 1 0 0 0 1 s 1 0 mark 1 1 0 f 1 0 active 1 1 0 cons 2 1 1 active 1 1 0 p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s X mark X s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark p X active p mark X false mark s X active s mark X false mark cons X1 X2 active cons mark X1 X2 false mark f X active f mark X active f s 0 mark f p s 0 true cons 2 1 p 1 1 f 1 1 mark 1 1 s 1 1 mark 1 1 active 1 1 active 1 1 s 1 0 1 p 1 0 0 0 2 f 1 0 cons 2 1 s 1 1 5854 p 1 1 0 0 0 30614 f 1 1 cons 2 30613 mark f X active f mark X p active X p X mark f X active f mark X s mark X s X mark p X active p mark X active f 0 mark cons 0 f s 0 active p s X mark X s active X s X p mark X p X mark 0 active 0 f active X f X mark s X active s mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 f mark X f X cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active f s 0 mark f p s 0 mark f X active f mark X false mark cons X1 X2 cons mark X1 X2 false cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 p 1 0 f 1 1 19791 p 1 17069 mark 1 0 0 0 1 s 1 0 mark 1 1 31112 f 1 0 active 1 1 31113 cons 2 1 19793 active 1 0 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 1 p 1 0 f 1 1 19506 p 1 17069 mark 1 0 0 0 1 s 1 0 mark 1 1 31112 f 1 0 active 1 1 31113 cons 2 1 19508 active 1 0 mark s X s mark X false s active X s X s mark X s X true cons 2 0 s 1 1 p 1 0 f 1 1 25440 p 1 3 mark 1 0 0 0 49509 s 1 1 0 mark 1 1 8405 f 1 0 active 1 1 8406 cons 2 1 25442 active 1 0 mark 0 active 0 false active f s 0 f p s 0 false active f s 0 p s 0 false mark p X p mark X false p active X p X p mark X p X true cons 2 0 s 1 1 p 1 1 0 f 1 1 19944 p 1 15945 mark 1 0 0 0 16704 s 1 0 mark 1 1 8405 f 1 0 active 1 1 8406 cons 2 1 19946 active 1 0 active f 0 cons 0 f s 0 false active f 0 f s 0 false active f 0 s 0 false mark f X f mark X false f active X f X f mark X f X true cons 2 0 s 1 1 p 1 0 f 1 1 26657 p 1 242 mark 1 0 0 0 11820 s 1 0 mark 1 1 8405 f 1 1 0 active 1 1 8406 cons 2 1 26659 active 1 0 NaTT certifiable-1.6