conc(p((26,22),(1)),fun(x1,{(1,1,1)},conc(conc(conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x4,{(x3,8)},for(x5,{(12,16)},p((x4,x5),(1)))),p((13,9),(1))),fun(x6,{(-14,1,0)},p((x6,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x7,{(10,17)},conc(p((x7,10),(x1)),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(1))),for(x9,{(3,10)},fun(x10,{(x9,10,-1),(x2,x9,1)},p((x9,x10),(0))))),conc(conc(p((18,6),(0)),for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,21),(1))),p((11,17),(1)))))