conc(conc(conc(conc(p((3,2),(1)),conc(for(x1,{(3,3)},fkt(x2,{(0,1,9)},conc(p((2,x1),(1)),conc(conc(conc(p((3,-19),(1)),conc(p((0,3),(0)),conc(conc(conc(p((0,3),(1)),conc(p((2,0),(1)),conc(fkt(x3,{(1,1,6)},conc(p((1,1),(1)),conc(p((0,3),(0)),conc(p((1,0),(1)),conc(conc(conc(conc(p((1,2),(0)),conc(conc(p((3,0),(0)),conc(p((1,3),(1)),conc(conc(p((0,-4),(0)),conc(p((2,x3),(0)),conc(p((1,1),(1)),conc(conc(p((2,0),(1)),conc(conc(p((3,1),(1)),conc(p((0,2),(0)),p((2,2),(1)))),conc(p((0,1),(1)),conc(p((2,1),(1)),conc(conc(conc(conc(conc(p((1,2),(1)),p((0,1),(0))),conc(p((3,3),(0)),conc(conc(conc(p((0,2),(1)),conc(p((0,3),(1)),conc(conc(conc(p((0,19),(1)),conc(p((0,1),(1)),conc(conc(conc(p((2,1),(1)),conc(conc(for(x4,{(6,5)},conc(p((0,0),(1)),conc(conc(conc(p((2,2),(1)),p((1,1),(0))),conc(p((25,x4),(1)),p((-12,26),(0)))),p((1,1),(0))))),p((0,3),(1))),p((1,1),(0)))),p((0,3),(0))),p((0,3),(1))))),p((3,1),(1))),p((3,0),(1))))),p((3,3),(1))),p((3,1),(1))))),p((2,0),(1))),p((0,3),(1))),p((1,3),(1))))))),p((2,1),(1)))))),p((2,1),(0))))),p((3,0),(1)))),p((2,3),(1))),p((2,2),(1))),p((1,1),(0))))))),p((-1,x2),(1))))),p((0,1),(1))),p((3,19),(0))))),p((0,0),(1))),p((1,2),(1)))))),p((3,0),(1)))),p((1,1),(1))),p((0,0),(1))),p((2,1),(1)));
