tail cons X XS nats cons 0 pairs cons 0 odds incr pairs incr cons X cons s X head cons X X 2.2 NaTT certifiable-1.6