fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((x8,46),(0)))),p((33,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((119,x21),(1)))))))))))))))))
conc(fun(x1,{(67,271,-20),(2,67,-16)},conc(for(x2,{(35,54)},for(x3,{(x1,34),(x2,53)},p((x2,x3),(1)))),conc(conc(conc(for(x4,{(0,127)},conc(for(x5,{(0,30),(30,29),(73,129)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,271,6)},p((x6,-87),(2)))),p((102,12),(15))))),p((-25,16),(1)))