This algorithm tests KaLu when Pi is small.
The number Omega of essential conditions is fixed
and the condition I[1] < ... < I[Omega] < K <= J[1] <
< ... < J[Omega] < L is imposed.
I := [1]; K := 2; J := [3]; L := 5;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 6;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 6;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 7;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 7;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 7;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 7;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 7;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 8;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 9;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 10;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 11;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 12;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 13;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 14;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 15;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [9]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [10]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [11]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [12]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [13]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [13]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [14]; L := 16;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [9]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [10]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [11]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [12]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [13]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [14]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [14]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [14]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [15]; L := 17;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [9]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [10]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [11]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [12]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [13]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [14]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [15]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [15]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [15]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [16]; L := 18;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [9]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
Q := [8];
OK! A_PQ = B_PQ.
I := [2]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [3]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [4]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [5]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [6]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [7]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [8]; K := 9; J := [10]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [11]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [12]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [13]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [14]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [15]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [16]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [16]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [16]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [17]; L := 19;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [3]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [4]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [4]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [4]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [5]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [6]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [7]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [8]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [9]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
Q := [8];
OK! A_PQ = B_PQ.
I := [2]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [3]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [4]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [5]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [6]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [7]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [8]; K := 9; J := [10]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
Q := [8];
OK! A_PQ = B_PQ.
I := [2]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [3]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [4]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [5]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [6]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [7]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [8]; K := 9; J := [11]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
Q := [7];
OK! A_PQ = B_PQ.
I := [2]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [3]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [4]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [5]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [6]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [7]; K := 8; J := [12]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
Q := [6];
OK! A_PQ = B_PQ.
I := [2]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [3]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [4]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [5]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [6]; K := 7; J := [13]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 6; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
Q := [5];
OK! A_PQ = B_PQ.
I := [2]; K := 6; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [3]; K := 6; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [4]; K := 6; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [5]; K := 6; J := [14]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 5; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
Q := [4];
OK! A_PQ = B_PQ.
I := [2]; K := 5; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [3]; K := 5; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [4]; K := 5; J := [15]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 4; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
Q := [3];
OK! A_PQ = B_PQ.
I := [2]; K := 4; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [3]; K := 4; J := [16]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [17]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 3; J := [17]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
Q := [2];
OK! A_PQ = B_PQ.
I := [2]; K := 3; J := [17]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.
I := [1]; K := 2; J := [18]; L := 20;
Q := [1];
OK! A_PQ = B_PQ.