active incr nil mark nil active incr cons X L mark cons s X incr L active adx nil mark nil active adx cons X L mark incr cons X adx L active nats mark adx zeros active zeros mark cons 0 zeros active head cons X L mark X active tail cons X L mark L mark incr X active incr mark X mark nil active nil mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark adx X active adx mark X mark nats active nats mark zeros active zeros mark 0 active 0 mark head X active head mark X mark tail X active tail mark X incr mark X incr X incr active X incr 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 adx mark X adx X adx active X adx X head mark X head X head active X head X tail mark X tail X tail active X tail X 2.2 active incr cons X L cons s X incr L active incr nil mark nil active nats mark adx zeros mark head X head mark X active adx cons X L mark incr cons X adx L active adx nil mark nil mark 0 active 0 tail active X tail X active adx cons X L incr cons X adx L active adx cons X L cons X adx L incr mark X incr X active zeros mark cons 0 zeros cons mark X1 X2 cons X1 X2 mark tail X tail mark X mark incr X mark X mark adx X adx mark X mark incr X active incr mark X head active X head X mark nats active nats mark zeros active zeros mark incr X incr mark X adx active X adx X mark cons X1 X2 active cons mark X1 X2 active nats adx zeros mark tail X mark X active adx cons X L adx L s mark X s X mark s X s mark X active zeros cons 0 zeros s active X s X mark adx X mark X adx mark X adx X head mark X head X active tail cons X L mark L mark nil active nil tail mark X tail X mark head X active head mark X active head cons X L mark X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 mark s X active s mark X incr active X incr X mark head X mark X mark s X mark X mark cons X1 X2 mark X1 active incr cons X L s X active incr cons X L mark cons s X incr L mark adx X active adx mark X mark cons X1 X2 cons mark X1 X2 active incr cons X L incr L mark tail X active tail mark X cons active X1 X2 cons X1 X2 true mark tail X active tail mark X mark tail X mark X mark cons X1 X2 active cons mark X1 X2 mark adx X active adx mark X mark zeros active zeros active incr cons X L mark cons s X incr L mark nats active nats mark cons X1 X2 mark X1 mark s X mark X mark head X mark X mark incr X active incr mark X mark incr X mark X mark s X active s mark X active zeros mark cons 0 zeros active head cons X L mark X mark head X active head mark X active tail cons X L mark L mark adx X mark X active adx cons X L mark incr cons X adx L active nats mark adx zeros true adx 1 0 incr 1 1 0 cons 2 0 s 1 1 0 head 1 0 adx 1 1 1 zeros 0 1 tail 1 1 1 mark 1 1 0 0 0 0 s 1 0 nil 0 1 tail 1 0 mark 1 1 0 incr 1 0 nats 0 3 active 1 1 0 head 1 1 1 cons 2 1 2 0 active 1 1 0 active adx cons X L mark incr cons X adx L mark head X active head mark X active zeros mark cons 0 zeros mark s X active s mark X mark incr X mark X mark incr X active incr mark X mark s X mark X mark cons X1 X2 mark X1 mark nats active nats active incr cons X L mark cons s X incr L mark zeros active zeros mark adx X active adx mark X mark cons X1 X2 active cons mark X1 X2 mark tail X active tail mark X mark tail X active tail mark X active adx cons X L mark incr cons X adx L mark zeros active zeros active tail cons X L mark L active incr nil mark nil active adx nil mark nil mark 0 active 0 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X mark head X active head mark X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X active nats mark adx zeros mark nil active nil active head cons X L mark X incr active X incr X s mark X s X head active X head X mark nats active nats tail mark X tail X mark s X active s mark X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 mark incr X active incr mark X mark adx X active adx mark X active zeros mark cons 0 zeros head mark X head X active incr cons X L mark cons s X incr L mark tail X active tail mark X active adx cons X L mark incr cons X adx L mark zeros active zeros mark head X active head mark X mark s X mark X mark s X active s mark X mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 mark incr X mark X mark incr X active incr mark X mark adx X active adx mark X active zeros mark cons 0 zeros active incr cons X L mark cons s X incr L true adx 1 0 incr 1 21035 cons 2 0 s 1 841 head 1 0 adx 1 21035 zeros 0 21035 tail 1 1 mark 1 21035 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 incr 1 0 nats 0 1 active 1 1 head 1 16908 cons 2 18588 active 1 1 0 active incr cons X L mark cons s X incr L active zeros mark cons 0 zeros mark adx X active adx mark X mark incr X active incr mark X mark incr X mark X mark cons X1 X2 mark X1 mark s X mark X mark zeros active zeros active adx cons X L mark incr cons X adx L cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X active adx cons X L mark incr cons X adx L mark zeros active zeros mark s X mark X mark cons X1 X2 mark X1 mark incr X mark X mark incr X active incr mark X mark adx X active adx mark X active zeros mark cons 0 zeros active incr cons X L mark cons s X incr L true adx 1 0 incr 1 1 0 cons 2 0 s 1 1 0 head 1 0 adx 1 1 18459 zeros 0 16006 tail 1 1 47562 mark 1 1 0 0 0 16004 s 1 0 nil 0 49858 tail 1 0 mark 1 1 0 incr 1 0 nats 0 34465 active 1 1 0 head 1 1 34132 cons 2 1 1 2 0 0 active 1 1 0 active incr cons X L mark cons s X incr L active zeros mark cons 0 zeros mark adx X active adx mark X mark incr X active incr mark X mark incr X mark X mark s X mark X mark zeros active zeros active adx cons X L mark incr cons X adx L mark tail X active tail mark X active adx cons X L mark incr cons X adx L mark zeros active zeros active tail cons X L mark L active incr nil mark nil active adx nil mark nil mark 0 active 0 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X mark head X active head mark X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X active nats mark adx zeros mark nil active nil active head cons X L mark X incr active X incr X s mark X s X head active X head X mark nats active nats tail mark X tail X mark s X active s mark X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 mark incr X active incr mark X mark adx X active adx mark X active zeros mark cons 0 zeros head mark X head X active incr cons X L mark cons s X incr L active adx cons X L mark incr cons X adx L mark s X mark X mark incr X mark X mark incr X active incr mark X mark adx X active adx mark X active incr cons X L mark cons s X incr L true adx 1 0 incr 1 1 8405 cons 2 0 s 1 1 26929 head 1 0 adx 1 8406 zeros 0 2685 tail 1 0 mark 1 1 12630 0 0 1103 s 1 0 nil 0 1 tail 1 0 mark 1 1 21654 incr 1 0 nats 0 0 active 1 1 0 head 1 1 0 cons 2 0 active 1 21035 mark incr X active incr mark X active adx cons X L mark incr cons X adx L cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 active adx cons X L mark incr cons X adx L mark incr X active incr mark X true adx 1 0 incr 1 2805 cons 2 0 s 1 2809 head 1 0 adx 1 2807 zeros 0 1 tail 1 3048 mark 1 12630 0 0 2809 s 1 0 nil 0 26313 tail 1 0 mark 1 2808 incr 1 0 nats 0 0 active 1 1 0 head 1 2809 cons 2 2809 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X mark zeros active zeros false active zeros mark cons 0 zeros false mark nats active nats false mark adx X adx mark X false mark incr X incr mark X false active incr cons X L s X false active incr cons X L incr L false mark cons X1 X2 cons mark X1 X2 false active adx nil mark nil false active nats adx zeros false mark head X head mark X false head active X head X head mark X head X true adx 1 0 incr 1 41350 cons 2 0 s 1 37697 head 1 1 0 adx 1 25729 zeros 0 2 tail 1 36467 mark 1 12630 0 0 36868 s 1 0 nil 0 41352 tail 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 2 head 1 36560 cons 2 72601 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X mark 0 active 0 false active zeros cons 0 zeros false active adx cons X L incr cons X adx L false incr active X incr X incr mark X incr X true adx 1 0 incr 1 11940 cons 2 0 s 1 39990 head 1 0 adx 1 5970 zeros 0 3578 tail 1 37145 mark 1 12630 0 0 1 s 1 0 nil 0 17910 tail 1 0 mark 1 1 1 incr 1 1 0 nats 0 0 active 1 1 5970 head 1 31381 cons 2 17910 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X active adx cons X L cons X adx L false active adx cons X L adx L false adx active X adx X adx mark X adx X true adx 1 1 0 incr 1 19288 cons 2 0 s 1 39990 head 1 0 adx 1 9644 zeros 0 1 tail 1 12644 mark 1 12630 0 0 61688 s 1 0 nil 0 28932 tail 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 9644 head 1 30638 cons 2 28932 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X mark tail X tail mark X false tail mark X tail X tail active X tail X true adx 1 0 incr 1 15084 cons 2 0 s 1 39990 head 1 0 adx 1 15082 zeros 0 1 tail 1 21691 mark 1 12630 0 0 25011 s 1 0 nil 0 15086 tail 1 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 2 head 1 38969 cons 2 16148 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X active incr nil mark nil false mark nil active nil false active incr cons X L cons s X incr L false cons active X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true adx 1 0 incr 1 16763 cons 2 1 0 s 1 16892 head 1 0 adx 1 16761 zeros 0 1 tail 1 13927 mark 1 12630 0 0 1 s 1 0 nil 0 16765 tail 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 2 head 1 1 cons 2 16765 active 1 1 9824 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 true adx 1 0 incr 1 32799 cons 2 2 0 s 1 16892 head 1 0 adx 1 8823 zeros 0 1 tail 1 31671 mark 1 12630 0 0 1 s 1 0 nil 0 32801 tail 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 2 head 1 49077 cons 2 61271 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X mark s X s mark X false s mark X s X s active X s X true adx 1 0 incr 1 6440 cons 2 0 s 1 16892 head 1 0 adx 1 6438 zeros 0 1 tail 1 1 mark 1 12630 0 0 20631 s 1 1 0 nil 0 32801 tail 1 0 mark 1 1 1 incr 1 0 nats 0 0 active 1 1 2 head 1 19864 cons 2 6442 active 1 1 9824 cons mark X1 X2 cons X1 X2 s active X s X incr mark X incr X tail active X tail X adx mark X adx X cons X1 mark X2 cons X1 X2 adx active X adx X incr active X incr X s mark X s X head active X head X tail mark X tail X cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X NaTT certifiable-1.6