active from X mark cons X from s X active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS active minus X 0 mark 0 active minus s X s Y mark minus X Y active quot 0 s Y mark 0 active quot s X s Y mark s quot minus X Y s Y active zWquot XS nil mark nil active zWquot nil XS mark nil active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark sel X1 X2 active sel mark X1 mark X2 mark 0 active 0 mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 active quot mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 mark nil active nil from mark X from X from active X from 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 s mark X s X s active X s X sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 minus mark X1 X2 minus X1 X2 minus X1 mark X2 minus X1 X2 minus active X1 X2 minus X1 X2 minus X1 active X2 minus X1 X2 quot mark X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 quot active X1 X2 quot X1 X2 quot X1 active X2 quot X1 X2 zWquot mark X1 X2 zWquot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 zWquot X1 active X2 zWquot X1 X2 2.2 zWquot X1 active X2 zWquot X1 X2 sel mark X1 X2 sel X1 X2 cons X1 active X2 cons X1 X2 quot X1 active X2 quot X1 X2 active zWquot XS nil mark nil s active X s X active minus s X s Y minus X Y active minus s X s Y mark minus X Y active zWquot cons X XS cons Y YS cons quot X Y zWquot XS YS mark quot X1 X2 active quot mark X1 mark X2 s mark X s X mark zWquot X1 X2 mark X1 mark quot X1 X2 quot mark X1 mark X2 mark minus X1 X2 mark X1 active sel s N cons X XS sel N XS active zWquot cons X XS cons Y YS quot X Y zWquot X1 mark X2 zWquot X1 X2 mark minus X1 X2 mark X2 from active X from X mark 0 active 0 minus X1 mark X2 minus X1 X2 minus mark X1 X2 minus X1 X2 mark s X mark X active quot 0 s Y mark 0 mark s X active s mark X mark minus X1 X2 minus mark X1 mark X2 mark sel X1 X2 active sel mark X1 mark X2 mark zWquot X1 X2 zWquot mark X1 mark X2 sel X1 active X2 sel X1 X2 minus active X1 X2 minus X1 X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 mark s X s mark X active quot s X s Y mark s quot minus X Y s Y mark minus X1 X2 active minus mark X1 mark X2 active zWquot nil XS mark nil active from X mark cons X from s X from mark X from X mark nil active nil mark quot X1 X2 mark X1 mark sel X1 X2 sel mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 quot X1 mark X2 quot X1 X2 active zWquot cons X XS cons Y YS zWquot XS YS zWquot mark X1 X2 zWquot X1 X2 active from X from s X active quot s X s Y quot minus X Y s Y mark zWquot X1 X2 mark X2 zWquot active X1 X2 zWquot X1 X2 cons mark X1 X2 cons X1 X2 active from X s X sel active X1 X2 sel X1 X2 mark cons X1 X2 mark X1 active quot s X s Y minus X Y mark sel X1 X2 mark X2 active sel s N cons X XS mark sel N XS mark from X mark X active quot s X s Y s quot minus X Y s Y cons X1 mark X2 cons X1 X2 active from X cons X from s X mark sel X1 X2 mark X1 active minus X 0 mark 0 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS mark cons X1 X2 cons mark X1 X2 mark from X from mark X sel X1 mark X2 sel X1 X2 active sel 0 cons X XS mark X quot mark X1 X2 quot X1 X2 quot active X1 X2 quot X1 X2 mark from X active from mark X minus X1 active X2 minus X1 X2 mark quot X1 X2 mark X2 cons active X1 X2 cons X1 X2 true mark quot X1 X2 mark X2 mark quot X1 X2 mark X1 active from X mark cons X from s X mark from X active from mark X mark minus X1 X2 active minus mark X1 mark X2 active quot s X s Y mark s quot minus X Y s Y mark zWquot X1 X2 active zWquot mark X1 mark X2 active sel 0 cons X XS mark X mark sel X1 X2 active sel mark X1 mark X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS mark sel X1 X2 mark X1 mark s X active s mark X mark s X mark X mark from X mark X active sel s N cons X XS mark sel N XS mark minus X1 X2 mark X2 mark sel X1 X2 mark X2 mark minus X1 X2 mark X1 mark zWquot X1 X2 mark X1 mark cons X1 X2 mark X1 mark quot X1 X2 active quot mark X1 mark X2 mark zWquot X1 X2 mark X2 active minus s X s Y mark minus X Y mark cons X1 X2 active cons mark X1 X2 true cons 2 0 s 1 24867 zWquot 2 0 minus 2 24868 zWquot 2 24868 mark 1 24868 0 0 1 quot 2 24868 sel 2 0 from 1 24868 sel 2 24868 s 1 0 nil 0 1 mark 1 1 minus 2 0 from 1 0 active 1 2 cons 2 1 active 1 1 0 quot 2 0 active minus s X s Y mark minus X Y mark zWquot X1 X2 mark X2 mark quot X1 X2 active quot mark X1 mark X2 mark cons X1 X2 mark X1 mark zWquot X1 X2 mark X1 mark minus X1 X2 mark X1 mark sel X1 X2 mark X2 mark minus X1 X2 mark X2 active sel s N cons X XS mark sel N XS mark from X mark X mark s X mark X mark sel X1 X2 mark X1 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS mark sel X1 X2 active sel mark X1 mark X2 active sel 0 cons X XS mark X mark zWquot X1 X2 active zWquot mark X1 mark X2 active quot s X s Y mark s quot minus X Y s Y mark minus X1 X2 active minus mark X1 mark X2 mark from X active from mark X active from X mark cons X from s X mark quot X1 X2 mark X1 mark quot X1 X2 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X minus mark X1 X2 minus X1 X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 minus X1 mark X2 minus X1 X2 quot X1 active X2 quot X1 X2 from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 zWquot mark X1 X2 zWquot X1 X2 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 mark zWquot X1 X2 mark X2 mark zWquot X1 X2 mark X1 mark zWquot X1 X2 active zWquot mark X1 mark X2 active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 mark X2 mark minus X1 X2 mark X1 mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 mark X2 mark quot X1 X2 mark X1 mark quot X1 X2 active quot mark X1 mark X2 active minus s X s Y mark minus X Y active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS active quot s X s Y mark s quot minus X Y s Y mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 mark cons X1 X2 mark X1 mark from X mark X mark from X active from mark X mark s X mark X active sel 0 cons X XS mark X true cons 2 0 s 1 1 0 zWquot 2 0 minus 2 1 0 2 1 0 zWquot 2 1 25438 2 16580 0 mark 1 1 0 0 0 7723 quot 2 1 7720 2 7722 0 sel 2 0 from 1 1 30096 sel 2 1 2439 2 2438 0 s 1 0 nil 0 25439 mark 1 1 0 minus 2 0 from 1 0 active 1 1 0 cons 2 1 8857 2 0 0 active 1 1 0 quot 2 0 mark s X mark X mark from X active from mark X mark sel X1 X2 active sel mark X1 mark X2 active quot s X s Y mark s quot minus X Y s Y active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS active minus s X s Y mark minus X Y mark quot X1 X2 active quot mark X1 mark X2 mark minus X1 X2 active minus mark X1 mark X2 mark minus X1 X2 mark X1 active sel s N cons X XS mark sel N XS active from X mark cons X from s X mark zWquot X1 X2 active zWquot mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X mark zWquot X1 X2 active zWquot mark X1 mark X2 active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 mark X1 mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 active quot mark X1 mark X2 active minus s X s Y mark minus X Y active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS active quot s X s Y mark s quot minus X Y s Y mark sel X1 X2 active sel mark X1 mark X2 mark from X active from mark X mark s X mark X true cons 2 0 s 1 1 0 zWquot 2 0 minus 2 1 2 2 1 0 zWquot 2 0 mark 1 1 0 0 0 0 quot 2 0 sel 2 0 from 1 1 1 sel 2 1 1 2 23022 0 s 1 0 nil 0 0 mark 1 1 0 minus 2 0 from 1 0 active 1 1 0 cons 2 1 0 2 0 0 active 1 1 0 quot 2 0 mark s X mark X mark from X active from mark X mark sel X1 X2 active sel mark X1 mark X2 active quot s X s Y mark s quot minus X Y s Y active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS active minus s X s Y mark minus X Y mark quot X1 X2 active quot mark X1 mark X2 mark minus X1 X2 active minus mark X1 mark X2 active sel s N cons X XS mark sel N XS active from X mark cons X from s X mark zWquot X1 X2 active zWquot mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X mark zWquot X1 X2 active zWquot mark X1 mark X2 active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 active quot mark X1 mark X2 active minus s X s Y mark minus X Y active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS active quot s X s Y mark s quot minus X Y s Y mark sel X1 X2 active sel mark X1 mark X2 mark from X active from mark X mark s X mark X true cons 2 0 s 1 1 0 zWquot 2 0 minus 2 5970 zWquot 2 1 5971 mark 1 1 0 0 0 5972 quot 2 5970 sel 2 0 from 1 5971 sel 2 5970 s 1 0 nil 0 5973 mark 1 1 17525 minus 2 0 from 1 0 active 1 1 17526 cons 2 5969 active 1 5970 quot 2 0 mark s X mark X mark sel X1 X2 active sel mark X1 mark X2 active quot s X s Y mark s quot minus X Y s Y active minus s X s Y mark minus X Y mark quot X1 X2 active quot mark X1 mark X2 mark minus X1 X2 active minus mark X1 mark X2 active sel s N cons X XS mark sel N XS quot mark X1 X2 quot X1 X2 s mark X s X minus mark X1 X2 minus X1 X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 minus X1 mark X2 minus X1 X2 quot X1 active X2 quot X1 X2 cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 active quot mark X1 mark X2 active minus s X s Y mark minus X Y active quot s X s Y mark s quot minus X Y s Y mark sel X1 X2 active sel mark X1 mark X2 mark s X mark X true cons 2 1 mark 1 1 s 1 1 mark 1 1 active 1 1 active 1 1 s 1 3 1 zWquot 2 0 minus 2 2 zWquot 2 4 1 0 0 0 quot 2 4 1 sel 2 0 from 1 5 sel 2 3 nil 0 1 minus 2 0 2 1 from 1 0 cons 2 4 quot 2 0 s 1 1 0 zWquot 2 2 1 minus 2 0 zWquot 2 1 2 1 0 0 0 quot 2 1 7580 0 sel 2 1 2 1 from 1 1 38693 sel 2 2 19794 nil 0 0 minus 2 1 1 2 1 0 from 1 1 cons 2 1 7581 2 0 0 quot 2 1 1 0 mark sel X1 X2 active sel mark X1 mark X2 active minus s X s Y mark minus X Y mark quot X1 X2 active quot mark X1 mark X2 mark minus X1 X2 active minus mark X1 mark X2 active sel s N cons X XS mark sel N XS mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 mark quot X1 X2 active quot mark X1 mark X2 active minus s X s Y mark minus X Y mark sel X1 X2 active sel mark X1 mark X2 true cons 2 0 s 1 1 zWquot 2 0 minus 2 24703 zWquot 2 1 1 mark 1 1 0 0 0 1 quot 2 2 24704 sel 2 0 from 1 1 sel 2 24703 s 1 0 nil 0 1 mark 1 1 minus 2 0 from 1 0 active 1 2 cons 2 1 active 1 24703 quot 2 0 mark sel X1 X2 active sel mark X1 mark X2 active minus s X s Y mark minus X Y mark minus X1 X2 active minus mark X1 mark X2 active sel s N cons X XS mark sel N XS s mark X s X minus mark X1 X2 minus X1 X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 minus X1 mark X2 minus X1 X2 cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 active minus s X s Y mark minus X Y mark sel X1 X2 active sel mark X1 mark X2 true cons 2 1 s 1 1 mark 1 1 active 1 1 s 1 4 1 zWquot 2 0 minus 2 2 zWquot 2 5 mark 1 2 1 0 0 0 quot 2 6 1 sel 2 0 from 1 5 1 sel 2 3 1 nil 0 0 minus 2 0 2 1 from 1 0 cons 2 5 active 1 2 1 quot 2 0 s 1 1 0 zWquot 2 2 1 minus 2 0 zWquot 2 1 27849 mark 1 1 2 0 0 0 quot 2 1 14023 0 sel 2 1 2 1 from 1 1 1770 sel 2 1 2 9246 nil 0 27848 minus 2 1 1 2 1 0 from 1 1 cons 2 1 1 2 0 0 active 1 1 2 quot 2 1 1 0 mark sel X1 X2 active sel mark X1 mark X2 active minus s X s Y mark minus X Y mark minus X1 X2 active minus mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X mark minus X1 X2 active minus mark X1 mark X2 active minus s X s Y mark minus X Y mark sel X1 X2 active sel mark X1 mark X2 true cons 2 0 s 1 1 zWquot 2 0 minus 2 2 zWquot 2 1 mark 1 2 0 0 1 quot 2 1 sel 2 0 from 1 1 sel 2 1 s 1 0 nil 0 1 mark 1 1 minus 2 0 from 1 0 active 1 1 cons 2 1 active 1 1 0 quot 2 0 active minus s X s Y mark minus X Y mark minus X1 X2 active minus mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X mark minus X1 X2 active minus mark X1 mark X2 active minus s X s Y mark minus X Y true cons 2 1 s 1 1 mark 1 1 active 1 1 s 1 3 1 zWquot 2 0 minus 2 2 1 zWquot 2 5 mark 1 3 1 0 0 0 quot 2 6 1 sel 2 0 from 1 4 1 sel 2 4 nil 0 0 minus 2 0 2 1 from 1 0 cons 2 4 1 active 1 3 1 quot 2 0 s 1 1 0 zWquot 2 2 1 minus 2 1 0 0 zWquot 2 1 82834 mark 1 1 1 0 0 0 quot 2 1 56460 0 sel 2 1 2 1 from 1 1 42249 sel 2 2 46734 nil 0 0 minus 2 1 1 2 1 0 from 1 1 cons 2 1 26373 2 0 0 active 1 1 1 quot 2 1 1 0 mark minus X1 X2 active minus mark X1 mark X2 mark zWquot X1 X2 active zWquot mark X1 mark X2 active minus X 0 mark 0 mark 0 active 0 active zWquot XS nil mark nil active from X mark cons X from s X active sel s N cons X XS mark sel N XS mark minus X1 X2 active minus mark X1 mark X2 from active X from X quot mark X1 X2 quot X1 X2 s mark X s X mark nil active nil minus mark X1 X2 minus X1 X2 mark quot X1 X2 active quot mark X1 mark X2 s active X s X minus active X1 X2 minus X1 X2 cons mark X1 X2 cons X1 X2 sel mark X1 X2 sel X1 X2 active minus s X s Y mark minus X Y minus X1 mark X2 minus X1 X2 active zWquot cons X XS cons Y YS mark cons quot X Y zWquot XS YS quot X1 active X2 quot X1 X2 active quot s X s Y mark s quot minus X Y s Y from mark X from X cons X1 active X2 cons X1 X2 sel active X1 X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 mark from X active from mark X active zWquot nil XS mark nil mark s X active s mark X zWquot mark X1 X2 zWquot X1 X2 active quot 0 s Y mark 0 quot active X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 minus X1 active X2 minus X1 X2 sel X1 mark X2 sel X1 X2 zWquot X1 active X2 zWquot X1 X2 active sel 0 cons X XS mark X mark minus X1 X2 active minus mark X1 mark X2 false mark s X s mark X false active quot 0 s Y mark 0 false active zWquot nil XS mark nil false mark from X from mark X false mark cons X1 X2 cons mark X1 X2 false active quot s X s Y s quot minus X Y s Y false active quot s X s Y quot minus X Y s Y false active quot s X s Y minus X Y false mark sel X1 X2 sel mark X1 mark X2 false active zWquot cons X XS cons Y YS cons quot X Y zWquot XS YS false active zWquot cons X XS cons Y YS quot X Y false active zWquot cons X XS cons Y YS zWquot XS YS false mark quot X1 X2 quot mark X1 mark X2 false quot active X1 X2 quot X1 X2 quot mark X1 X2 quot X1 X2 quot X1 mark X2 quot X1 X2 quot X1 active X2 quot X1 X2 true cons 2 0 s 1 21069 zWquot 2 0 minus 2 1941 zWquot 2 1 21065 mark 1 1 0 0 21069 quot 2 21067 sel 2 0 from 1 30860 sel 2 1 56475 s 1 0 nil 0 21067 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 30862 active 1 0 quot 2 2 0 quot mark X1 X2 quot X1 X2 quot active X1 X2 quot X1 X2 quot mark X1 X2 quot X1 X2 quot active X1 X2 quot X1 X2 true cons 2 0 s 1 16961 zWquot 2 0 minus 2 765 zWquot 2 1 16957 mark 1 1 0 0 16961 quot 2 16959 sel 2 0 from 1 3137 sel 2 1 26087 s 1 0 nil 0 16959 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 3139 active 1 0 quot 2 1 0 active minus s X s Y minus X Y false mark minus X1 X2 minus mark X1 mark X2 false minus X1 active X2 minus X1 X2 minus active X1 X2 minus X1 X2 minus mark X1 X2 minus X1 X2 minus X1 mark X2 minus X1 X2 true cons 2 0 s 1 1664 zWquot 2 0 minus 2 2 30753 zWquot 2 1 1660 mark 1 1 0 0 26987 quot 2 1662 sel 2 0 from 1 1 sel 2 1 33102 s 1 0 nil 0 1662 mark 1 1 1 minus 2 2 0 from 1 0 active 1 1 2 cons 2 1 3 active 1 0 quot 2 0 minus mark X1 X2 minus X1 X2 minus active X1 X2 minus X1 X2 minus mark X1 X2 minus X1 X2 minus active X1 X2 minus X1 X2 true cons 2 0 s 1 15910 zWquot 2 0 minus 2 2 1 zWquot 2 1 1 mark 1 1 0 0 18403 quot 2 15908 sel 2 0 from 1 10127 sel 2 1 11248 s 1 0 nil 0 3 mark 1 1 1 minus 2 1 0 from 1 0 active 1 1 2 cons 2 1 10129 active 1 0 quot 2 0 active sel s N cons X XS sel N XS false sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 8677 zWquot 2 0 minus 2 2 29509 zWquot 2 1 8673 mark 1 1 0 0 18403 quot 2 8675 sel 2 1 0 from 1 11403 sel 2 1 16837 s 1 0 nil 0 8675 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 11405 active 1 0 quot 2 0 sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true cons 2 0 s 1 1330 zWquot 2 0 minus 2 2 23235 zWquot 2 1 1326 mark 1 1 0 0 1330 quot 2 1328 sel 2 2 0 from 1 875 sel 2 1 36320 s 1 0 nil 0 8675 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 11405 active 1 0 quot 2 0 mark zWquot X1 X2 zWquot mark X1 mark X2 false zWquot X1 mark X2 zWquot X1 X2 zWquot active X1 X2 zWquot X1 X2 zWquot mark X1 X2 zWquot X1 X2 zWquot X1 active X2 zWquot X1 X2 true cons 2 0 s 1 5 zWquot 2 1 2 0 minus 2 2 1 zWquot 2 1 1 mark 1 1 0 0 2492 quot 2 3 sel 2 0 from 1 12340 sel 2 1 18887 s 1 0 nil 0 15698 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 12342 active 1 0 quot 2 0 active from X cons X from s X false cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 true cons 2 1 0 s 1 5613 zWquot 2 0 minus 2 2 16393 zWquot 2 1 1 mark 1 1 0 0 8097 quot 2 3 sel 2 0 from 1 8517 sel 2 1 24853 s 1 0 nil 0 21294 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 8519 active 1 0 quot 2 0 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 5 zWquot 2 0 minus 2 2 1 zWquot 2 1 1 mark 1 1 0 0 5 quot 2 3 sel 2 0 from 1 3342 sel 2 1 21443 s 1 0 nil 0 21294 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 3344 active 1 0 quot 2 0 active from X from s X false from mark X from X from active X from X true cons 2 0 s 1 23105 zWquot 2 0 minus 2 2 13068 zWquot 2 1 1 mark 1 1 0 0 5 quot 2 3 sel 2 0 from 1 29655 sel 2 1 38231 s 1 0 nil 0 31608 mark 1 1 1 minus 2 0 from 1 1 0 active 1 1 2 cons 2 1 29657 active 1 0 quot 2 0 active from X s X false s mark X s X s active X s X true cons 2 0 s 1 17947 zWquot 2 0 minus 2 2 28660 zWquot 2 1 17943 mark 1 1 0 0 17947 quot 2 17945 sel 2 0 from 1 592 sel 2 1 50844 s 1 1 0 nil 0 17945 mark 1 1 1 minus 2 0 from 1 0 active 1 1 2 cons 2 1 594 active 1 0 quot 2 0 active zWquot XS nil mark nil false mark nil active nil false active minus X 0 mark 0 false mark 0 active 0 false NaTT certifiable-1.6