selsNconsXselNXSfromXconsXsel0consXXminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXconsYconsquotXYselsNconsXfromXsel0consXminusX0minussXsYquot0sYquotsXsYzWquotXSnilzWquotnilXSzWquotconsXconsY2.1selsNconsXselsNconsXselNXSselNselsNconsXXXNNselNttt21.14unfold -fp -vpos -sc -fph