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 X activate n__dbls X dbls X activate n__sel X1 X2 sel X1 X2 activate n__indx X1 X2 indx X1 X2 activate n__from X from X activate X X 2.2 dbl s X activate X from X activate X activate n__s X s X sel 0 cons X Y activate X activate n__sel X1 X2 sel X1 X2 activate n__from X from X indx cons X Y Z activate X activate n__dbls X dbls X from X activate X activate n__dbl X dbl X sel s X cons Y Z activate Z indx cons X Y Z activate Z dbls cons X Y activate Y indx cons X Y Z activate Y 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 X1 X2 indx cons X Y Z activate Z sel s X cons Y Z activate X dbls cons X Y activate X true dbls cons X Y activate X sel s X cons Y Z activate X indx cons X Y Z activate X indx cons X Y Z activate Z activate n__from X from X activate n__indx X1 X2 indx X1 X2 sel s X cons Y Z sel activate X activate Z indx cons X Y Z activate Y activate n__sel X1 X2 sel X1 X2 sel 0 cons X Y activate X dbls cons X Y activate Y indx cons X Y Z activate Z from X activate X sel s X cons Y Z activate Z activate n__dbl X dbl X from X activate X dbl s X activate X activate n__dbls X dbls X true s 1 1 0 dbls 1 1 32287 activate 1 1 0 dbl 1 1 32287 indx 2 1 5513 2 11026 0 n__indx 2 1 5513 2 11026 0 n__from 1 1 8367 dbl 1 1 16305 activate 1 1 16304 dbls 1 1 16305 n__dbls 1 1 32287 n__s 1 1 0 n__dbl 1 1 32287 0 0 1 sel 2 1 16304 2 16304 0 indx 2 1 21816 2 16305 0 sel 2 1 5513 2 0 0 from 1 1 8367 s 1 0 nil 0 11027 n__sel 2 1 5513 2 0 0 from 1 1 24670 cons 2 1 5512 2 0 0 sel s X cons Y Z activate Z activate n__sel X1 X2 sel X1 X2 sel s X cons Y Z sel activate X activate Z sel s X cons Y Z activate X activate n__dbls X dbls 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 X1 X2 activate n__dbl X dbl 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 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 activate n__sel X1 X2 sel X1 X2 sel s X cons Y Z activate Z sel s X cons Y Z activate X sel s X cons Y Z sel activate X activate Z true s 1 1 0 dbls 1 1 1 activate 1 1 0 dbl 1 1 1 indx 2 1 2999 2 3001 0 n__indx 2 1 2999 2 3001 0 n__from 1 1 20977 dbl 1 16305 activate 1 1 46572 dbls 1 16305 n__dbls 1 1 1 n__s 1 1 0 n__dbl 1 1 1 0 0 1 sel 2 1 49571 2 46572 0 indx 2 0 sel 2 1 2999 2 0 0 from 1 1 20977 s 1 0 nil 0 3002 n__sel 2 1 2999 2 0 0 from 1 24670 cons 2 1 1 2 0 0 sel s X cons Y Z sel activate X activate Z sel s X cons Y Z activate Z activate n__sel X1 X2 sel X1 X2 activate n__dbls X dbls 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 X1 X2 activate n__dbl X dbl 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 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 activate n__sel X1 X2 sel X1 X2 sel s X cons Y Z activate Z sel s X cons Y Z sel activate X activate Z true s 1 1 0 dbls 1 1 1 activate 1 1 0 dbl 1 1 1 indx 2 1 1326 2 1328 0 n__indx 2 1 1326 2 1328 0 n__from 1 1 53255 dbl 1 16305 activate 1 1 4688 dbls 1 16305 n__dbls 1 1 1 n__s 1 1 0 n__dbl 1 1 1 0 0 38607 sel 2 1 4687 2 4689 0 indx 2 0 sel 2 1 1326 2 1 0 from 1 1 53255 s 1 0 nil 0 1329 n__sel 2 1 1326 2 1 0 from 1 24670 cons 2 1 1 2 0 0 sel s X cons Y Z sel activate X activate Z activate n__sel X1 X2 sel X1 X2 activate n__dbls X dbls 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 X1 X2 activate n__dbl X dbl 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 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 activate n__sel X1 X2 sel X1 X2 false sel s X cons Y Z sel activate X activate Z true activate 1 1 dbls 1 1 sel 2 1 s 1 1 s 1 2 1 dbls 1 5 1 activate 1 1 1 dbl 1 3 1 indx 2 4 n__indx 2 4 n__from 1 4 dbl 1 0 n__dbls 1 5 1 n__s 1 2 1 n__dbl 1 3 1 0 0 0 indx 2 0 1 2 sel 2 5 from 1 4 nil 0 4 n__sel 2 5 from 1 0 cons 2 4 s 1 1 0 dbls 1 1 57802 activate 1 1 0 dbl 1 1 25907 indx 2 1 2 31895 n__indx 2 1 2 31895 n__from 1 1 58180 dbl 1 1 n__dbls 1 1 57802 n__s 1 1 0 n__dbl 1 1 25907 0 0 2998 indx 2 1 2 1 sel 2 1 2 31893 from 1 1 58180 nil 0 36336 n__sel 2 1 2 31893 from 1 1 cons 2 1 31894 2 0 0 activate n__dbls X dbls 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 X1 X2 activate n__dbl X dbl 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 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