conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1)))
conc(conc(conc(conc(for(x1,{(2,7),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19)},for(x7,{(8,17),(92,92)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))))
