int 0 0 . 0 nil int 0 s y . 0 int s 0 s y int s x 0 nil int s x s y int_list int x y int_list nil nil int_list . x y . s x int_list y 2.2 int_list . x y int_list y int s x s y int_list int x y int 0 s y int s 0 s y int s x s y int x y true int s x s y int x y int 0 s y int s 0 s y true s 1 1 1 int_list 1 0 0 0 28958 int_list 1 0 nil 0 0 int 2 0 . 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 int_list int x y false int_list . x y int_list y true s 1 1 int_list 1 1 0 0 0 28958 int_list 1 0 nil 0 0 int 2 0 . 2 2 1 int 2 0 NaTT certifiable-1.6