incsxsincxinc0s0plusxyifPluseqx0minusxs0xincxifPlusfalsexyzplusxzifPlustruexyzyminussxsyminusxyminus0x0minusx0xminusxx0eqsxsyeqxyeq0sxfalseeqsx0falseeq00trueeqxxtruetimesxytimesIterxy0timesIterxyzifTimeseqx0minusxs0yzplusyzifTimestruexyzuzifTimesfalsexyzutimesIterxyufgfhinc1s100plus2ifPlus4eq2minus2false0true0times2timesIter3ifTimes5f0g0h0FULL./TRS/secret06/aprove/times.trs