a__sel s X cons Y Z a__sel mark X mark Z a__sel 0 cons X Z mark X a__first 0 Z nil a__first s X cons Y Z cons mark Y first X Z a__from X cons mark X from s X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel1 0 cons X Z a__quote X a__first1 0 Z nil1 a__first1 s X cons Y Z cons1 a__quote Y a__first1 mark X mark Z a__quote 0 01 a__quote1 cons X Z cons1 a__quote X a__quote1 Z a__quote1 nil nil1 a__quote s X s1 a__quote X a__quote sel X Z a__sel1 mark X mark Z a__quote1 first X Z a__first1 mark X mark Z a__unquote 01 0 a__unquote s1 X s a__unquote mark X a__unquote1 nil1 nil a__unquote1 cons1 X Z a__fcons a__unquote mark X a__unquote1 mark Z a__fcons X Z cons mark X Z mark sel X1 X2 a__sel mark X1 mark X2 mark first X1 X2 a__first mark X1 mark X2 mark from X a__from mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 mark quote X a__quote X mark first1 X1 X2 a__first1 mark X1 mark X2 mark quote1 X a__quote1 X mark unquote X a__unquote mark X mark unquote1 X a__unquote1 mark X mark fcons X1 X2 a__fcons mark X1 mark X2 mark s X s mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 mark nil nil mark nil1 nil1 mark cons1 X1 X2 cons1 mark X1 mark X2 mark 01 01 mark s1 X s1 mark X a__sel X1 X2 sel X1 X2 a__first X1 X2 first X1 X2 a__from X from X a__sel1 X1 X2 sel1 X1 X2 a__quote X quote X a__first1 X1 X2 first1 X1 X2 a__quote1 X quote1 X a__unquote X unquote X a__unquote1 X unquote1 X a__fcons X1 X2 fcons X1 X2 2.2 mark unquote1 X a__unquote1 mark X a__unquote1 cons1 X Z a__unquote1 mark Z a__sel1 0 cons X Z a__quote X mark first X1 X2 mark X2 mark first1 X1 X2 mark X1 a__unquote1 cons1 X Z mark X a__unquote1 cons1 X Z a__unquote mark X a__unquote s1 X a__unquote mark X mark first1 X1 X2 mark X2 a__sel s X cons Y Z a__sel mark X mark Z mark cons1 X1 X2 mark X1 a__quote1 first X Z mark Z a__unquote s1 X mark X a__sel1 s X cons Y Z mark X a__first s X cons Y Z mark Y a__sel s X cons Y Z mark Z a__unquote1 cons1 X Z a__fcons a__unquote mark X a__unquote1 mark Z mark sel X1 X2 mark X1 a__quote1 cons X Z a__quote X a__first1 s X cons Y Z a__quote Y a__first1 s X cons Y Z mark X a__quote1 first X Z mark X mark fcons X1 X2 a__fcons mark X1 mark X2 a__quote sel X Z mark Z mark first1 X1 X2 a__first1 mark X1 mark X2 a__first1 s X cons Y Z mark Z mark unquote X a__unquote mark X a__quote1 first X Z a__first1 mark X mark Z a__quote1 cons X Z a__quote1 Z a__from X mark X mark sel X1 X2 mark X2 mark cons1 X1 X2 mark X2 mark fcons X1 X2 mark X1 mark s X mark X a__sel1 s X cons Y Z mark Z mark cons X1 X2 mark X1 a__first1 s X cons Y Z a__first1 mark X mark Z mark first X1 X2 a__first mark X1 mark X2 a__sel1 s X cons Y Z a__sel1 mark X mark Z a__unquote1 cons1 X Z mark Z a__fcons X Z mark X a__quote sel X Z mark X mark first X1 X2 mark X1 mark quote X a__quote X mark sel1 X1 X2 mark X2 mark unquote X mark X mark from X mark X mark fcons X1 X2 mark X2 mark quote1 X a__quote1 X a__quote sel X Z a__sel1 mark X mark Z mark sel1 X1 X2 mark X1 mark unquote1 X mark X a__sel 0 cons X Z mark X a__sel s X cons Y Z mark X a__quote s X a__quote X mark sel1 X1 X2 a__sel1 mark X1 mark X2 mark s1 X mark X mark sel X1 X2 a__sel mark X1 mark X2 mark from X a__from mark X true mark from X a__from mark X mark sel X1 X2 a__sel mark X1 mark X2 mark fcons X1 X2 mark X1 mark sel X1 X2 mark X2 mark cons1 X1 X2 mark X2 mark s1 X mark X a__from X mark X a__quote1 cons X Z a__quote1 Z mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__quote1 first X Z a__first1 mark X mark Z mark unquote X a__unquote mark X a__first1 s X cons Y Z mark Z a__quote s X a__quote X mark first1 X1 X2 a__first1 mark X1 mark X2 a__sel s X cons Y Z mark X a__sel 0 cons X Z mark X a__quote sel X Z mark Z mark unquote1 X mark X mark fcons X1 X2 a__fcons mark X1 mark X2 mark sel1 X1 X2 mark X1 a__quote sel X Z a__sel1 mark X mark Z mark quote1 X a__quote1 X a__quote1 first X Z mark X mark fcons X1 X2 mark X2 a__first1 s X cons Y Z mark X a__first1 s X cons Y Z a__quote Y a__quote1 cons X Z a__quote X mark sel X1 X2 mark X1 mark unquote X mark X mark from X mark X mark sel1 X1 X2 mark X2 a__unquote1 cons1 X Z a__fcons a__unquote mark X a__unquote1 mark Z a__sel s X cons Y Z mark Z a__first s X cons Y Z mark Y a__sel1 s X cons Y Z mark X mark quote X a__quote X a__unquote s1 X mark X a__quote1 first X Z mark Z mark first X1 X2 mark X1 mark cons1 X1 X2 mark X1 a__quote sel X Z mark X a__sel s X cons Y Z a__sel mark X mark Z a__fcons X Z mark X mark first1 X1 X2 mark X2 a__unquote1 cons1 X Z mark Z a__sel1 s X cons Y Z a__sel1 mark X mark Z a__unquote s1 X a__unquote mark X mark first X1 X2 a__first mark X1 mark X2 a__unquote1 cons1 X Z a__unquote mark X a__unquote1 cons1 X Z mark X a__first1 s X cons Y Z a__first1 mark X mark Z mark first1 X1 X2 mark X1 mark cons X1 X2 mark X1 a__sel1 s X cons Y Z mark Z mark first X1 X2 mark X2 a__sel1 0 cons X Z a__quote X a__unquote1 cons1 X Z a__unquote1 mark Z mark unquote1 X a__unquote1 mark X mark s X mark X true a__quote 1 1 1145 01 0 1 s 1 1 0 unquote1 1 1 14685 a__first1 2 1 15 2 4 0 a__from 1 1 1146 a__fcons 2 1 1146 2 1 0 a__first 2 2 1155 0 a__from 1 1 12 a__first1 2 1 1159 2 1146 0 a__unquote 1 1 15826 a__unquote 1 1 14682 a__sel1 2 1 20561 2 4 0 a__fcons 2 1 12 2 0 0 cons1 2 1 11 2 0 0 mark 1 1 1145 0 0 1 a__quote 1 1 5 from 1 1 12 sel 2 1 20556 2 20542 0 a__sel1 2 1 1146 2 1149 0 nil 0 11 quote1 1 1 6 a__quote1 1 1 1150 a__sel 2 1 21700 2 21687 0 mark 1 1 0 nil1 0 6 a__sel 2 1 20556 2 20542 0 first 2 1 9 2 11 0 a__first 2 1 9 2 11 0 first1 2 1 15 2 4 0 a__unquote1 1 1 14685 a__unquote1 1 1 15829 quote 1 1 5 cons 2 1 12 2 0 0 sel1 2 1 20561 2 4 0 a__quote1 1 1 6 s1 1 1 0 unquote 1 1 14682 fcons 2 1 12 2 0 0 mark s X mark X a__unquote1 cons1 X Z a__unquote1 mark Z a__first1 s X cons Y Z a__first1 mark X mark Z a__unquote s1 X a__unquote mark X a__sel1 s X cons Y Z a__sel1 mark X mark Z a__sel s X cons Y Z a__sel mark X mark Z mark fcons X1 X2 mark X2 a__quote s X a__quote X a__quote1 first X Z a__first1 mark X mark Z mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__quote1 cons X Z a__quote1 Z mark s1 X mark X mark cons1 X1 X2 mark X2 mark sel X1 X2 a__sel mark X1 mark X2 a__unquote1 nil1 nil a__first s X cons Y Z cons mark Y first X Z a__quote1 first X Z a__first1 mark X mark Z a__first1 0 Z nil1 a__sel s X cons Y Z a__sel mark X mark Z a__first 0 Z nil a__unquote 01 0 mark sel X1 X2 a__sel mark X1 mark X2 mark cons1 X1 X2 cons1 mark X1 mark X2 mark first1 X1 X2 a__first1 mark X1 mark X2 a__unquote1 cons1 X Z a__fcons a__unquote mark X a__unquote1 mark Z mark cons X1 X2 cons mark X1 X2 a__unquote s1 X s a__unquote mark X mark quote1 X a__quote1 X mark nil nil mark first X1 X2 a__first mark X1 mark X2 mark unquote X a__unquote mark X a__first1 X1 X2 first1 X1 X2 a__from X cons mark X from s X mark 0 0 a__quote 0 01 a__sel X1 X2 sel X1 X2 a__sel1 0 cons X Z a__quote X a__fcons X Z cons mark X Z mark quote X a__quote X mark fcons X1 X2 a__fcons mark X1 mark X2 a__quote sel X Z a__sel1 mark X mark Z mark s X s mark X a__quote1 nil nil1 a__quote1 X quote1 X mark from X a__from mark X mark sel1 X1 X2 a__sel1 mark X1 mark X2 a__quote1 cons X Z cons1 a__quote X a__quote1 Z a__first1 s X cons Y Z cons1 a__quote Y a__first1 mark X mark Z a__quote s X s1 a__quote X a__first X1 X2 first X1 X2 a__sel1 s X cons Y Z a__sel1 mark X mark Z mark s1 X s1 mark X a__fcons X1 X2 fcons X1 X2 a__unquote1 X unquote1 X mark 01 01 a__from X from X a__sel1 X1 X2 sel1 X1 X2 a__unquote X unquote X mark nil1 nil1 mark unquote1 X a__unquote1 mark X a__quote X quote X a__sel 0 cons X Z mark X a__unquote1 cons1 X Z a__unquote1 mark Z true Failed! NaTT certifiable-1.6