fun(x1,{(5,1,11)},for(x2,{(8,8)},fun(x3,{(31,1,x1)},for(x4,{(1,1)},conc(conc(conc(for(x5,{(32,-6),(74,74),(16,17)},p((19,x5),(1))),conc(for(x6,{(1,1)},conc(for(x7,{(1,1)},for(x8,{(38,-3)},p((x7,x8),(1)))),conc(fun(x9,{(x2,1,22),(38,-11,-22)},conc(conc(conc(fun(x10,_,for(x11,{(x10,32),(73,80)},p((3,x11),(x6)))),for(x12,{(x9,10)},p((49,x12),(3)))),p((27,x1),(x6))),p((-36,-7),(0)))),conc(fun(x13,_,for(x14,{(x13,31),(66,60),(88,89)},p((29,x14),(1)))),conc(fun(x15,_,for(x16,{(x15,36),(91,86),(102,104)},p((27,x16),(1)))),p((29,55),(8))))))),p((11,-8),(-11)))),conc(conc(conc(for(x17,{(x3,0)},p((25,x17),(1))),fun(x18,_,for(x19,{(x18,32),(89,84)},p((7,x19),(1))))),p((0,-7),(0))),fun(x20,{(x4,-8,-17)},conc(conc(fun(x21,{(-10,-14,21)},fun(x22,_,conc(conc(for(x23,{(47,-1)},p((11,x23),(1))),conc(for(x24,{(x22,40),(76,79),(89,87)},p((17,x24),(1))),for(x25,{(x21,37)},p((x1,x25),(1))))),for(x26,{(31,-1)},p((13,x26),(1)))))),fun(x27,{(x20,41,-16)},p((x27,40),(-3)))),fun(x28,_,for(x29,{(x28,0),(101,101),(55,x4)},p((23,x29),(1)))))))),conc(conc(fun(x30,_,for(x31,{(x30,31),(79,81)},p((21,x31),(1)))),for(x32,{(36,-2)},p((9,x32),(1)))),fun(x33,{(3,-1,-24),(-4,-6,9)},conc(for(x34,{(38,-2)},p((x3,x34),(x4))),fun(x35,_,for(x36,{(x35,32),(91,94)},p((15,x36),(1))))))))))))
