active app nil YS mark YS active app cons X XS YS mark cons X app XS YS active from X mark cons X from s X active zWadr nil YS mark nil active zWadr XS nil mark nil active zWadr cons X XS cons Y YS mark cons app Y cons X nil zWadr XS YS active prefix L mark cons nil zWadr L prefix L active app X1 X2 app active X1 X2 active app X1 X2 app X1 active X2 active cons X1 X2 cons active X1 X2 active from X from active X active s X s active X active zWadr X1 X2 zWadr active X1 X2 active zWadr X1 X2 zWadr X1 active X2 active prefix X prefix active X app mark X1 X2 mark app X1 X2 app X1 mark X2 mark app X1 X2 cons mark X1 X2 mark cons X1 X2 from mark X mark from X s mark X mark s X zWadr mark X1 X2 mark zWadr X1 X2 zWadr X1 mark X2 mark zWadr X1 X2 prefix mark X mark prefix X proper app X1 X2 app proper X1 proper X2 proper nil ok nil proper cons X1 X2 cons proper X1 proper X2 proper from X from proper X proper s X s proper X proper zWadr X1 X2 zWadr proper X1 proper X2 proper prefix X prefix proper X app ok X1 ok X2 ok app X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s ok X ok s X zWadr ok X1 ok X2 ok zWadr X1 X2 prefix ok X ok prefix X top mark X top proper X top ok X top active X 2.2 active app cons X XS YS app XS YS proper from X proper X active zWadr X1 X2 active X2 active cons X1 X2 cons active X1 X2 from mark X from X proper from X from proper X s ok X s X from ok X from X proper cons X1 X2 cons proper X1 proper X2 active from X cons X from s X proper cons X1 X2 proper X1 active prefix X prefix active X proper s X s proper X zWadr ok X1 ok X2 zWadr X1 X2 active prefix X active X active from X s X zWadr X1 mark X2 zWadr X1 X2 zWadr mark X1 X2 zWadr X1 X2 active zWadr cons X XS cons Y YS cons X nil top ok X top active X active zWadr cons X XS cons Y YS cons app Y cons X nil zWadr XS YS active app X1 X2 active X1 prefix mark X prefix X proper app X1 X2 proper X2 cons ok X1 ok X2 cons X1 X2 active zWadr cons X XS cons Y YS app Y cons X nil proper prefix X proper X active app X1 X2 app active X1 X2 active zWadr cons X XS cons Y YS zWadr XS YS proper prefix X prefix proper X app mark X1 X2 app X1 X2 proper cons X1 X2 proper X2 active s X s active X active from X active X top mark X top proper X proper s X proper X top ok X active X active prefix L cons nil zWadr L prefix L proper zWadr X1 X2 proper X2 app X1 mark X2 app X1 X2 active zWadr X1 X2 zWadr X1 active X2 proper app X1 X2 proper X1 active prefix L zWadr L prefix L app ok X1 ok X2 app X1 X2 cons mark X1 X2 cons X1 X2 active app X1 X2 app X1 active X2 s mark X s X active from X from active X active s X active X active cons X1 X2 active X1 proper app X1 X2 app proper X1 proper X2 active zWadr X1 X2 active X1 proper zWadr X1 X2 zWadr proper X1 proper X2 active app cons X XS YS cons X app XS YS active from X from s X top mark X proper X active zWadr X1 X2 zWadr active X1 X2 proper zWadr X1 X2 proper X1 prefix ok X prefix X active app X1 X2 active X2 true top ok X top active X top mark X top proper X true cons 2 0 s 1 1 1 top 1 0 top 1 1 0 prefix 1 1 64283 zWadr 2 0 zWadr 2 1 2 2 proper 1 1 0 ok 1 1 0 from 1 1 49044 s 1 0 nil 0 15239 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 0 cons 2 1 49043 active 1 0 app 2 1 2 1 top ok X top active X cons mark X1 X2 mark cons X1 X2 active zWadr nil YS mark nil active prefix X prefix active X active app X1 X2 app active X1 X2 active app nil YS mark YS active from X mark cons X from s X app mark X1 X2 mark app X1 X2 zWadr mark X1 X2 mark zWadr X1 X2 prefix ok X ok prefix X proper cons X1 X2 cons proper X1 proper X2 from mark X mark from X cons ok X1 ok X2 ok cons X1 X2 app X1 mark X2 mark app X1 X2 proper from X from proper X s ok X ok s X zWadr X1 mark X2 mark zWadr X1 X2 proper s X s proper X active zWadr XS nil mark nil from ok X ok from X active cons X1 X2 cons active X1 X2 active prefix L mark cons nil zWadr L prefix L s mark X mark s X proper nil ok nil proper prefix X prefix proper X active zWadr X1 X2 zWadr X1 active X2 app ok X1 ok X2 ok app X1 X2 active s X s active X prefix mark X mark prefix X proper app X1 X2 app proper X1 proper X2 active from X from active X active app X1 X2 app X1 active X2 active zWadr X1 X2 zWadr active X1 X2 active zWadr cons X XS cons Y YS mark cons app Y cons X nil zWadr XS YS zWadr ok X1 ok X2 ok zWadr X1 X2 proper zWadr X1 X2 zWadr proper X1 proper X2 active app cons X XS YS mark cons X app XS YS top ok X top active X true cons 2 0 s 1 1 6812 top 1 0 top 1 1 0 prefix 1 1 1 zWadr 2 0 zWadr 2 2 24324 proper 1 1 49760 ok 1 1 49760 from 1 1 0 s 1 0 nil 0 15240 mark 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 34837 cons 2 2 1 active 1 0 app 2 1 1 cons mark X1 X2 mark cons X1 X2 active zWadr nil YS mark nil active prefix X prefix active X active app X1 X2 app active X1 X2 active app nil YS mark YS active from X mark cons X from s X app mark X1 X2 mark app X1 X2 zWadr mark X1 X2 mark zWadr X1 X2 prefix ok X ok prefix X proper cons X1 X2 cons proper X1 proper X2 from mark X mark from X cons ok X1 ok X2 ok cons X1 X2 app X1 mark X2 mark app X1 X2 proper from X from proper X s ok X ok s X zWadr X1 mark X2 mark zWadr X1 X2 proper s X s proper X active zWadr XS nil mark nil from ok X ok from X active cons X1 X2 cons active X1 X2 active prefix L mark cons nil zWadr L prefix L s mark X mark s X proper nil ok nil proper prefix X prefix proper X active zWadr X1 X2 zWadr X1 active X2 app ok X1 ok X2 ok app X1 X2 active s X s active X prefix mark X mark prefix X proper app X1 X2 app proper X1 proper X2 active from X from active X active app X1 X2 app X1 active X2 active zWadr X1 X2 zWadr active X1 X2 active zWadr cons X XS cons Y YS mark cons app Y cons X nil zWadr XS YS zWadr ok X1 ok X2 ok zWadr X1 X2 proper zWadr X1 X2 zWadr proper X1 proper X2 active app cons X XS YS mark cons X app XS YS top mark X proper X false top ok X active X false proper cons X1 X2 proper X2 proper zWadr X1 X2 proper X1 proper prefix X proper X proper app X1 X2 proper X2 proper cons X1 X2 proper X1 proper app X1 X2 proper X1 proper zWadr X1 X2 proper X2 proper s X proper X proper from X proper X true cons 2 0 s 1 1 1 top 1 0 top 1 1 0 prefix 1 1 32582 zWadr 2 0 zWadr 2 1 2 1 proper 1 1 0 ok 1 1 from 1 1 436 s 1 0 nil 0 1 mark 1 26815 prefix 1 0 app 2 0 proper 1 1 0 from 1 0 active 1 1 38803 cons 2 1 2 1 active 1 0 app 2 1 2 1 cons mark X1 X2 mark cons X1 X2 active zWadr nil YS mark nil active prefix X prefix active X active app X1 X2 app active X1 X2 active app nil YS mark YS active from X mark cons X from s X app mark X1 X2 mark app X1 X2 zWadr mark X1 X2 mark zWadr X1 X2 prefix ok X ok prefix X proper cons X1 X2 cons proper X1 proper X2 from mark X mark from X cons ok X1 ok X2 ok cons X1 X2 app X1 mark X2 mark app X1 X2 proper from X from proper X s ok X ok s X zWadr X1 mark X2 mark zWadr X1 X2 proper s X s proper X active zWadr XS nil mark nil from ok X ok from X active cons X1 X2 cons active X1 X2 active prefix L mark cons nil zWadr L prefix L s mark X mark s X proper nil ok nil proper prefix X prefix proper X active zWadr X1 X2 zWadr X1 active X2 app ok X1 ok X2 ok app X1 X2 active s X s active X prefix mark X mark prefix X proper app X1 X2 app proper X1 proper X2 active from X from active X active app X1 X2 app X1 active X2 active zWadr X1 X2 zWadr active X1 X2 active zWadr cons X XS cons Y YS mark cons app Y cons X nil zWadr XS YS zWadr ok X1 ok X2 ok zWadr X1 X2 proper zWadr X1 X2 zWadr proper X1 proper X2 active app cons X XS YS mark cons X app XS YS proper zWadr X1 X2 zWadr proper X1 proper X2 false proper app X1 X2 app proper X1 proper X2 false proper prefix X prefix proper X false proper s X s proper X false proper from X from proper X false proper cons X1 X2 cons proper X1 proper X2 false active app X1 X2 active X2 active zWadr X1 X2 active X1 active cons X1 X2 active X1 active app X1 X2 active X1 active s X active X active prefix X active X active zWadr X1 X2 active X2 active from X active X true cons 2 0 s 1 1 1 top 1 0 top 1 1 0 prefix 1 1 30808 zWadr 2 0 zWadr 2 1 2 1 proper 1 1 0 ok 1 1 from 1 1 1 s 1 0 nil 0 1 mark 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 1 active 1 1 0 app 2 1 2 1 cons mark X1 X2 mark cons X1 X2 active zWadr nil YS mark nil active prefix X prefix active X active app X1 X2 app active X1 X2 active app nil YS mark YS active from X mark cons X from s X app mark X1 X2 mark app X1 X2 zWadr mark X1 X2 mark zWadr X1 X2 prefix ok X ok prefix X proper cons X1 X2 cons proper X1 proper X2 from mark X mark from X cons ok X1 ok X2 ok cons X1 X2 app X1 mark X2 mark app X1 X2 proper from X from proper X s ok X ok s X zWadr X1 mark X2 mark zWadr X1 X2 proper s X s proper X active zWadr XS nil mark nil from ok X ok from X active cons X1 X2 cons active X1 X2 active prefix L mark cons nil zWadr L prefix L s mark X mark s X proper nil ok nil proper prefix X prefix proper X active zWadr X1 X2 zWadr X1 active X2 app ok X1 ok X2 ok app X1 X2 active s X s active X prefix mark X mark prefix X proper app X1 X2 app proper X1 proper X2 active from X from active X active app X1 X2 app X1 active X2 active zWadr X1 X2 zWadr active X1 X2 active zWadr cons X XS cons Y YS mark cons app Y cons X nil zWadr XS YS zWadr ok X1 ok X2 ok zWadr X1 X2 proper zWadr X1 X2 zWadr proper X1 proper X2 active app cons X XS YS mark cons X app XS YS active app cons X XS YS cons X app XS YS false active app cons X XS YS app XS YS false active zWadr cons X XS cons Y YS cons app Y cons X nil zWadr XS YS false active zWadr cons X XS cons Y YS app Y cons X nil false active zWadr cons X XS cons Y YS cons X nil false active zWadr cons X XS cons Y YS zWadr XS YS false active zWadr X1 X2 zWadr active X1 X2 false active app X1 X2 app X1 active X2 false active from X from active X false active s X s active X false active zWadr X1 X2 zWadr X1 active X2 false active prefix L cons nil zWadr L prefix L false active prefix L zWadr L prefix L false zWadr mark X1 X2 zWadr X1 X2 zWadr X1 mark X2 zWadr X1 X2 zWadr ok X1 ok X2 zWadr X1 X2 true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 32797 zWadr 2 1 0 zWadr 2 2 0 proper 1 32798 ok 1 1 4 from 1 1 0 s 1 0 nil 0 32796 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 32796 cons 2 1 0 active 1 0 app 2 1 0 zWadr X1 mark X2 zWadr X1 X2 zWadr X1 mark X2 zWadr X1 X2 true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 2 0 zWadr 2 2 0 proper 1 2 ok 1 1 1 from 1 1 0 s 1 0 nil 0 6390 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 active cons X1 X2 cons active X1 X2 false active from X cons X from s X false cons ok X1 ok X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 0 zWadr 2 2 0 proper 1 2 ok 1 1 20039 from 1 1 0 s 1 0 nil 0 6168 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 active from X from s X false from ok X from X from mark X from X true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 0 zWadr 2 2 0 proper 1 2 ok 1 1 1 from 1 1 0 s 1 0 nil 0 2 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 active from X s X false s mark X s X s ok X s X true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 0 zWadr 2 2 0 proper 1 2 ok 1 1 5360 from 1 1 0 s 1 1 0 nil 0 570 mark 1 1 1 prefix 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 active app X1 X2 app active X1 X2 false app mark X1 X2 app X1 X2 app ok X1 ok X2 app X1 X2 app X1 mark X2 app X1 X2 true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 0 zWadr 2 2 0 proper 1 2 ok 1 1 1 from 1 1 0 s 1 0 nil 0 570 mark 1 1 1 prefix 1 0 app 2 1 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 active prefix X prefix active X false prefix ok X prefix X prefix mark X prefix X true cons 2 0 s 1 1 0 top 1 0 top 1 0 prefix 1 2 zWadr 2 0 zWadr 2 2 0 proper 1 191 ok 1 1 1 from 1 1 0 s 1 0 nil 0 570 mark 1 1 1 prefix 1 1 0 app 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 0 active 1 0 app 2 1 0 NaTT certifiable-1.6