from X cons X n__from n__s X head cons X XS X 2nd cons X XS head activate XS take 0 XS nil take s N cons X XS cons X n__take N activate XS sel 0 cons X XS X sel s N cons X XS sel N activate XS from X n__from X s X n__s X take X1 X2 n__take X1 X2 activate n__from X from activate X activate n__s X s activate X activate n__take X1 X2 take activate X1 activate X2 activate X X 2.2 activate n__take X1 X2 activate X1 activate n__s X s activate X sel s N cons X XS activate XS 2nd cons X XS head activate XS 2nd cons X XS activate XS activate n__s X activate X take s N cons X XS activate XS activate n__from X activate X activate n__take X1 X2 activate X2 activate n__take X1 X2 take activate X1 activate X2 sel s N cons X XS sel N activate XS activate n__from X from activate X true 2nd cons X XS activate XS false sel s N cons X XS sel N activate XS true s 1 1 1 take 2 0 activate 1 1 3 take 2 1 2 0 n__from 1 1 activate 1 0 2nd 1 0 head 1 0 n__s 1 2 0 0 23676 n__take 2 2 sel 2 1 0 from 1 1 2 sel 2 0 s 1 0 nil 0 23677 2nd 1 0 from 1 0 head 1 0 cons 2 1 2 2 2nd cons X XS head activate XS false sel s N cons X XS activate XS false activate n__take X1 X2 take activate X1 activate X2 activate n__take X1 X2 activate X2 activate n__from X activate X take s N cons X XS activate XS activate n__s X activate X activate n__take X1 X2 activate X1 true s 1 1 0 take 2 2 1 activate 1 1 0 take 2 1 2 20539 n__from 1 1 282 activate 1 1 0 2nd 1 0 head 1 0 n__s 1 1 0 0 0 23676 n__take 2 1 2 20539 sel 2 0 from 1 1 282 sel 2 0 s 1 0 nil 0 44215 2nd 1 0 from 1 0 head 1 0 cons 2 2 0 activate n__s X activate X take 0 XS nil from X n__from X from X cons X n__from n__s X take s N cons X XS cons X n__take N activate XS take X1 X2 n__take X1 X2 activate X X activate n__s X s activate X activate n__from X from activate X s X n__s X activate n__take X1 X2 take activate X1 activate X2 activate n__s X activate X true s 1 0 take 2 1 activate 1 1 take 2 1 n__from 1 1 activate 1 1 0 2nd 1 0 head 1 0 n__s 1 1 1 0 0 23676 n__take 2 1 sel 2 0 from 1 1 0 sel 2 0 s 1 0 nil 0 2 2nd 1 0 from 1 0 head 1 0 cons 2 1 0 from X cons X n__from n__s X take X1 X2 n__take X1 X2 activate n__from X from activate X false activate n__s X s activate X false NaTT certifiable-1.6