active terms N mark cons recip sqr N terms s N active sqr 0 mark 0 active sqr s X mark s add sqr X dbl X active dbl 0 mark 0 active dbl s X mark s s dbl X 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 mark terms X active terms mark X mark cons X1 X2 active cons mark X1 X2 mark recip X active recip mark X mark sqr X active sqr mark X mark s X active s X mark 0 active 0 mark add X1 X2 active add mark X1 mark X2 mark dbl X active dbl mark X mark first X1 X2 active first mark X1 mark X2 mark nil active nil terms mark X terms X terms active X terms X 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 recip mark X recip X recip active X recip X sqr mark X sqr X sqr active X sqr X s mark X s X s active X s X 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 dbl mark X dbl X dbl active X dbl 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 2.2 sqr active X sqr X recip active X recip X active add s X Y s add X Y add X1 mark X2 add X1 X2 active terms N s N mark dbl X mark X add active X1 X2 add X1 X2 cons mark X1 X2 cons X1 X2 active dbl s X s s dbl X mark first X1 X2 mark X2 add mark X1 X2 add X1 X2 mark add X1 X2 add mark X1 mark X2 mark first X1 X2 first mark X1 mark X2 mark nil active nil active sqr s X add sqr X dbl X active terms N mark cons recip sqr N terms s N active dbl s X s dbl X first mark X1 X2 first X1 X2 active sqr s X sqr X mark add X1 X2 mark X2 active first 0 X mark nil sqr mark X sqr X terms active X terms X active first s X cons Y Z cons Y first X Z mark sqr X active sqr mark X mark sqr X mark X active sqr s X s add sqr X dbl X mark s X active s X mark first X1 X2 active first mark X1 mark X2 s active X s X mark dbl X dbl mark X active dbl 0 mark 0 active first s X cons Y Z mark cons Y first X Z first X1 mark X2 first X1 X2 active sqr s X mark s add sqr X dbl X active first s X cons Y Z first X Z active terms N cons recip sqr N terms s N active add s X Y add X Y mark add X1 X2 active add mark X1 mark X2 recip mark X recip X s mark X s X mark recip X active recip mark X active add 0 X mark X active dbl s X dbl X mark sqr X sqr mark X active terms N sqr N mark terms X terms mark X mark first X1 X2 mark X1 dbl active X dbl X mark dbl X active dbl mark X active terms N terms s N active add s X Y mark s add X Y mark recip X mark X mark terms X mark X terms mark X terms X active sqr s X dbl X mark cons X1 X2 mark X1 mark terms X active terms mark X cons X1 mark X2 cons X1 X2 active terms N recip sqr N cons X1 active X2 cons X1 X2 mark 0 active 0 active dbl s X mark s s dbl X mark recip X recip mark X mark cons X1 X2 cons mark X1 X2 add X1 active X2 add X1 X2 active sqr 0 mark 0 mark add X1 X2 mark X1 first active X1 X2 first X1 X2 mark cons X1 X2 active cons mark X1 X2 first X1 active X2 first X1 X2 dbl mark X dbl X cons active X1 X2 cons X1 X2 true mark add X1 X2 active add mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 active sqr s X mark s add sqr X dbl X active first s X cons Y Z mark cons Y first X Z mark add X1 X2 mark X1 mark first X1 X2 active first mark X1 mark X2 mark s X active s X active dbl s X mark s s dbl X mark sqr X mark X mark sqr X active sqr mark X mark terms X active terms mark X mark cons X1 X2 mark X1 mark add X1 X2 mark X2 active terms N mark cons recip sqr N terms s N mark terms X mark X mark recip X mark X active add s X Y mark s add X Y mark first X1 X2 mark X2 mark dbl X active dbl mark X mark first X1 X2 mark X1 mark dbl X mark X active add 0 X mark X mark recip X active recip mark X true cons 2 0 s 1 1431 recip 1 1 1324 recip 1 0 dbl 1 1 3102 dbl 1 0 terms 1 0 sqr 1 0 mark 1 1 3101 0 0 31328 s 1 0 first 2 0 nil 0 18588 mark 1 1 0 first 2 1 2 9726 active 1 1 0 cons 2 1 1 active 1 1 0 add 2 0 add 2 1 2 3102 sqr 1 1 3102 terms 1 1 7529 mark first X1 X2 active first mark X1 mark X2 active dbl 0 mark 0 mark 0 active 0 active first 0 X mark nil active terms N mark cons recip sqr N terms s N active sqr s X mark s add sqr X dbl X mark add X1 X2 active add mark X1 mark X2 terms active X terms X dbl mark X dbl X recip mark X recip X mark nil active nil add mark X1 X2 add X1 X2 mark dbl X active dbl mark X recip active X recip X add active X1 X2 add X1 X2 cons mark X1 X2 cons X1 X2 sqr mark X sqr X active dbl s X mark s s dbl X add X1 mark X2 add X1 X2 mark terms X active terms mark X first X1 mark X2 first X1 X2 active add s X Y mark s add X Y terms mark X terms X cons X1 active X2 cons X1 X2 s mark X s X mark s X active s X s active X s X mark recip X active recip mark X cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active first s X cons Y Z mark cons Y first X Z mark sqr X active sqr mark X first active X1 X2 first X1 X2 active add 0 X mark X first mark X1 X2 first X1 X2 dbl active X dbl X first X1 active X2 first X1 X2 add X1 active X2 add X1 X2 sqr active X sqr X active sqr 0 mark 0 mark sqr X sqr mark X false active sqr 0 mark 0 false mark cons X1 X2 cons mark X1 X2 false mark recip X recip mark X 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 mark terms X terms mark X false active add s X Y s add X Y false active add s X Y add X Y false mark dbl X dbl mark X false active dbl s X s s dbl X false active dbl s X s dbl X false active dbl s X dbl X false mark add X1 X2 add mark X1 mark X2 false active sqr s X s add sqr X dbl X false active sqr s X add sqr X dbl X false add X1 active X2 add X1 X2 add mark X1 X2 add X1 X2 add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 true cons 2 0 s 1 0 recip 1 41734 recip 1 0 dbl 1 11650 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 31328 s 1 0 first 2 0 nil 0 38741 mark 1 1 19860 first 2 2 1 active 1 1 1 cons 2 1 2 1 active 1 0 add 2 1 0 add 2 4531 sqr 1 1 19858 terms 1 1 add X1 mark X2 add X1 X2 add X1 active X2 add X1 X2 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 add X1 mark X2 add X1 X2 add X1 active X2 add X1 X2 true cons 2 0 s 1 0 recip 1 32742 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 1 s 1 0 first 2 0 nil 0 22755 mark 1 1 47716 first 2 2 1 active 1 1 19858 cons 2 1 2 1 active 1 0 add 2 2 0 add 2 5599 sqr 1 1 1 terms 1 1 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active sqr s X sqr X false active sqr s X dbl X false dbl mark X dbl X dbl active X dbl X true cons 2 0 s 1 0 recip 1 1 recip 1 0 dbl 1 3024 dbl 1 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 1 s 1 0 first 2 0 nil 0 29111 mark 1 1 30876 first 2 2 11820 active 1 1 19858 cons 2 1 2 16842 active 1 0 add 2 0 add 2 6904 sqr 1 1 11017 terms 1 13488 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 mark first X1 X2 first mark X1 mark X2 false first X1 active X2 first X1 X2 first X1 mark X2 first X1 X2 first active X1 X2 first X1 X2 first mark X1 X2 first X1 X2 true cons 2 0 s 1 0 recip 1 54886 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 1 s 1 0 first 2 1 2 0 nil 0 31233 mark 1 1 25730 first 2 2 12237 active 1 1 1 cons 2 1 2 28450 active 1 0 add 2 0 add 2 1 sqr 1 1 1 terms 1 13488 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active terms N cons recip sqr N terms s N false 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 true cons 2 2 0 s 1 0 recip 1 54886 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 1 s 1 0 first 2 0 nil 0 1 mark 1 1 3 first 2 2 1 active 1 1 1 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 sqr 1 1 1 terms 1 1 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true cons 2 1 0 s 1 0 recip 1 27791 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 1 s 1 0 first 2 0 nil 0 42224 mark 1 1 3827 first 2 2 1 active 1 1 3825 cons 2 1 2 32963 active 1 0 add 2 0 add 2 1 sqr 1 1 1 terms 1 40828 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active terms N recip sqr N false recip mark X recip X recip active X recip X true cons 2 0 s 1 0 recip 1 1 recip 1 1 0 dbl 1 285 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 15081 s 1 0 first 2 0 nil 0 27639 mark 1 1 29656 first 2 2 28652 active 1 1 1 cons 2 1 2 38368 active 1 0 add 2 0 add 2 718 sqr 1 1 29654 terms 1 28254 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active terms N sqr N false sqr mark X sqr X sqr active X sqr X true cons 2 0 s 1 0 recip 1 1 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 1 0 mark 1 3101 0 0 23166 s 1 0 first 2 0 nil 0 17889 mark 1 1 3 first 2 2 2022 active 1 1 1 cons 2 1 2 38545 active 1 0 add 2 0 add 2 1 sqr 1 1 1 terms 1 20631 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active terms N terms s N false terms active X terms X terms mark X terms X true cons 2 0 s 1 0 recip 1 24552 recip 1 0 dbl 1 1 dbl 1 0 terms 1 1 0 sqr 1 0 mark 1 3101 0 0 28447 s 1 0 first 2 0 nil 0 30744 mark 1 1 3 first 2 2 1 active 1 1 1 cons 2 1 2 35640 active 1 0 add 2 0 add 2 1 sqr 1 1 1 terms 1 62216 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active terms N s N false s mark X s X s active X s X true cons 2 0 s 1 0 recip 1 26373 recip 1 0 dbl 1 1 dbl 1 0 terms 1 0 sqr 1 0 mark 1 3101 0 0 28447 s 1 1 0 first 2 0 nil 0 32647 mark 1 1 15878 first 2 2 1 active 1 1 1 cons 2 1 2 52421 active 1 0 add 2 0 add 2 3580 sqr 1 1 15876 terms 1 40618 dbl mark X dbl X recip mark X recip X add mark X1 X2 add X1 X2 recip active X recip X add active X1 X2 add X1 X2 add X1 mark X2 add X1 X2 dbl active X dbl X add X1 active X2 add X1 X2 active first 0 X mark nil false mark nil active nil false active dbl 0 mark 0 false mark 0 active 0 false NaTT certifiable-1.6