intlist nil nil int s x 0 nil int x x cons x nil intlist cons x y cons s x intlist y int s x s y intlist int x y int 0 s y cons 0 int s 0 s y intlist cons x nil cons s x nil 2.2 int s x s y intlist int x y int s x s y int x y int 0 s y int s 0 s y intlist cons x y intlist y true int 0 s y int s 0 s y int s x s y int x y true intlist 1 0 s 1 1 1 0 0 23676 nil 0 0 intlist 1 0 int 2 0 cons 2 0 int 2 2 0 int 0 s y int s 0 s y int 0 s y int s 0 s y false int s x s y intlist int x y false intlist cons x y intlist y true intlist 1 1 0 s 1 1 0 0 23676 nil 0 0 intlist 1 0 int 2 0 cons 2 2 1 int 2 0 NaTT certifiable-1.6