dbl 0 0 dbl s X s n__s n__dbl activate X dbls nil nil dbls cons X Y cons n__dbl activate X n__dbls activate Y sel 0 cons X Y activate X sel s X cons Y Z sel activate X activate Z indx nil X nil indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z from X cons activate X n__from n__s activate X s X n__s X dbl X n__dbl X dbls X n__dbls X sel X1 X2 n__sel X1 X2 indx X1 X2 n__indx X1 X2 from X n__from X activate n__s X s X activate n__dbl X dbl activate X activate n__dbls X dbls activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__indx X1 X2 indx activate X1 X2 activate n__from X from X activate X X 2.2 dbl s X activate X from X activate X activate n__sel X1 X2 sel activate X1 activate X2 activate n__indx X1 X2 activate X1 activate n__dbl X dbl activate X activate n__dbls X dbls activate X dbls cons X Y activate Y activate n__dbl X activate X activate n__sel X1 X2 activate X1 activate n__dbls X activate X indx cons X Y Z activate Y from X activate X sel 0 cons X Y activate X sel s X cons Y Z activate Z dbls cons X Y activate X activate n__s X s X indx cons X Y Z activate Z indx cons X Y Z activate Z activate n__from X from X sel s X cons Y Z sel activate X activate Z dbl s X s n__s n__dbl activate X activate n__indx X1 X2 indx activate X1 X2 activate n__sel X1 X2 activate X2 sel s X cons Y Z activate X indx cons X Y Z activate X true indx cons X Y Z activate X activate n__dbls X activate X sel s X cons Y Z activate X activate n__sel X1 X2 activate X1 activate n__sel X1 X2 activate X2 activate n__dbl X activate X activate n__indx X1 X2 indx activate X1 X2 dbls cons X Y activate Y sel s X cons Y Z sel activate X activate Z activate n__dbls X dbls activate X activate n__from X from X indx cons X Y Z activate Z activate n__dbl X dbl activate X activate n__indx X1 X2 activate X1 activate n__sel X1 X2 sel activate X1 activate X2 indx cons X Y Z activate Z from X activate X dbls cons X Y activate X sel s X cons Y Z activate Z sel 0 cons X Y activate X from X activate X dbl s X activate X indx cons X Y Z activate Y true s 1 1 0 dbls 1 1 1144 activate 1 1 0 dbl 1 1 1144 indx 2 1 43183 2 37329 0 n__indx 2 1 43183 2 37329 0 n__from 1 1 20539 dbl 1 1 1 activate 1 1 0 dbls 1 1 1 n__dbls 1 1 1144 n__s 1 1 0 n__dbl 1 1 1144 0 0 1 sel 2 1 9229 2 8946 0 indx 2 1 12462 2 37328 0 sel 2 1 43183 2 9228 0 from 1 1 20539 s 1 0 nil 0 37330 n__sel 2 1 43183 2 9228 0 from 1 1 20538 cons 2 1 1 2 0 0 sel s X cons Y Z sel activate X activate Z activate n__dbls X dbls activate X dbls cons X Y cons n__dbl activate X n__dbls activate Y from X n__from X indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil activate n__s X s X activate n__from X from X activate n__sel X1 X2 sel activate X1 activate X2 activate n__dbl X dbl activate X activate X X sel 0 cons X Y activate X s X n__s X indx nil X nil activate n__indx X1 X2 indx activate X1 X2 indx X1 X2 n__indx X1 X2 dbls X n__dbls X dbl X n__dbl X from X cons activate X n__from n__s activate X sel X1 X2 n__sel X1 X2 sel s X cons Y Z sel activate X activate Z dbl s X s n__s n__dbl activate X sel s X cons Y Z sel activate X activate Z true dbls 1 1 activate 1 1 n__dbls 1 1 s 1 1 s 1 4 1 dbl 1 5 1 indx 2 5 2 n__indx 2 5 2 n__from 1 5 dbl 1 0 activate 1 0 dbls 1 0 n__s 1 4 1 n__dbl 1 5 1 0 0 0 sel 2 4 1 indx 2 0 1 2 sel 2 3 from 1 5 nil 0 5 n__sel 2 3 from 1 0 cons 2 2 s 1 1 0 dbl 1 1 0 indx 2 1 2 1738 n__indx 2 1 2 1738 n__from 1 1 870 dbl 1 1 activate 1 1 dbls 1 1 n__s 1 1 0 n__dbl 1 1 0 0 0 1 sel 2 1 870 indx 2 1 2 1 sel 2 2 868 from 1 1 870 nil 0 41990 n__sel 2 2 868 from 1 1 cons 2 1 869 2 0 0 activate n__dbls X dbls activate X dbls cons X Y cons n__dbl activate X n__dbls activate Y from X n__from X indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil activate n__s X s X activate n__from X from X activate n__sel X1 X2 sel activate X1 activate X2 activate n__dbl X dbl activate X activate X X sel 0 cons X Y activate X s X n__s X indx nil X nil activate n__indx X1 X2 indx activate X1 X2 indx X1 X2 n__indx X1 X2 dbls X n__dbls X dbl X n__dbl X from X cons activate X n__from n__s activate X sel X1 X2 n__sel X1 X2 sel s X cons Y Z sel activate X activate Z dbl s X s n__s n__dbl activate X dbl s X s n__s n__dbl activate X false activate n__s X s X false NaTT certifiable-1.6