a__nats cons 0 incr nats a__pairs cons 0 incr odds a__odds a__incr a__pairs a__incr cons X XS cons s mark X incr XS a__head cons X XS mark X a__tail cons X XS mark XS mark nats a__nats mark pairs a__pairs mark odds a__odds mark incr X a__incr mark X mark head X a__head mark X mark tail X a__tail mark X mark 0 0 mark s X s mark X mark nil nil mark cons X1 X2 cons mark X1 X2 a__nats nats a__pairs pairs a__odds odds a__incr X incr X a__head X head X a__tail X tail X 2.2 mark odds a__odds mark tail X mark X a__odds a__incr a__pairs mark incr X a__incr mark X a__head cons X XS mark X mark cons X1 X2 mark X1 a__odds a__pairs mark s X mark X mark incr X mark X mark tail X a__tail mark X a__incr cons X XS mark X mark head X a__head mark X a__tail cons X XS mark XS mark nats a__nats mark pairs a__pairs mark head X mark X true mark head X mark X mark cons X1 X2 mark X1 a__tail cons X XS mark XS mark head X a__head mark X a__incr cons X XS mark X a__head cons X XS mark X mark incr X a__incr mark X a__odds a__incr a__pairs mark tail X mark X mark tail X a__tail mark X mark incr X mark X mark s X mark X mark odds a__odds true incr 1 1 0 s 1 1 0 a__head 1 1 4 a__incr 1 1 0 pairs 0 0 a__nats 0 18919 a__pairs 0 0 a__odds 0 0 tail 1 1 1 mark 1 1 4 0 0 0 odds 0 0 nil 0 46823 a__nats 0 0 mark 1 1 0 nats 0 18919 a__incr 1 1 4 head 1 1 8946 cons 2 1 2 0 a__odds 0 4 a__pairs 0 0 a__tail 1 1 1 a__tail 1 1 4 a__head 1 1 8946 mark odds a__odds mark s X mark X mark incr X mark X a__odds a__incr a__pairs mark incr X a__incr mark X a__head cons X XS mark X a__incr cons X XS mark X a__tail cons X XS mark XS mark cons X1 X2 mark X1 a__pairs pairs a__incr cons X XS cons s mark X incr XS mark nil nil mark pairs a__pairs a__nats cons 0 incr nats a__odds a__incr a__pairs mark cons X1 X2 cons mark X1 X2 a__head X head X a__odds odds a__nats nats a__tail X tail X a__head cons X XS mark X mark incr X a__incr mark X mark nats a__nats a__incr X incr X mark s X s mark X mark tail X a__tail mark X mark head X a__head mark X mark odds a__odds mark 0 0 a__tail cons X XS mark XS a__pairs cons 0 incr odds a__head cons X XS mark X false a__tail cons X XS mark XS false a__incr cons X XS mark X a__odds a__incr a__pairs mark cons X1 X2 mark X1 mark incr X mark X mark incr X a__incr mark X mark s X mark X mark odds a__odds true incr 1 1 0 s 1 1 0 a__head 1 0 a__incr 1 1 0 pairs 0 41418 a__nats 0 41418 a__pairs 0 0 a__odds 0 41418 tail 1 1 1 mark 1 1 2 0 0 33050 odds 0 41418 nil 0 41141 a__nats 0 0 mark 1 1 0 nats 0 41418 a__incr 1 1 0 head 1 1 22248 cons 2 1 8368 2 0 0 a__odds 0 41419 a__pairs 0 41418 a__tail 1 1 1 a__tail 1 0 a__head 1 1 22248 mark s X mark X mark incr X mark X a__pairs pairs a__incr cons X XS cons s mark X incr XS mark nil nil mark pairs a__pairs a__nats cons 0 incr nats a__odds a__incr a__pairs mark cons X1 X2 cons mark X1 X2 a__head X head X a__odds odds a__nats nats a__tail X tail X a__head cons X XS mark X mark incr X a__incr mark X mark nats a__nats a__incr X incr X mark s X s mark X mark tail X a__tail mark X mark head X a__head mark X mark odds a__odds mark 0 0 a__tail cons X XS mark XS a__pairs cons 0 incr odds mark incr X mark X mark s X mark X true incr 1 1 4 s 1 1 1 a__head 1 4 a__incr 1 3 pairs 0 3 a__nats 0 2 a__pairs 0 0 a__odds 0 2 tail 1 3 mark 1 1 3 0 0 2 odds 0 3 nil 0 2 a__nats 0 0 mark 1 1 nats 0 21240 a__incr 1 3 head 1 8946 cons 2 4 a__odds 0 3 a__pairs 0 2 a__tail 1 2 a__tail 1 4 a__head 1 2 mark nats a__nats false mark pairs a__pairs false a__odds a__pairs false NaTT certifiable-1.6