from X cons X n__from 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 take X1 X2 n__take X1 X2 activate n__from X from X activate n__take X1 X2 take X1 X2 activate X X 2.2 sel s N cons X XS sel N activate XS 2nd cons X XS head activate XS 2nd cons X XS activate XS take s N cons X XS activate XS sel s N cons X XS activate XS activate n__take X1 X2 take X1 X2 activate n__from X from X true 2nd cons X XS head activate XS false 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 1 take 2 1 2 38978 n__from 1 19306 activate 1 0 2nd 1 0 head 1 0 0 0 44083 n__take 2 1 2 38978 sel 2 1 2 0 from 1 19307 sel 2 0 nil 0 0 2nd 1 0 from 1 0 head 1 0 cons 2 2 1 take 0 XS nil from X n__from X from X cons X n__from s X take s N cons X XS cons X n__take N activate XS activate n__from X from X activate X X activate n__take X1 X2 take X1 X2 take X1 X2 n__take X1 X2 sel s N cons X XS activate XS false activate n__take X1 X2 take X1 X2 take s N cons X XS activate XS true s 1 1 1 take 2 1 2 0 activate 1 1 18919 take 2 1 2 18919 n__from 1 35231 activate 1 1 0 2nd 1 0 head 1 0 0 0 44083 n__take 2 1 2 1 sel 2 2 0 from 1 54150 sel 2 0 nil 0 0 2nd 1 0 from 1 0 head 1 0 cons 2 2 18919 take 0 XS nil from X n__from X from X cons X n__from s X take s N cons X XS cons X n__take N activate XS activate n__from X from X activate X X activate n__take X1 X2 take X1 X2 take X1 X2 n__take X1 X2 activate n__from X from X false NaTT certifiable-1.6