AlgoList: Задача 119. Magic Pairs

В задаче Magic Pairs я никак не могу понять, почему мое решение не проходит.
(Wrong answer on test 4).
Суть его такова:
в качестве искомых пар (A,B) берем пары вида: (A0*i mod N, B0*i mod N)
Потом это дело сортируем. И выводим. Вроде верно.

Но вот этот код дает WA4

type
int=int64;
var
A: array[1..10500] of int;{Здесь будут искомые пары A,B}
B: array[1..10500] of int;

procedure sort(l,r: longint);{Обычный QSORT}
var
i,j,xa,xb,ya,yb: int;
begin
i:=l; j:=r; xa:=a[(l+r) DIV 2]; xb:=b[(l+r) DIV 2];
repeat
while (a<xa)or((a=xa)and(b<xb)) do i:=i+1;
while (xa<a[j])or((a[j]=xa)and(b[j]>xb)) do j:=j-1;
if i<=j then
begin
ya:=a; a:=a[j]; a[j]:=ya;
yb:=b; b:=b[j]; b[j]:=yb;
i:=i+1; j:=j-1;
end;
until i>j;
if l<j then sort(l,j);
if i<r then sort(i,r);
end;

var
N: longint;{Используем longint, так как int64 иногда глючит с read из файла}
A0, B0: longint;
i: longint;
ans: int;
begin
read(N, A0, B0);
A[1]:=A0;
B[1]:=B0;
ans:=1; {количество таких пар}
while (A[ans]<>0)or(B[ans]<>0) do begin
A[ans+1]:=(A[ans]+A0)mod N;
B[ans+1]:=(B[ans]+B0)mod N;
inc(ans);
end;
sort(1,ans);
writeln(ans);
for i:=1 to ans do writeln(a,' ',b);
end.

Вроде искодник мой достаточно прост. Что же не так?

На всякий случай, мое обоснование того, что можно брать пары вида: (A0*i mod N, B0*i mod N)

Предположим, что для любых X,Y таких, что A0*X+B0*Y делится на N также выполняется A*X+B*Y делится на N. Рассмотрим D=НОД(A0,N) и предположим A не делится на D. Тогда возьмем X=N/D, а Y=0. Тогда первое выполняется, а второе - нет, так как A не делится на D. Противоречие.
Таким образом A делится на НОД(A0,N), а B аналогично - на НОД(B0,N)
Теперь заметим, что взяв A0/D и складывая его само с собой много раз по модулю N/D получим в конце концов 1. (так как они взаимно просты) Поэтому можем получить любой остаток, в том числе и A/D. Поэтому из условия можем вывести для любого A некоторое A*X+B*Y. Причем, такая запись почти всегда единственна... ну кроме случаев A0, 0. и 0, B0. Ну а далее легко понять, что и в этих двух случаях алгоритм работает правильно.

А вопрос вот в чем: почему Wrong Answer 4?????
Может я просто где-то наглючил в реализации, а может быть, составил неправильный алгоритм. В любом случае, я не смог найти ошибку.

type
int=int64;
var
A: array[1..10500] of int;
B: array[1..10500] of int;

procedure sort(l,r: longint);
var
i,j,xa,xb,ya,yb: int;
begin
i:=l; j:=r; xa:=a[(l+r) DIV 2]; xb:=b[(l+r) DIV 2];
repeat
while (a[i]<xa)or((a[i]=xa)and(b[i]<xb)) do i:=i+1;
while (xa<a[j])or((a[j]=xa)and(b[j]>xb)) do j:=j-1;
if i<=j then
begin
ya:=a[i]; a[i]:=a[j]; a[j]:=ya;
yb:=b[i]; b[i]:=b[j]; b[j]:=yb;
i:=i+1; j:=j-1;
end;
until i>j;
if l<j then sort(l,j);
if i<r then sort(i,r);
end;

var
N: longint;
A0, B0: longint;
i: longint;
ans: int;
begin
read(N, A0, B0);
A[1]:=A0;
B[1]:=B0;
ans:=1;
while (A[ans]<>0)or(B[ans]<>0) do begin
A[ans+1]:=(A[ans]+A0)mod N;
B[ans+1]:=(B[ans]+B0)mod N;
inc(ans);
end;
sort(1,ans);
writeln(ans);
for i:=1 to ans do writeln(a[i],' ',b[i]);
end.

Алгоритмы, методы, исходники