plusxyifPlusisZeroxxincyifPlustruexypyifPlusfalsexypluspxytimesxytimesIter0xy0timesIterixyzifTimesgeixixyzifTimestrueixyzzifTimesfalseixyztimesIterincixypluszyisZero0trueisZeros0falseisZerossxisZerosxinc0s0incsxsincxincxsxp00psxxpssxspsxgex0truege0syfalsegesxsygexyf00yxf1xyxf1xyzf2xyzf2x1zf0xzzf0xyzdf1xyzcplus2ifPlus3isZero1inc1true0p1false0times2timesIter400ifTimes5ge2s1f03f13f2310d0c0FULL./TRS/secret07/aprove/aprove02.trs