a__incr nil nil a__incr cons X L cons s mark X incr L a__adx nil nil a__adx cons X L a__incr cons mark X adx L a__nats a__adx a__zeros a__zeros cons 0 zeros a__head cons X L mark X a__tail cons X L mark L mark incr X a__incr mark X mark adx X a__adx mark X mark nats a__nats mark zeros a__zeros mark head X a__head mark X mark tail X a__tail mark X mark nil nil mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 a__incr X incr X a__adx X adx X a__nats nats a__zeros zeros a__head X head X a__tail X tail X 2.2 mark head X a__head mark X mark nats a__nats a__nats a__adx a__zeros mark tail X mark X mark adx X a__adx mark X mark adx X mark X a__nats a__zeros mark zeros a__zeros a__head cons X L mark X mark incr X mark X a__tail cons X L mark L a__adx cons X L mark X mark cons X1 X2 mark X1 mark head X mark X a__incr cons X L mark X mark tail X a__tail mark X mark s X mark X mark incr X a__incr mark X a__adx cons X L a__incr cons mark X adx L true a__adx cons X L a__incr cons mark X adx L mark incr X a__incr mark X mark s X mark X mark adx X mark X mark tail X a__tail mark X a__incr cons X L mark X mark head X mark X mark cons X1 X2 mark X1 mark adx X a__adx mark X mark tail X mark X a__nats a__adx a__zeros a__adx cons X L mark X a__tail cons X L mark L mark nats a__nats mark incr X mark X a__head cons X L mark X mark head X a__head mark X true incr 1 1 0 s 1 1 0 a__head 1 1 1 a__incr 1 1 0 a__nats 0 41439 adx 1 1 18458 zeros 0 22979 a__adx 1 1 18458 tail 1 1 2 mark 1 1 0 0 0 0 a__zeros 0 0 nil 0 1 a__nats 0 41438 mark 1 1 0 a__adx 1 1 18458 nats 0 41439 a__incr 1 1 0 head 1 1 25908 cons 2 1 2 0 a__tail 1 1 2 a__tail 1 1 1 a__zeros 0 22979 a__head 1 1 25908 mark incr X mark X mark adx X a__adx mark X mark cons X1 X2 mark X1 a__incr cons X L mark X mark s X mark X mark incr X a__incr mark X a__adx cons X L a__incr cons mark X adx L mark 0 0 a__adx cons X L a__incr cons mark X adx L mark nil nil a__tail cons X L mark L a__incr nil nil a__adx nil nil mark cons X1 X2 cons mark X1 X2 a__nats nats a__incr X incr X mark s X s mark X a__zeros zeros a__nats a__adx a__zeros mark adx X a__adx mark X a__head cons X L mark X a__adx X adx X mark tail X a__tail mark X mark zeros a__zeros a__head X head X a__tail X tail X mark nats a__nats mark incr X a__incr mark X mark head X a__head mark X a__zeros cons 0 zeros a__incr cons X L cons s mark X incr L a__adx cons X L a__incr cons mark X adx L mark cons X1 X2 mark X1 mark s X mark X mark adx X a__adx mark X mark incr X mark X mark incr X a__incr mark X a__incr cons X L mark X true incr 1 1 0 s 1 1 0 a__head 1 0 a__incr 1 1 0 a__nats 0 5 adx 1 1 1 zeros 0 4 a__adx 1 1 2 tail 1 1 1 mark 1 1 2 0 0 1 a__zeros 0 0 nil 0 1 a__nats 0 0 mark 1 1 0 a__adx 1 1 1 nats 0 5 a__incr 1 1 0 head 1 1 1 cons 2 1 3 2 0 0 a__tail 1 1 1 a__tail 1 0 a__zeros 0 4 a__head 1 1 1 mark incr X mark X mark s X mark X mark 0 0 a__adx cons X L a__incr cons mark X adx L mark nil nil a__tail cons X L mark L a__incr nil nil a__adx nil nil mark cons X1 X2 cons mark X1 X2 a__nats nats a__incr X incr X mark s X s mark X a__zeros zeros a__nats a__adx a__zeros mark adx X a__adx mark X a__head cons X L mark X a__adx X adx X mark tail X a__tail mark X mark zeros a__zeros a__head X head X a__tail X tail X mark nats a__nats mark incr X a__incr mark X mark head X a__head mark X a__zeros cons 0 zeros a__incr cons X L cons s mark X incr L mark s X mark X mark incr X mark X true incr 1 1 56455 s 1 1 1 a__head 1 1 a__incr 1 56454 a__nats 0 28229 adx 1 1 28231 zeros 0 28230 a__adx 1 0 tail 1 2 mark 1 1 0 0 0 28229 a__zeros 0 0 nil 0 56455 a__nats 0 41438 mark 1 28228 a__adx 1 28230 nats 0 28230 a__incr 1 0 head 1 2 cons 2 1 28226 a__tail 1 1 1 a__tail 1 1 a__zeros 0 28229 a__head 1 1 1 a__nats a__zeros false mark zeros a__zeros false NaTT certifiable-1.6