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 dbl1 0 01 dbl1 s X s1 s1 dbl1 activate X sel1 0 cons X Y activate X sel1 s X cons Y Z sel1 activate X activate Z quote 0 01 quote s X s1 quote activate X quote dbl X dbl1 X quote sel X Y sel1 X Y 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 dbls cons X Y activate X sel s X cons Y Z activate Z dbl1 s X activate X sel1 s X cons Y Z activate Z from X activate X indx cons X Y Z activate Z indx cons X Y Z activate X dbl1 s X dbl1 activate X activate n__s X s X dbls cons X Y activate Y indx cons X Y Z activate Y quote sel X Y sel1 X Y sel1 s X cons Y Z sel1 activate X activate Z from X activate X sel s X cons Y Z activate X quote s X activate X quote dbl X dbl1 X quote s X quote activate X sel 0 cons X Y activate X activate n__sel X1 X2 sel X1 X2 indx cons X Y Z activate Z activate n__dbls X dbls X activate n__dbl X dbl X activate n__from X from X dbl s X s n__s n__dbl activate X sel1 s X cons Y Z activate X sel1 0 cons X Y activate X sel s X cons Y Z sel activate X activate Z activate n__indx X1 X2 indx X1 X2 true quote s X quote activate X true dbls 1 1 indx 2 1 dbl1 1 0 01 0 0 s 1 3 1 dbls 1 0 1 activate 1 2 1 dbl 1 4 1 indx 2 2 1 n__indx 2 1 1 2 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 0 n__s 1 3 1 n__dbl 1 4 1 0 0 1 sel 2 0 1 2 sel 2 4 from 1 2 1 s 1 0 nil 0 2 dbl1 1 0 sel1 2 0 n__sel 2 4 from 1 0 quote 1 0 cons 2 0 1 quote 1 0 1 sel1 2 0 2 1 s1 1 0 dbl1 1 1 01 0 0 s 1 1 0 dbls 1 1 1 activate 1 1 0 dbl 1 1 1 indx 2 1 2 4 n__indx 2 1 2 4 n__from 1 1 17890 dbl 1 1 activate 1 1 n__dbls 1 1 1 n__s 1 1 0 n__dbl 1 1 1 0 0 1 sel 2 1 2 1 sel 2 2 1 from 1 1 17890 s 1 1 nil 0 35102 dbl1 1 1 sel1 2 2 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 2 2 0 0 quote 1 1 1 sel1 2 1 2 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls X dbl X n__dbl X activate n__sel X1 X2 sel X1 X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X quote dbl X dbl1 X false dbl1 s X dbl1 activate X true dbls 1 1 indx 2 1 dbl1 1 0 1 01 0 0 s 1 3 1 dbls 1 0 activate 1 2 1 dbl 1 4 1 indx 2 2 2 n__indx 2 1 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 0 n__s 1 3 1 n__dbl 1 4 1 0 0 1 sel 2 0 1 2 sel 2 4 from 1 2 1 s 1 0 nil 0 2 dbl1 1 0 sel1 2 0 n__sel 2 4 from 1 0 quote 1 0 cons 2 0 quote 1 0 1 sel1 2 0 2 1 s1 1 0 dbl1 1 1 1 01 0 0 s 1 1 0 dbls 1 1 27858 activate 1 1 0 dbl 1 1 27857 indx 2 2 27861 n__indx 2 2 27861 n__from 1 1 27860 dbl 1 1 activate 1 1 n__dbls 1 1 27858 n__s 1 1 0 n__dbl 1 1 27857 0 0 1 sel 2 1 2 1 sel 2 2 1 from 1 1 27860 s 1 1 nil 0 5599 dbl1 1 1 sel1 2 2 1 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 27859 2 0 0 quote 1 1 1 sel1 2 1 2 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls X dbl X n__dbl X activate n__sel X1 X2 sel X1 X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X dbl1 s X activate X false quote s X activate X false quote sel X Y sel1 X Y false sel1 s X cons Y Z sel1 activate X activate Z true dbls 1 1 indx 2 1 dbl1 1 0 1 01 0 0 s 1 3 1 dbls 1 1 activate 1 2 1 dbl 1 4 1 indx 2 2 2 n__indx 2 2 n__from 1 1 dbl 1 0 activate 1 0 n__dbls 1 1 n__s 1 3 1 n__dbl 1 4 1 0 0 1 sel 2 0 1 2 sel 2 4 from 1 2 1 s 1 0 nil 0 2 dbl1 1 0 sel1 2 0 1 n__sel 2 4 from 1 0 quote 1 0 cons 2 1 quote 1 0 1 sel1 2 0 2 1 s1 1 0 dbl1 1 1 1 01 0 0 s 1 1 0 dbls 1 1 13215 activate 1 1 0 dbl 1 1 13214 indx 2 2 13218 n__indx 2 2 13218 n__from 1 1 13217 dbl 1 1 activate 1 1 n__dbls 1 1 13215 n__s 1 1 0 n__dbl 1 1 13214 0 0 1 sel 2 1 2 1 sel 2 2 1 from 1 1 13217 s 1 1 nil 0 1 dbl1 1 1 sel1 2 1 0 n__sel 2 2 1 from 1 1 quote 1 1 cons 2 1 13216 2 0 0 quote 1 1 1 sel1 2 1 2 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls X dbl X n__dbl X activate n__sel X1 X2 sel X1 X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X dbl s X s n__s n__dbl activate X sel1 s X cons Y Z activate X false sel1 s X cons Y Z activate Z false sel1 0 cons X Y activate X false activate n__indx X1 X2 indx X1 X2 indx cons X Y Z activate Y sel s X cons Y Z sel activate X activate Z dbls cons X Y activate Y indx cons X Y Z activate X activate n__from X from X indx cons X Y Z activate Z activate n__dbl X dbl X activate n__dbls X dbls X indx cons X Y Z activate Z from X activate X activate n__sel X1 X2 sel X1 X2 sel 0 cons X Y activate X sel s X cons Y Z activate Z sel s X cons Y Z activate X from X activate X dbls cons X Y activate X dbl s X activate X true dbl1 1 0 01 0 0 s 1 1 0 dbls 1 1 14682 activate 1 1 0 dbl 1 1 14682 indx 2 1 61181 2 34894 0 n__indx 2 1 61181 2 34894 0 n__from 1 1 21657 dbl 1 1 15348 activate 1 1 667 dbls 1 1 668 n__dbls 1 1 14682 n__s 1 1 0 n__dbl 1 1 14682 0 0 1 sel 2 1 670 2 668 0 indx 2 1 61847 2 1991 0 sel 2 1 31895 2 31896 0 from 1 1 21657 s 1 0 nil 0 34895 dbl1 1 0 sel1 2 0 n__sel 2 1 31895 2 31896 0 from 1 1 668 quote 1 0 cons 2 1 1 2 0 0 quote 1 0 sel1 2 0 s1 1 0 sel s X cons Y Z sel activate X activate Z s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls X dbl X n__dbl X activate n__sel X1 X2 sel X1 X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X 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 indx 2 1 dbl1 1 0 01 0 0 s 1 6 1 dbls 1 5 activate 1 5 1 dbl 1 7 1 indx 2 4 1 n__indx 2 3 n__from 1 4 dbl 1 0 activate 1 0 n__dbls 1 3 n__s 1 6 1 n__dbl 1 7 1 0 0 0 sel 2 7 1 sel 2 1 from 1 4 s 1 0 nil 0 6 dbl1 1 0 sel1 2 0 n__sel 2 0 2 from 1 0 quote 1 0 cons 2 2 quote 1 0 sel1 2 0 2 1 s1 1 0 dbl1 1 1 01 0 0 s 1 1 0 dbls 1 1 7069 activate 1 1 0 dbl 1 1 7067 indx 2 1 2 12833 n__indx 2 1 2 12833 n__from 1 1 7069 dbl 1 1 activate 1 1 n__dbls 1 1 7069 n__s 1 1 0 n__dbl 1 1 7067 0 0 1 sel 2 1 1 sel 2 2 5764 from 1 1 7069 s 1 1 nil 0 51737 dbl1 1 1 sel1 2 0 n__sel 2 2 5764 from 1 1 quote 1 1 cons 2 1 7068 2 0 0 quote 1 1 sel1 2 1 2 1 s1 1 1 s X n__s X dbls cons X Y cons n__dbl activate X n__dbls activate Y indx cons X Y Z cons n__sel activate X activate Z n__indx activate Y activate Z dbl 0 0 dbls nil nil sel X1 X2 n__sel X1 X2 activate n__dbls X dbls X dbl X n__dbl X activate n__sel X1 X2 sel X1 X2 indx X1 X2 n__indx X1 X2 activate n__indx X1 X2 indx X1 X2 sel 0 cons X Y activate X indx nil X nil dbls X n__dbls X activate n__dbl X dbl X activate X X from X n__from X activate n__s X s X from X cons activate X n__from n__s activate X sel s X cons Y Z sel activate X activate Z activate n__from X from X 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