for(x1,{(4,4)},for(x2,{(1,x1)},for(x3,{(1,4)},p((x2,x3),(1)))))