pyramid:{[N]
quad:({raze x#'y}).'{((-1+first x 0),(1_x 0),1;(1+first x 1),x 1)}\[N-1;(enlist N;enlist 1)];
top:{reverse[1_x],x}'[quad];
top,reverse -1_top
}
quad:({raze x#'y}).'{((-1+first x 0),(1_x 0),1;(1+first x 1),x 1)}\[N-1;(enlist N;enlist 1)];
top:{reverse[1_x],x}'[quad];
top,reverse -1_top
}