minusx0xminus0y0minussxsyminuspsxpsyminusxplusyzminusminusxyzpssxspsxp0ss0divsxsysdivminusxysydivplusxyzplusdivxzdivyzplus0yyplussxysplusyminussxs0minus200s1p1plus2div2FULL./TRS/secret05/aprove5.trs