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 active half 0 mark 0 active half s 0 mark 0 active half s s X mark s half X active half dbl X mark X 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 mark 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 mark half X active half mark X 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 half mark X half X half active X half X 2.2 first mark X1 X2 first X1 X2 mark s X mark X active dbl s X mark s s dbl X mark terms X terms mark X mark add X1 X2 mark X1 active dbl 0 mark 0 mark recip X recip mark X active dbl s X dbl X sqr mark X sqr X active half 0 mark 0 active add s X Y mark s add X Y active terms N mark cons recip sqr N terms s N first X1 mark X2 first X1 X2 sqr active X sqr X active sqr s X sqr X cons X1 mark X2 cons X1 X2 active terms N recip sqr N active terms N cons recip sqr N terms s N recip active X recip X s active X s X active add s X Y s add X Y dbl active X dbl X mark 0 active 0 mark sqr X active sqr mark X mark recip X mark X add active X1 X2 add X1 X2 mark first X1 X2 mark X1 add X1 active X2 add X1 X2 half mark X half X add X1 mark X2 add X1 X2 mark sqr X mark X active terms N sqr N active half s s X mark s half X active sqr s X add sqr X dbl X first active X1 X2 first X1 X2 mark cons X1 X2 cons mark X1 X2 active terms N s N active dbl s X s dbl X active sqr s X s add sqr X dbl X active add 0 X mark X cons X1 active X2 cons X1 X2 active first 0 X mark nil mark sqr X sqr mark X mark cons X1 X2 mark X1 active half dbl X mark X mark dbl X active dbl mark X mark terms X mark X mark first X1 X2 mark X2 mark first X1 X2 active first mark X1 mark X2 active half s s X s half X mark half X half mark X dbl mark X dbl X active add s X Y add X Y half active X half X mark dbl X mark X mark add X1 X2 active add mark X1 mark X2 active sqr s X dbl X first X1 active X2 first X1 X2 active dbl s X s s dbl X mark recip X active recip mark X mark terms X active terms mark X mark nil active nil mark add X1 X2 add mark X1 mark X2 mark s X active s mark X recip mark X recip X terms active X terms X active first s X cons Y Z first X Z terms mark X terms X mark half X active half mark X mark dbl X dbl mark X active half s s X half X mark s X s mark X active sqr s X mark s add sqr X dbl X mark add X1 X2 mark X2 mark half X mark X active first s X cons Y Z cons Y first X Z cons active X1 X2 cons X1 X2 active terms N terms s N active sqr 0 mark 0 cons mark X1 X2 cons X1 X2 add mark X1 X2 add X1 X2 active first s X cons Y Z mark cons Y first X Z s mark X s X mark cons X1 X2 active cons mark X1 X2 mark first X1 X2 first mark X1 mark X2 active half s 0 mark 0 true mark cons X1 X2 active cons mark X1 X2 mark first X1 X2 mark X2 mark first X1 X2 active first mark X1 mark X2 mark dbl X active dbl mark X mark terms X mark X active half dbl X mark X mark cons X1 X2 mark X1 active first s X cons Y Z mark cons Y first X Z active add 0 X mark X active half s s X mark s half X mark half X mark X mark add X1 X2 mark X2 mark sqr X mark X active sqr s X mark s add sqr X dbl X mark first X1 X2 mark X1 mark half X active half mark X mark recip X mark X mark sqr X active sqr mark X mark s X active s mark X mark terms X active terms mark X mark recip X active recip mark X active terms N mark cons recip sqr N terms s N active add s X Y mark s add X Y mark dbl X mark X mark add X1 X2 active add mark X1 mark X2 mark add X1 X2 mark X1 mark s X mark X active dbl s X mark s s dbl X true cons 2 0 s 1 1 recip 1 9711 recip 1 0 dbl 1 10452 dbl 1 0 terms 1 0 half 1 0 half 1 10452 sqr 1 0 mark 1 10452 0 0 1 s 1 0 first 2 0 nil 0 1 mark 1 1 first 2 10452 active 1 1 cons 2 10451 active 1 1 0 add 2 0 add 2 10452 sqr 1 10452 terms 1 10452 active dbl s X mark s s dbl X mark s X mark X mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 mark dbl X mark X active add s X Y mark s add X Y active terms N mark cons recip sqr N terms s N mark terms X active terms mark X mark sqr X active sqr mark X mark recip X mark X mark half X active half mark X mark first X1 X2 mark X1 active sqr s X mark s add sqr X dbl X mark sqr X mark X mark add X1 X2 mark X2 mark half X mark X active half s s X mark s half X active add 0 X mark X active first s X cons Y Z mark cons Y first X Z mark cons X1 X2 mark X1 active half dbl X mark X mark terms X mark X mark dbl X active dbl mark X mark first X1 X2 active first mark X1 mark X2 mark first X1 X2 mark X2 mark s X active s mark X active dbl 0 mark 0 mark cons X1 X2 active cons mark X1 X2 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 recip X active recip mark X mark dbl X active dbl mark X s active X s X terms active X terms X mark 0 active 0 recip active X recip X mark sqr X active sqr mark X cons mark X1 X2 cons X1 X2 sqr active X sqr X mark first X1 X2 active first mark X1 mark X2 cons X1 mark X2 cons X1 X2 first X1 mark X2 first X1 X2 active dbl s X mark s s dbl X sqr mark X sqr X active half 0 mark 0 add active X1 X2 add X1 X2 active add s X Y mark s add X Y mark add X1 X2 active add mark X1 mark X2 terms mark X terms X cons X1 active X2 cons X1 X2 mark terms X active terms mark X recip mark X recip X active half s s X mark s half X first active X1 X2 first X1 X2 mark nil active nil mark half X active half mark X active half s 0 mark 0 active first s X cons Y Z mark cons Y first X Z active half dbl X mark X add X1 active X2 add X1 X2 active add 0 X mark X add X1 mark X2 add X1 X2 half active X half X half mark X half X add mark X1 X2 add X1 X2 dbl mark X dbl X dbl active X dbl X first X1 active X2 first X1 X2 s mark X s X cons active X1 X2 cons X1 X2 first mark X1 X2 first X1 X2 active sqr 0 mark 0 mark s X mark X mark cons X1 X2 mark X1 active terms N mark cons recip sqr N terms s N active sqr s X mark s add sqr X dbl X mark recip X mark X mark dbl X mark X mark dbl X active dbl mark X mark sqr X mark X mark sqr X active sqr mark X mark first X1 X2 mark X2 mark first X1 X2 mark X1 mark first X1 X2 active first mark X1 mark X2 active dbl s X mark s s dbl X active add s X Y mark s add X Y mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 mark terms X mark X mark terms X active terms mark X active half s s X mark s half X mark half X mark X mark half X active half mark X active first s X cons Y Z mark cons Y first X Z active half dbl X mark X active add 0 X mark X true cons 2 0 s 1 1 0 recip 1 1 28101 recip 1 0 dbl 1 1 11798 dbl 1 0 terms 1 0 half 1 0 half 1 1 8366 sqr 1 0 mark 1 1 0 0 0 33428 s 1 0 first 2 0 nil 0 30614 mark 1 1 0 first 2 1 41064 2 30613 0 active 1 1 0 cons 2 1 41065 0 active 1 1 0 add 2 0 add 2 1 0 2 5854 0 sqr 1 1 17653 terms 1 1 86820 mark half X active half mark X active half s s X mark s half X mark terms X active terms mark X mark add X1 X2 active add mark X1 mark X2 mark add X1 X2 mark X1 active add s X Y mark s add X Y active dbl s X mark s s dbl X mark first X1 X2 active first mark X1 mark X2 mark sqr X active sqr mark X mark dbl X active dbl mark X active sqr s X mark s add sqr X dbl X mark s X mark X mark s X active s mark X active dbl 0 mark 0 mark cons X1 X2 active cons mark X1 X2 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 recip X active recip mark X mark dbl X active dbl mark X s active X s X terms active X terms X mark 0 active 0 recip active X recip X mark sqr X active sqr mark X cons mark X1 X2 cons X1 X2 sqr active X sqr X mark first X1 X2 active first mark X1 mark X2 cons X1 mark X2 cons X1 X2 first X1 mark X2 first X1 X2 active dbl s X mark s s dbl X sqr mark X sqr X active half 0 mark 0 add active X1 X2 add X1 X2 active add s X Y mark s add X Y mark add X1 X2 active add mark X1 mark X2 terms mark X terms X cons X1 active X2 cons X1 X2 mark terms X active terms mark X recip mark X recip X active half s s X mark s half X first active X1 X2 first X1 X2 mark nil active nil mark half X active half mark X active half s 0 mark 0 active first s X cons Y Z mark cons Y first X Z active half dbl X mark X add X1 active X2 add X1 X2 active add 0 X mark X add X1 mark X2 add X1 X2 half active X half X half mark X half X add mark X1 X2 add X1 X2 dbl mark X dbl X dbl active X dbl X first X1 active X2 first X1 X2 s mark X s X cons active X1 X2 cons X1 X2 first mark X1 X2 first X1 X2 active sqr 0 mark 0 mark s X mark X active sqr s X mark s add sqr X dbl X mark dbl X active dbl mark X mark sqr X active sqr mark X mark first X1 X2 active first mark X1 mark X2 active dbl s X mark s s dbl X active add s X Y mark s add X Y mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 mark terms X active terms mark X active half s s X mark s half X mark half X active half mark X true cons 2 0 s 1 1 recip 1 9711 recip 1 0 dbl 1 31599 dbl 1 0 terms 1 0 half 1 0 half 1 31599 sqr 1 0 mark 1 31599 0 0 1 s 1 0 first 2 0 nil 0 1 mark 1 1 first 2 31598 active 1 0 cons 2 10451 active 1 1 0 add 2 0 add 2 31599 sqr 1 31599 terms 1 20585 mark half X active half mark X active half s s X mark s half X mark add X1 X2 active add mark X1 mark X2 mark add X1 X2 mark X1 active add s X Y mark s add X Y active dbl s X mark s s dbl X mark sqr X active sqr mark X mark dbl X active dbl mark X active sqr s X mark s add sqr X dbl X mark s X mark X s active X s X terms active X terms X recip active X recip X cons mark X1 X2 cons X1 X2 sqr active X sqr X cons X1 mark X2 cons X1 X2 first X1 mark X2 first X1 X2 sqr mark X sqr X add active X1 X2 add X1 X2 terms mark X terms X cons X1 active X2 cons X1 X2 recip mark X recip X first active X1 X2 first X1 X2 add X1 active X2 add X1 X2 add X1 mark X2 add X1 X2 half active X half X half mark X half X add mark X1 X2 add X1 X2 dbl mark X dbl X dbl active X dbl X first X1 active X2 first X1 X2 s mark X s X cons active X1 X2 cons X1 X2 first mark X1 X2 first X1 X2 mark s X mark X active sqr s X mark s add sqr X dbl X mark dbl X active dbl mark X mark sqr X active sqr mark X active dbl s X mark s s dbl X active add s X Y mark s add X Y mark add X1 X2 mark X1 mark add X1 X2 active add mark X1 mark X2 active half s s X mark s half X mark half X active half mark X true cons 2 1 recip 1 1 half 1 1 mark 1 1 mark 1 1 active 1 1 active 1 1 s 1 0 1 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 sqr 1 0 0 0 0 s 1 0 first 2 0 1 2 nil 0 3 first 2 3 2 1 cons 2 3 add 2 0 add 2 3 1 2 sqr 1 4 1 terms 1 5 1 s 1 1 0 recip 1 0 dbl 1 1 0 dbl 1 0 terms 1 0 half 1 0 sqr 1 0 0 0 0 s 1 0 first 2 1 0 2 0 0 nil 0 0 first 2 1 0 2 0 0 cons 2 0 add 2 0 add 2 1 0 2 0 0 sqr 1 1 0 terms 1 1 0 mark half X active half mark X mark add X1 X2 active add mark X1 mark X2 mark sqr X active sqr mark X mark dbl X active dbl mark X mark s X active s mark X active dbl 0 mark 0 mark cons X1 X2 active cons mark X1 X2 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 recip X active recip mark X mark dbl X active dbl mark X s active X s X terms active X terms X mark 0 active 0 recip active X recip X mark sqr X active sqr mark X cons mark X1 X2 cons X1 X2 sqr active X sqr X mark first X1 X2 active first mark X1 mark X2 cons X1 mark X2 cons X1 X2 first X1 mark X2 first X1 X2 active dbl s X mark s s dbl X sqr mark X sqr X active half 0 mark 0 add active X1 X2 add X1 X2 active add s X Y mark s add X Y mark add X1 X2 active add mark X1 mark X2 terms mark X terms X cons X1 active X2 cons X1 X2 mark terms X active terms mark X recip mark X recip X active half s s X mark s half X first active X1 X2 first X1 X2 mark nil active nil mark half X active half mark X active half s 0 mark 0 active first s X cons Y Z mark cons Y first X Z active half dbl X mark X add X1 active X2 add X1 X2 active add 0 X mark X add X1 mark X2 add X1 X2 half active X half X half mark X half X add mark X1 X2 add X1 X2 dbl mark X dbl X dbl active X dbl X first X1 active X2 first X1 X2 s mark X s X cons active X1 X2 cons X1 X2 first mark X1 X2 first X1 X2 active sqr 0 mark 0 mark dbl X active dbl mark X false mark sqr X active sqr mark X false mark add X1 X2 active add mark X1 mark X2 false mark half X active half mark X false active sqr 0 mark 0 false mark terms X terms mark X false mark add X1 X2 add mark X1 mark X2 false 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 active half s 0 mark 0 false mark sqr X sqr mark X false active half s s X s half X false active half s s X half X false mark dbl X dbl mark X false active add s X Y s add X Y false active add s X Y add X Y false active half 0 mark 0 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 recip X recip mark X false active sqr s X s add sqr X dbl X false active sqr s X add sqr X dbl X false add mark X1 X2 add X1 X2 add X1 mark X2 add X1 X2 add X1 active X2 add X1 X2 add active X1 X2 add X1 X2 true cons 2 0 s 1 1 recip 1 1 7210 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 1 mark 1 1 4 first 2 1 1 active 1 1 1 cons 2 28938 active 1 0 add 2 2 0 add 2 0 sqr 1 1 terms 1 1 0 add active X1 X2 add X1 X2 add mark X1 X2 add X1 X2 s active X s X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 s mark X s X cons active X1 X2 cons X1 X2 add active X1 X2 add X1 X2 add mark X1 X2 add X1 X2 true cons 2 0 s 1 1 recip 1 1 43950 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 49364 mark 1 1 4 first 2 1 24324 active 1 1 1 cons 2 2 28938 active 1 0 add 2 1 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X active sqr s X sqr X false active sqr s X dbl X false dbl active X dbl X dbl mark X dbl X true cons 2 0 s 1 1 recip 1 1 43950 recip 1 0 dbl 1 1 1 dbl 1 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 46797 mark 1 1 4 first 2 1 14459 active 1 1 1 cons 2 2 40578 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X mark cons X1 X2 cons mark X1 X2 false active terms N cons recip sqr N terms s N false cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 1 2 0 s 1 1 recip 1 1 32576 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 38541 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 14457 mark 1 1 38544 first 2 1 1 active 1 1 1 cons 2 2 27846 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X active terms N recip sqr N false recip mark X recip X recip active X recip X true cons 2 0 s 1 1 recip 1 1 20067 recip 1 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 36495 mark 1 1 4 first 2 1 1 active 1 1 1 cons 2 2 1 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X active terms N sqr N false sqr active X sqr X sqr mark X sqr X true cons 2 0 s 1 1 recip 1 1 9884 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 19560 sqr 1 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 36495 mark 1 1 19563 first 2 1 1 active 1 1 1 cons 2 2 27644 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X active terms N terms s N false terms mark X terms X terms active X terms X true cons 2 0 s 1 1 recip 1 1 31413 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 1 0 half 1 0 half 1 1 32647 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 47313 mark 1 1 32650 first 2 1 1 active 1 1 1 cons 2 2 27644 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X active terms N s N false active first 0 X mark nil false mark nil active nil false active dbl 0 mark 0 false mark 0 active 0 false mark s X s mark X false s mark X s X s active X s X true cons 2 0 s 1 1 recip 1 1 28038 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 1 0 first 2 0 nil 0 50917 mark 1 1 4 first 2 1 1 active 1 1 1 cons 2 2 1 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X first active X1 X2 first X1 X2 first X1 mark X2 first X1 X2 first X1 active X2 first X1 X2 first mark X1 X2 first X1 X2 true cons 2 0 s 1 1 recip 1 1 21270 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 1 2 0 nil 0 50917 mark 1 1 4 first 2 1 1 active 1 1 1 cons 2 2 1 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X mark half X half mark X false half mark X half X half active X half X true cons 2 0 s 1 1 recip 1 1 19510 recip 1 0 dbl 1 1 1 dbl 1 0 terms 1 0 half 1 1 0 half 1 1 1 sqr 1 0 mark 1 0 0 0 0 s 1 0 first 2 0 nil 0 45181 mark 1 1 4 first 2 1 1 active 1 1 1 cons 2 2 24054 active 1 0 add 2 0 add 2 0 sqr 1 1 terms 1 1 0 s active X s X s mark X s X NaTT certifiable-1.6