fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))))
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-31,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(1,36,x13)},conc(for(x15,{(1,x9)},fun(x16,{(-56,-36,14)},fun(x17,{(16,x16,8)},for(x18,{(x17,1)},for(x19,{(7,2),(11,14)},p((x18,x19),(x15))))))),for(x20,{(3,10)},for(x21,{(10,x14)},p((x20,x21),(x10)))))))))))))))))))
fun(x1,{(1,7,1)},fun(x2,{(12,0,1)},fun(x3,{(0,1,12)},fun(x4,{(0,1,8)},fun(x5,{(1,1,x2)},fun(x6,{(2,-14,17)},fun(x7,{(1,28,1)},for(x8,{(x4,x3)},fun(x9,{(1,x5,-29)},for(x10,{(0,0)},fun(x11,{(1,36,x10)},conc(for(x12,{(1,x8)},fun(x13,{(-22,38,-15)},for(x14,{(x13,1)},for(x15,{(x1,2),(11,14)},p((x14,x15),(x12)))))),for(x16,{(3,10)},for(x17,{(10,x11)},p((x16,x17),(x9))))))))))))))))
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,1)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(0,-1,4)},fun(x16,{(-18,1,1)},fun(x17,{(17,13,11)},fun(x18,{(-6,-2,-16)},for(x19,{(0,x12)},fun(x20,{(1,13,1)},fun(x21,{(x5,0,1)},for(x22,{(1,1)},fun(x23,{(1,x4,0)},fun(x24,{(1,11,15)},fun(x25,{(18,x22,9)},fun(x26,{(-26,14,9)},fun(x27,{(55,16,x7)},fun(x28,{(11,x3,2)},fun(x29,{(12,-9,-11)},fun(x30,{(x26,x18,-15),(10,-3,16)},fun(x31,{(x11,7,1)},fun(x32,{(x20,x30,x10)},fun(x33,{(x6,2,0)},fun(x34,{(-19,x15,x29)},fun(x35,{(1,1,x32)},for(x36,{(x34,x33)},fun(x37,{(1,x35,x21)},for(x38,{(0,0)},fun(x39,{(1,36,x38)},conc(conc(fun(x40,{(-16,-15,1)},fun(x41,{(-3,0,18)},fun(x42,{(0,19,0)},fun(x43,{(0,1,8)},fun(x44,{(1,1,x41)},fun(x45,{(-17,-19,14)},fun(x46,{(x23,x44,-11)},fun(x47,{(1,x45,-15)},fun(x48,{(-37,x47,-28)},for(x49,{(0,0)},fun(x50,{(1,36,x49)},for(x51,{(3,5)},for(x52,{(20,x50)},p((x51,x52),(x46))))))))))))))),for(x53,{(1,x36)},fun(x54,{(-22,x27,-15)},for(x55,{(x54,1)},for(x56,{(x31,2),(x28,14),(45,46),(58,60)},p((x55,x56),(x53))))))),for(x57,{(x2,10)},for(x58,{(10,x39)},p((x57,x58),(x37))))))))))))))))))))))))))))))))))))))))))))
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(-14,x8,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,8,6)},for(x12,{(1,1)},fun(x13,{(0,-1,4)},fun(x14,{(-18,1,1)},fun(x15,{(17,13,11)},fun(x16,{(-6,-2,-16)},fun(x17,{(1,13,1)},fun(x18,{(x5,0,1)},for(x19,{(1,1)},fun(x20,{(1,x4,0)},fun(x21,{(-26,14,9)},fun(x22,{(55,4,x7)},fun(x23,{(11,x3,2)},fun(x24,{(12,-9,-15)},fun(x25,{(x21,x16,-15),(10,-3,16)},fun(x26,{(x10,7,1)},fun(x27,{(x17,x25,x9)},fun(x28,{(x6,2,0)},fun(x29,{(-19,x13,x24)},fun(x30,{(1,1,x27)},for(x31,{(x29,x28)},fun(x32,{(1,x30,x18)},for(x33,{(0,0)},fun(x34,{(1,36,x33)},conc(conc(fun(x35,{(-16,4,1)},fun(x36,{(-3,0,18)},fun(x37,{(0,19,0)},fun(x38,{(0,1,8)},fun(x39,{(1,1,x36)},fun(x40,{(-17,-19,14)},fun(x41,{(x20,x39,-11)},fun(x42,{(-17,x40,-15)},fun(x43,{(-37,x42,-28)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},for(x46,{(3,5)},for(x47,{(20,x45)},p((x46,x47),(x41))))))))))))))),for(x48,{(1,x31)},fun(x49,{(-21,x22,-15)},for(x50,{(x49,1)},for(x51,{(x26,2),(x23,14),(45,46),(58,60)},p((x50,x51),(x48))))))),for(x52,{(x2,10)},for(x53,{(10,x34)},p((x52,x53),(x32)))))))))))))))))))))))))))))))))))))))

