conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,104),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)))
fun(x1,{(1,1,1)},for(x2,{(104,104)},conc(for(x3,{(71,0)},for(x4,{(27,0),(86,93)},p((x4,x3),(x1)))),conc(for(x5,{(68,128)},for(x6,{(69,151),(-1,30)},p((x6,x5),(1)))),for(x7,{(x2,104),(0,15)},for(x8,{(x7,133)},p((x8,x7),(1))))))))
