for(x1,{(-2,-2)},fun(x2,{(1,71,1)},for(x3,{(21,21)},fun(x4,{(1,-36,1)},fun(x5,{(0,-16,16)},conc(conc(conc(conc(for(x6,{(x1,35)},p((3,x6),(1))),p((23,18),(1))),conc(for(x7,{(2,31),(-12,12),(29,21)},p((5,x7),(1))),p((9,-13),(15)))),conc(fun(x8,{(3,-17,-3),(5,2,0)},conc(fun(x9,{(1,1,1)},for(x10,{(-2,31),(10,5)},p((31,x10),(x9)))),p((x0,40),(x8)))),for(x11,{(-3,-3)},conc(for(x12,{(x11,32)},p((13,x12),(1))),p((29,-2),(8)))))),for(x13,{(0,0)},fun(x14,{(14,-30,1)},conc(conc(conc(conc(for(x15,{(14,14)},conc(conc(fun(x16,{(-3,27,8)},fun(x17,{(1,1,1)},conc(for(x18,{(7,31),(2,14)},p((23,x18),(x17))),conc(fun(x19,{(1,1,2),(2,-12,-40)},conc(conc(conc(for(x20,{(-6,35),(x2,72)},p((25,x20),(x19))),p((15,1),(-4))),fun(x21,{(20,-22,6)},p((8,33),(16)))),conc(p((23,33),(1)),for(x22,{(-9,48)},p((21,x22),(1)))))),fun(x23,{(12,2,-15)},conc(fun(x24,{(15,-55,16),(24,x15,-23)},conc(fun(x25,{(1,1,x16)},for(x26,{(31,31),(11,31),(-4,14)},p((17,x26),(x25)))),p((x23,2),(x24)))),for(x27,{(1,-4)},for(x28,{(x27,-3)},p((23,x28),(1)))))))))),p((17,19),(1))),conc(conc(for(x29,{(0,35)},p((29,x29),(1))),p((27,6),(0))),p((23,34),(1))))),for(x30,{(x13,-1),(31,30)},for(x31,{(x30,x14)},p((11,x31),(1))))),p((30,12),(0))),p((15,22),(4))),conc(conc(for(x32,{(-5,35)},p((15,x32),(1))),p((23,-9),(14))),conc(fun(x33,{(15,x4,-2),(1,-21,-8)},conc(conc(fun(x34,{(1,1,x33)},for(x35,{(x3,25),(-1,47)},p((27,x35),(x34)))),conc(conc(conc(conc(p((19,23),(-17)),for(x36,{(0,0)},for(x37,{(29,29)},fun(x38,{(1,23,0)},conc(for(x39,{(0,x36)},for(x40,{(x39,32)},p((7,x40),(1)))),fun(x41,{(15,-8,-5),(-12,2,-28),(2,2,2)},conc(p((x37,12),(x38)),conc(conc(conc(fun(x42,{(15,-35,0),(2,26,-31)},conc(fun(x43,{(1,1,-1)},conc(p((7,-13),(x43)),for(x44,{(21,31),(10,19)},p((19,x44),(x43))))),p((2,-6),(x42)))),for(x45,{(1,x5)},for(x46,{(x45,32)},p((1,x46),(1))))),conc(for(x47,{(0,48)},p((9,x47),(1))),p((9,15),(1)))),p((x38,-4),(x41)))))))))),fun(x48,{(1,1,1)},for(x49,{(21,x13),(10,9),(60,59)},p((19,x49),(x48))))),p((34,2),(7))),for(x50,_,for(x51,{(x50,27),(12,17)},p((-6,x51),(1)))))),p((x33,-20),(x33)))),p((23,40),(1)))))))))))))