active and true X mark X active and false Y mark false active if true X Y mark X active if false X Y mark Y active add 0 X mark X active add s X Y mark s add X Y active first 0 X mark nil active first s X cons Y Z mark cons Y first X Z active from X mark cons X from s X mark and X1 X2 active and mark X1 X2 mark true active true mark false active false mark if X1 X2 X3 active if mark X1 X2 X3 mark add X1 X2 active add mark X1 X2 mark 0 active 0 mark s X active s X mark first X1 X2 active first mark X1 mark X2 mark nil active nil mark cons X1 X2 active cons X1 X2 mark from X active from X and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 if mark X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 add mark X1 X2 add X1 X2 add X1 mark X2 add X1 X2 add active X1 X2 add X1 X2 add X1 active X2 add X1 X2 s mark X s X s active X s X first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 from mark X from X from active X from X 2.2 cons active X1 X2 cons X1 X2 add X1 active X2 add X1 X2 mark add X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark first X1 X2 first mark X1 mark X2 and X1 mark X2 and X1 X2 if active X1 X2 X3 if X1 X2 X3 mark and X1 X2 mark X1 mark first X1 X2 mark X1 and mark X1 X2 and X1 X2 mark first X1 X2 mark X2 active first s X cons Y Z cons Y first X Z active if false X Y mark Y add active X1 X2 add X1 X2 cons X1 mark X2 cons X1 X2 active first s X cons Y Z first X Z active if true X Y mark X cons X1 active X2 cons X1 X2 if X1 mark X2 X3 if X1 X2 X3 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 active add s X Y s add X Y active first s X cons Y Z mark cons Y first X Z from mark X from X and active X1 X2 and X1 X2 mark first X1 X2 active first mark X1 mark X2 active add s X Y add X Y if mark X1 X2 X3 if X1 X2 X3 active and true X mark X mark if X1 X2 X3 active if mark X1 X2 X3 mark nil active nil if X1 X2 active X3 if X1 X2 X3 s active X s X add X1 mark X2 add X1 X2 mark false active false active from X s X cons mark X1 X2 cons X1 X2 active add 0 X mark X active add s X Y mark s add X Y active first 0 X mark nil from active X from X if X1 X2 mark X3 if X1 X2 X3 mark add X1 X2 add mark X1 X2 and X1 active X2 and X1 X2 first active X1 X2 first X1 X2 mark add X1 X2 active add mark X1 X2 mark 0 active 0 active from X mark cons X from s X mark from X active from X active from X from s X add mark X1 X2 add X1 X2 mark and X1 X2 and mark X1 X2 mark true active true mark if X1 X2 X3 mark X1 if X1 active X2 X3 if X1 X2 X3 active and false Y mark false mark s X active s X first mark X1 X2 first X1 X2 mark if X1 X2 X3 if mark X1 X2 X3 s mark X s X mark cons X1 X2 active cons X1 X2 active from X cons X from s X true mark cons X1 X2 active cons X1 X2 mark if X1 X2 X3 active if mark X1 X2 X3 active and true X mark X mark first X1 X2 active first mark X1 mark X2 mark s X active s X mark if X1 X2 X3 mark X1 active first s X cons Y Z mark cons Y first X Z mark from X active from X active from X mark cons X from s X active if true X Y mark X mark add X1 X2 active add mark X1 X2 active if false X Y mark Y mark first X1 X2 mark X2 mark first X1 X2 mark X1 mark and X1 X2 mark X1 active add s X Y mark s add X Y active add 0 X mark X mark and X1 X2 active and mark X1 X2 mark add X1 X2 mark X1 true cons 2 0 s 1 1 and 2 1 2 1 false 0 1 true 0 1 mark 1 1 1 if 3 1 2 3 1 0 0 29922 from 1 1 3 s 1 0 first 2 0 nil 0 2737 mark 1 1 0 first 2 1 2 2998 from 1 0 active 1 1 0 cons 2 1 if 3 0 active 1 1 0 add 2 0 add 2 1 2 31893 and 2 0 mark nil active nil active if false X Y mark Y mark 0 active 0 active first s X cons Y Z mark cons Y first X Z active and true X mark X active if true X Y mark X mark s X active s X and mark X1 X2 and X1 X2 s active X s X if X1 mark X2 X3 if X1 X2 X3 mark cons X1 X2 active cons X1 X2 add X1 mark X2 add X1 X2 mark first X1 X2 active first mark X1 mark X2 if X1 X2 mark X3 if X1 X2 X3 add X1 active X2 add X1 X2 and X1 mark X2 and X1 X2 if active X1 X2 X3 if X1 X2 X3 cons X1 active X2 cons X1 X2 active add 0 X mark X add active X1 X2 add X1 X2 mark and X1 X2 active and mark X1 X2 first active X1 X2 first X1 X2 active first 0 X mark nil mark from X active from X if mark X1 X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 mark add X1 X2 active add mark X1 X2 add mark X1 X2 add X1 X2 mark false active false from mark X from X and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 mark true active true active from X mark cons X from s X mark if X1 X2 X3 active if mark X1 X2 X3 first X1 active X2 first X1 X2 active add s X Y mark s add X Y first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 from active X from X s mark X s X if X1 active X2 X3 if X1 X2 X3 cons active X1 X2 cons X1 X2 active and false Y mark false active and false Y mark false false active add s X Y s add X Y false active add s X Y add X Y false mark if X1 X2 X3 if mark X1 X2 X3 false if X1 X2 active X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 true cons 2 0 s 1 1 and 2 1 30344 false 0 1 true 0 1 mark 1 1 if 3 1 3 20585 0 0 0 from 1 1 61131 s 1 0 first 2 0 nil 0 2737 mark 1 1 30347 first 2 1 from 1 0 active 1 1 1 cons 2 2 6879 if 3 1 0 active 1 0 add 2 0 add 2 1 3308 and 2 0 if X1 X2 mark X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 true cons 2 0 s 1 1 and 2 1 19265 false 0 1 true 0 1 mark 1 1 if 3 1 3 28019 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 18826 mark 1 1 30347 first 2 1 from 1 0 active 1 1 2326 cons 2 2 1 if 3 2 3 0 active 1 0 add 2 0 add 2 1 22115 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark true active true false mark false active false false active from X cons X from s X false active from X from s X false from mark X from X from active X from X true cons 2 0 s 1 1 and 2 1 2748 false 0 4744 true 0 1 mark 1 1 if 3 1 3 5596 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 31203 mark 1 1 30347 first 2 1 from 1 1 0 active 1 1 2326 cons 2 2 1 if 3 0 active 1 0 add 2 0 add 2 1 1 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 active first 0 X mark nil false mark add X1 X2 add mark X1 X2 false mark and X1 X2 and mark X1 X2 false and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 true cons 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 36319 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 36554 mark 1 1 36322 first 2 1 from 1 0 active 1 1 1 cons 2 2 32968 if 3 0 active 1 0 add 2 0 add 2 1 1 and 2 1 0 and X1 mark X2 and X1 X2 and X1 active X2 and X1 X2 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 and X1 active X2 and X1 X2 true cons 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 1 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 47804 mark 1 1 4 first 2 15620 from 1 0 active 1 1 1 cons 2 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 and 2 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark first X1 X2 first mark X1 mark X2 false active first s X cons Y Z cons Y first X Z false active first s X cons Y Z first X Z false first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 first active X1 X2 first X1 X2 true cons 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 1 0 0 0 from 1 1 1 s 1 0 first 2 1 2 0 nil 0 26170 mark 1 1 4 first 2 1 from 1 0 active 1 1 1 cons 2 2 1 if 3 0 active 1 0 add 2 0 add 2 1 2 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark 0 active 0 false mark nil active nil false add X1 mark X2 add X1 X2 add mark X1 X2 add X1 X2 add active X1 X2 add X1 X2 add X1 active X2 add X1 X2 true cons 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 1 0 0 0 from 1 1 55691 s 1 0 first 2 0 nil 0 32570 mark 1 1 4 first 2 11668 from 1 0 active 1 1 1 cons 2 2 1 if 3 0 active 1 0 add 2 1 2 0 add 2 1 1 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 1 0 0 0 from 1 1 1 s 1 0 first 2 0 nil 0 60104 mark 1 1 4 first 2 1 from 1 0 active 1 1 1 cons 2 2 1 if 3 0 active 1 0 add 2 0 add 2 1 1 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 active from X s X false s active X s X s mark X s X true cons 2 0 s 1 1 and 2 1 1 false 0 1 true 0 1 mark 1 1 if 3 1 3 1 0 0 0 from 1 1 1 s 1 1 0 first 2 0 nil 0 33651 mark 1 1 4 first 2 11495 from 1 0 active 1 1 1 cons 2 2 1 if 3 0 active 1 0 add 2 0 add 2 1 1 and 2 0 cons X1 active X2 cons X1 X2 first active X1 X2 first X1 X2 first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first mark X1 X2 first X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 NaTT certifiable-1.6