fun(x1,{(1,1,1)},fun(x2,{(0,1,9)},fun(x3,{(0,10,6)},for(x4,{(0,0)},fun(x5,{(17,1,7)},for(x6,{(0,0)},fun(x7,{(1,0,1)},fun(x8,{(0,11,2)},for(x9,{(10,10)},fun(x10,{(0,1,3)},fun(x11,{(0,1,4)},fun(x12,{(1,-2,1)},for(x13,{(0,0)},for(x14,{(0,0)},for(x15,{(1,1)},fun(x16,{(0,1,8)},fun(x17,{(-17,-5,5)},for(x18,{(0,0)},for(x19,{(0,0)},for(x20,{(x7,0)},for(x21,{(0,0)},fun(x22,{(1,9,1)},fun(x23,{(1,54,1),(12,0,2)},fun(x24,{(1,2,1)},for(x25,{(1,1)},fun(x26,{(0,14,0)},for(x27,{(1,1)},for(x28,{(-5,-5)},fun(x29,{(11,0,12)},for(x30,{(x23,54)},fun(x31,{(0,1,4)},for(x32,{(0,x16)},fun(x33,{(x27,x6,x31)},fun(x34,{(1,14,1)},fun(x35,{(1,x34,14)},fun(x36,{(x35,39,3)},fun(x37,{(x33,18,x32)},conc(for(x38,{(0,0)},for(x39,{(1,1)},fun(x40,{(x39,x24,1)},for(x41,{(1,x38)},for(x42,{(6,x40)},p((x41,x42),(1))))))),for(x43,{(0,0)},fun(x44,{(x25,-8,1)},for(x45,{(0,0)},for(x46,{(x26,0)},fun(x47,{(1,x43,1)},for(x48,{(9,9)},for(x49,{(1,1)},fun(x50,{(17,x28,x21)},for(x51,{(0,0)},fun(x52,{(19,-7,4)},for(x53,{(0,0)},fun(x54,{(x9,x29,1)},for(x55,{(x54,0)},for(x56,{(x53,0)},for(x57,{(1,1)},fun(x58,{(x57,1,x56)},fun(x59,{(3,1,x55)},for(x60,{(x58,1)},fun(x61,{(x60,2,x52)},for(x62,{(10,x59)},for(x63,{(11,x61)},p((x62,x63),(1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

