Assertion fails FROGV

May be i am wrong, but my did some assertion and found that 1<=A,B<=N is not maintained in the judge data.
can anybody check it plz.

//