comp s id s cons one shift id cons comp one s comp shift s s comp one cons s t s comp shift cons s t t comp abs s t abs comp s cons one comp t shift comp cons s t u cons comp s u comp t u comp id s s comp comp s t u comp s comp t u 2.2 comp abs s t cons one comp t shift comp cons s t u cons comp s u comp t u comp cons s t u comp s u comp comp s t u comp t u comp abs s t comp t shift comp abs s t comp s cons one comp t shift comp cons s t u comp t u comp comp s t u comp s comp t u true comp comp s t u comp s comp t u comp cons s t u comp t u comp abs s t comp s cons one comp t shift comp abs s t comp t shift comp comp s t u comp t u comp cons s t u comp s u true cons 2 0 one 0 0 abs 1 1 1 comp 2 1 2 0 cons 2 1 0 2 0 0 id 0 0 shift 0 0 comp 2 1 2 0 comp cons s t u comp s u comp comp s t u comp t u comp cons s t u comp t u comp comp s t u comp s comp t u comp one cons s t s comp id s s comp s id s cons comp one s comp shift s s comp shift cons s t t comp cons s t u cons comp s u comp t u comp comp s t u comp s comp t u comp abs s t abs comp s cons one comp t shift cons one shift id comp cons s t u comp t u comp cons s t u comp s u comp comp s t u comp t u comp comp s t u comp s comp t u true cons 2 0 one 0 1 abs 1 1 23676 comp 2 1 0 cons 2 1 2 1 id 0 4 shift 0 1 comp 2 1 2 1 comp cons s t u cons comp s u comp t u false comp abs s t cons one comp t shift false NaTT certifiable-1.6