from X cons X n__from s X sel 0 cons X XS X sel s N cons X XS sel N activate XS minus X 0 0 minus s X s Y minus X Y quot 0 s Y 0 quot s X s Y s quot minus X Y s Y zWquot XS nil nil zWquot nil XS nil zWquot cons X XS cons Y YS cons quot X Y n__zWquot activate XS activate YS from X n__from X zWquot X1 X2 n__zWquot X1 X2 activate n__from X from X activate n__zWquot X1 X2 zWquot X1 X2 activate X X 2.2 activate n__zWquot X1 X2 zWquot X1 X2 zWquot cons X XS cons Y YS activate XS sel s N cons X XS sel N activate XS zWquot cons X XS cons Y YS activate YS sel s N cons X XS activate XS zWquot cons X XS cons Y YS quot X Y quot s X s Y quot minus X Y s Y activate n__from X from X minus s X s Y minus X Y quot s X s Y minus X Y true sel s N cons X XS sel N activate XS true s 1 1 1 zWquot 2 0 minus 2 1 8366 activate 1 1 33428 n__from 1 38551 activate 1 0 zWquot 2 69894 n__zWquot 2 36466 0 0 1 quot 2 1 1 sel 2 1 2 0 from 1 71979 sel 2 0 nil 0 1 minus 2 0 from 1 0 cons 2 2 33428 quot 2 0 minus X 0 0 activate X X zWquot XS nil nil from X cons X n__from s X minus s X s Y minus X Y zWquot cons X XS cons Y YS cons quot X Y n__zWquot activate XS activate YS activate n__zWquot X1 X2 zWquot X1 X2 zWquot X1 X2 n__zWquot X1 X2 from X n__from X zWquot nil XS nil activate n__from X from X quot 0 s Y 0 sel s N cons X XS activate XS false zWquot cons X XS cons Y YS activate XS zWquot cons X XS cons Y YS activate YS activate n__zWquot X1 X2 zWquot X1 X2 true s 1 1 1 zWquot 2 1 2 0 minus 2 1 1 activate 1 1 1 n__from 1 35657 activate 1 1 1 zWquot 2 2 n__zWquot 2 1 2 1 0 0 1 quot 2 1 1 sel 2 0 from 1 35658 sel 2 0 nil 0 1 minus 2 0 from 1 0 cons 2 2 1 quot 2 0 minus X 0 0 activate X X zWquot XS nil nil from X cons X n__from s X minus s X s Y minus X Y from X n__from X zWquot nil XS nil activate n__from X from X quot 0 s Y 0 zWquot cons X XS cons Y YS quot X Y false quot s X s Y quot minus X Y s Y true s 1 1 2 zWquot 2 0 minus 2 1 1 activate 1 1 1 n__from 1 30205 activate 1 1 zWquot 2 1 n__zWquot 2 1 2 1 0 0 1 quot 2 1 1 sel 2 0 from 1 30206 sel 2 0 nil 0 1 minus 2 0 from 1 0 cons 2 2 1 quot 2 1 0 minus X 0 0 activate X X zWquot XS nil nil from X cons X n__from s X minus s X s Y minus X Y from X n__from X zWquot nil XS nil activate n__from X from X quot 0 s Y 0 quot s X s Y minus X Y false minus s X s Y minus X Y true s 1 1 1 zWquot 2 0 minus 2 1 1 activate 1 1 1 n__from 1 1 activate 1 1 zWquot 2 1 n__zWquot 2 1 2 1 0 0 1 quot 2 1 1 sel 2 0 from 1 2 sel 2 0 nil 0 1 minus 2 1 0 from 1 0 cons 2 2 1 quot 2 1 0 minus X 0 0 activate X X zWquot XS nil nil from X cons X n__from s X minus s X s Y minus X Y from X n__from X zWquot nil XS nil activate n__from X from X quot 0 s Y 0 activate n__from X from X false NaTT certifiable-1.6