conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))))