ps=: #~ [: #:@i. 2^#