conc(for(x1,{(15,0),(5,26)},p((29,x1),(1))),conc(for(x2,{(9,0),(10,27)},p((16,x2),(1))),for(x3,{(8,27),(0,8),(59,59)},p((15,x3),(1)))))
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,0),(10,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,59)},p((15,x5),(1))))))
