first 0 X nil first s X cons Y Z cons Y n__first X activate Z from X cons X n__from n__s X first X1 X2 n__first X1 X2 from X n__from X s X n__s X 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 X X 2.2 activate n__s X s activate X activate n__first X1 X2 activate X2 activate n__from X from activate X activate n__first X1 X2 activate X1 activate n__s X activate X first s X cons Y Z activate Z activate n__from X activate X activate n__first X1 X2 first activate X1 activate X2 true activate n__first X1 X2 first activate X1 activate X2 activate n__from X activate X first s X cons Y Z activate Z activate n__s X activate X activate n__first X1 X2 activate X2 activate n__first X1 X2 activate X1 true s 1 1 0 n__first 2 1 2 30614 activate 1 1 0 n__from 1 1 10451 activate 1 1 0 n__s 1 1 0 0 0 40651 from 1 1 10451 s 1 0 first 2 2 1 nil 0 0 first 2 1 2 30614 from 1 0 cons 2 2 0 activate n__s X activate X first X1 X2 n__first X1 X2 activate n__from X from activate X first 0 X nil from X cons X n__from n__s X from X n__from X activate X X activate n__first X1 X2 first activate X1 activate X2 activate n__s X s activate X s X n__s X first s X cons Y Z cons Y n__first X activate Z activate n__s X activate X true s 1 1 1 n__first 2 1 2 1 activate 1 1 0 n__from 1 10451 activate 1 1 0 n__s 1 1 1 0 0 40651 from 1 10451 s 1 0 first 2 2 1 nil 0 0 first 2 1 2 1 from 1 0 cons 2 0 first X1 X2 n__first X1 X2 activate n__from X from activate X first 0 X nil from X cons X n__from n__s X from X n__from X activate X X activate n__first X1 X2 first activate X1 activate X2 activate n__s X s activate X s X n__s X first s X cons Y Z cons Y n__first X activate Z activate n__from X from activate X false activate n__s X s activate X false NaTT certifiable-1.6