fun(x1,{(1,0,12)},for(x2,{(x1,0)},for(x3,{(3,3)},for(x4,{(1,1)},fun(x5,{(3,1,51)},fun(x6,{(x4,19,x2)},fun(x7,{(1,8,1)},fun(x8,{(x7,1,-32)},fun(x9,{(1,x8,1),(6,x5,1)},for(x10,{(26,x3)},for(x11,{(x9,2)},p((x11,x10),(x6)))))))))))))