from X cons X n__from n__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 s X n__s X zWquot X1 X2 n__zWquot X1 X2 activate n__from X from activate X activate n__s X s activate X activate n__zWquot X1 X2 zWquot activate X1 activate X2 activate X X 2.2 activate n__from X activate X zWquot cons X XS cons Y YS quot X Y sel s N cons X XS sel N activate XS minus s X s Y minus X Y activate n__zWquot X1 X2 activate X1 activate n__zWquot X1 X2 activate X2 sel s N cons X XS activate XS zWquot cons X XS cons Y YS activate XS activate n__zWquot X1 X2 zWquot activate X1 activate X2 quot s X s Y minus X Y activate n__s X activate X quot s X s Y s quot minus X Y s Y activate n__from X from activate X zWquot cons X XS cons Y YS activate YS activate n__s X s activate X quot s X s Y quot minus X Y s Y true sel s N cons X XS sel N activate XS true s 1 1 1 zWquot 2 0 minus 2 1 1 activate 1 1 n__from 1 1 3 activate 1 0 zWquot 2 2 n__zWquot 2 1 2 3 n__s 1 2 0 0 1 quot 2 1 2 2 sel 2 1 0 from 1 2 sel 2 0 s 1 0 nil 0 3 minus 2 0 from 1 0 cons 2 1 3 quot 2 0 minus X 0 0 minus s X s Y minus X Y sel s N cons X XS activate XS false activate n__zWquot X1 X2 activate X2 zWquot cons X XS cons Y YS activate YS activate n__s X activate X activate n__zWquot X1 X2 activate X1 activate n__zWquot X1 X2 zWquot activate X1 activate X2 zWquot cons X XS cons Y YS activate XS activate n__from X activate X true s 1 1 0 zWquot 2 1 2 1 minus 2 1 activate 1 1 0 n__from 1 1 20977 activate 1 1 0 zWquot 2 1 2 31893 n__zWquot 2 1 2 31893 n__s 1 1 0 0 0 1 quot 2 21656 sel 2 0 from 1 1 20977 sel 2 0 s 1 0 nil 0 0 minus 2 0 from 1 0 cons 2 2 0 quot 2 0 activate n__s X activate X minus X 0 0 activate n__s X s activate X zWquot XS nil nil from X cons X n__from n__s X activate n__zWquot X1 X2 zWquot activate X1 activate X2 activate X 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__from X from activate X s X n__s X from X n__from X zWquot nil XS nil zWquot X1 X2 n__zWquot X1 X2 activate n__s X activate X true s 1 1 0 zWquot 2 1 minus 2 1 activate 1 0 n__from 1 1 1 activate 1 1 0 zWquot 2 0 n__zWquot 2 0 n__s 1 1 1 0 0 1 quot 2 23612 sel 2 0 from 1 1 2 sel 2 0 s 1 0 nil 0 0 minus 2 0 from 1 0 cons 2 2 0 quot 2 0 minus X 0 0 zWquot XS nil nil from X cons X n__from n__s X activate n__zWquot X1 X2 zWquot activate X1 activate X2 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 from X n__from X zWquot nil XS nil zWquot X1 X2 n__zWquot X1 X2 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 1 minus 2 1 1 activate 1 0 n__from 1 1 1 activate 1 0 zWquot 2 0 n__zWquot 2 0 n__s 1 1 3 0 0 1 quot 2 23612 sel 2 0 from 1 1 4 sel 2 0 s 1 0 nil 0 0 minus 2 0 from 1 0 cons 2 2 0 quot 2 1 0 minus X 0 0 zWquot XS nil nil from X cons X n__from n__s X activate n__zWquot X1 X2 zWquot activate X1 activate X2 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 from X n__from X zWquot nil XS nil zWquot X1 X2 n__zWquot X1 X2 quot s X s Y s quot minus X Y s Y false quot s X s Y minus X Y false minus s X s Y minus X Y true s 1 1 1 zWquot 2 1 minus 2 1 1 activate 1 0 n__from 1 1 2 activate 1 0 zWquot 2 0 n__zWquot 2 0 n__s 1 1 2 0 0 1 quot 2 23612 sel 2 0 from 1 1 4 sel 2 0 s 1 0 nil 0 0 minus 2 1 0 from 1 0 cons 2 2 0 quot 2 1 0 minus X 0 0 zWquot XS nil nil from X cons X n__from n__s X activate n__zWquot X1 X2 zWquot activate X1 activate X2 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 from X n__from X zWquot nil XS nil zWquot X1 X2 n__zWquot X1 X2 activate n__from X from activate X false activate n__s X s activate X false NaTT certifiable-1.6