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 n__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 s X n__s X 0 n__0 cons X1 X2 n__cons X1 X2 nil n__nil sel X1 X2 n__sel X1 X2 activate n__first X1 X2 first activate X1 activate X2 activate n__from X from activate X activate n__s X s activate X activate n__0 0 activate n__cons X1 X2 cons activate X1 X2 activate n__nil nil activate n__sel X1 X2 sel activate X1 activate X2 activate X X 2.2 activate n__from X activate X quote1 n__first X Z activate Z activate n__sel X1 X2 activate X2 unquote1 cons1 X Z unquote X unquote1 nil1 nil quote1 n__first X Z activate X quote1 n__first X Z first1 activate X activate Z unquote 01 0 first 0 Z nil quote n__s X activate X sel s X cons Y Z activate Z quote1 n__cons X Z activate Z first1 s X cons Y Z activate Z quote1 n__cons X Z activate X activate n__first X1 X2 first activate X1 activate X2 from X cons X n__from n__s X first s X cons Y Z activate Z quote1 n__cons X Z quote1 activate Z unquote s1 X unquote X activate n__0 0 unquote s1 X s unquote X activate n__first X1 X2 activate X1 fcons X Z cons X Z first1 s X cons Y Z quote Y sel s X cons Y Z sel X activate Z quote1 n__cons X Z quote activate X activate n__cons X1 X2 activate X1 quote n__s X quote activate X first s X cons Y Z cons Y n__first X activate Z activate n__sel X1 X2 activate X1 activate n__nil nil unquote1 cons1 X Z fcons unquote X unquote1 Z activate n__sel X1 X2 sel activate X1 activate X2 quote n__sel X Z activate Z activate n__cons X1 X2 cons activate X1 X2 activate n__s X activate X activate n__first X1 X2 activate X2 unquote1 cons1 X Z unquote1 Z sel1 0 cons X Z quote X quote n__sel X Z activate X sel1 s X cons Y Z sel1 X activate Z activate n__from X from activate X first1 s X cons Y Z first1 X activate Z quote n__sel X Z sel1 activate X activate Z sel1 s X cons Y Z activate Z activate n__s X s activate X true quote1 n__cons X Z quote1 activate Z true Failed! NaTT certifiable-1.6