sel s X cons Y Z sel X activate Z sel 0 cons X Z X first 0 Z nil first s X cons Y Z cons Y n__first X activate Z from X cons X n__from s X sel1 s X cons Y Z sel1 X activate Z sel1 0 cons X Z quote X first1 0 Z nil1 first1 s X cons Y Z cons1 quote Y first1 X activate Z quote n__0 01 quote1 n__cons X Z cons1 quote activate X quote1 activate Z quote1 n__nil nil1 quote n__s X s1 quote activate X quote n__sel X Z sel1 activate X activate Z quote1 n__first X Z first1 activate X activate Z unquote 01 0 unquote s1 X s unquote X unquote1 nil1 nil unquote1 cons1 X Z fcons unquote X unquote1 Z fcons X Z cons X Z first X1 X2 n__first X1 X2 from X n__from X 0 n__0 cons X1 X2 n__cons X1 X2 nil n__nil s X n__s X sel X1 X2 n__sel X1 X2 activate n__first X1 X2 first X1 X2 activate n__from X from X activate n__0 0 activate n__cons X1 X2 cons X1 X2 activate n__nil nil activate n__s X s X activate n__sel X1 X2 sel X1 X2 activate X X 2.2 sel1 s X cons Y Z sel1 X activate Z unquote1 cons1 X Z unquote X quote1 n__first X Z first1 activate X activate Z quote1 n__first X Z activate Z first s X cons Y Z cons Y n__first X activate Z first1 s X cons Y Z quote Y unquote1 nil1 nil activate n__cons X1 X2 cons X1 X2 quote1 n__cons X Z quote activate X quote1 n__cons X Z quote1 activate Z activate n__sel X1 X2 sel X1 X2 activate n__first X1 X2 first X1 X2 quote1 n__cons X Z activate Z unquote 01 0 quote n__sel X Z sel1 activate X activate Z unquote1 cons1 X Z unquote1 Z unquote s1 X s unquote X activate n__s X s X first1 s X cons Y Z first1 X activate Z first s X cons Y Z activate Z quote1 n__cons X Z activate X sel s X cons Y Z sel X activate Z quote n__s X activate X unquote1 cons1 X Z fcons unquote X unquote1 Z from X s X sel s X cons Y Z activate Z activate n__nil nil activate n__0 0 first 0 Z nil sel1 0 cons X Z quote X unquote s1 X unquote X quote1 n__first X Z activate X from X cons X n__from s X quote n__sel X Z activate Z sel1 s X cons Y Z activate Z activate n__from X from X first1 s X cons Y Z activate Z quote n__sel X Z activate X quote n__s X quote activate X fcons X Z cons X Z true unquote1 cons1 X Z unquote1 Z true 0 0 0 01 0 0 cons 2 0 s 1 0 unquote1 1 0 quote1 1 0 n__first 2 0 activate 1 0 unquote1 1 1 0 n__from 1 0 activate 1 0 fcons 2 0 first1 2 0 n__nil 0 0 n__s 1 0 cons1 2 2 1 0 0 0 sel 2 0 sel 2 0 from 1 0 s 1 0 n__cons 2 0 first 2 0 nil 0 0 sel1 2 0 quote1 1 0 n__sel 2 0 nil 0 0 nil1 0 0 first 2 0 n__0 0 0 first1 2 0 unquote 1 0 from 1 0 quote 1 0 cons 2 0 quote 1 0 sel1 2 0 s1 1 0 unquote 1 0 fcons 2 0 quote1 n__cons X Z quote1 activate Z true Failed! NaTT certifiable-1.6