+x0x+xsys+xyrec0UFUrecsxUFFxrecxUF*xyrecy0z1natz2nat+xz2xnatynatUnatFnatnatnat0natsnatnat+natnatnat*natnatnatrecnatnatnatnatnatnatFULL.