-- Here is the output of the algortihm
-- which compares the computed polynomials
-- with the one of the fibre Pi when it
-- is small.
-- NOTE: P is always the 0 vector.
-- IMPORTANT: for smallness, we imposed
-- the condition m_PQ > 2*dim F_PQ.
-- All possible Schubert varieties with
-- I[1] < ... < I[10] < K <= L[1] < ...
-- < J[10] < L <= 25, have been considered.

I := [1], K := 11, J := [12], L := 23, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 23, Q := [10]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [1]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [2]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [3]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [4]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [5]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [6]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [7]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [8]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 24, Q := [9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [1,  0]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [0,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [1,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [2,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [1,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [2,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [3,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [2,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [3,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [4,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [3,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [4,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [5,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [4,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [5,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [6,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [5,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [6,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [7,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [6,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [7,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [8,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [7,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [8,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [8,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [9,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 24, Q := [10,  9]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 24, Q := [10]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 24, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [1]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [2]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [3]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [4]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [5]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [6]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [7]
OK! B_PQ is correct.
I := [3], K := 11, J := [14], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [1,  0]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [0,  1]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [2,  0]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [1,  1]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [2,  1]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [1,  2]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [3,  1]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [2,  2]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [3,  2]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [2,  3]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [4,  2]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [3,  3]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [4,  3]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [3,  4]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [5,  3]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [4,  4]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [5,  4]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [4,  5]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [6,  4]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [5,  5]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [6,  5]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [5,  6]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [7,  5]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [6,  6]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [7,  6]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [6,  7]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [8,  6]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [7,  7]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [8,  7]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [7,  8]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [9,  7]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [8,  8]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  3], K := 11, J := [12,  15], L := 25, Q := [10,  8]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [1,  0]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [0,  1]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [1,  1]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [0,  2]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [2,  1]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [1,  2]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [2,  2]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [1,  3]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [3,  2]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [2,  3]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [3,  3]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [2,  4]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [4,  3]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [3,  4]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [4,  4]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [3,  5]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [5,  4]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [4,  5]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [5,  5]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [4,  6]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [6,  5]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [5,  6]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [6,  6]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [5,  7]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [7,  6]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [6,  7]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [7,  7]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [6,  8]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [8,  7]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [7,  8]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [8,  8]
OK! B_PQ is correct.
I := [2,  3], K := 11, J := [13,  16], L := 25, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  0,  0]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [0,  1,  0]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [0,  0,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  1,  0]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  0,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [0,  1,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  1,  0]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  1,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [0,  1,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  1,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  2,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  1,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  2,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  1,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  2,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  2,  1]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  2,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [1,  2,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  2,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  3,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  2,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  3,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  2,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  3,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  3,  2]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  3,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [2,  3,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  3,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  4,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  3,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  4,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  3,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  4,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  4,  3]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  4,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [3,  4,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  4,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  5,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  4,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  5,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  4,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  5,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  5,  4]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  5,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [4,  5,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  5,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  6,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  5,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  6,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  5,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  6,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  6,  5]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  6,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [5,  6,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  6,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  7,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  6,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  7,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  6,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  7,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  7,  6]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  7,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [6,  7,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  7,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  8,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  7,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  8,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  7,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [7,  8,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [9,  8,  7]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  8,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [9,  8,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [8,  9,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [9,  9,  8]
OK! B_PQ is correct.
I := [1,  2,  3], K := 11, J := [12,  14,  16], L := 25, Q := [10,  9,  8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [2], K := 11, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [1,  0]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [0,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [1,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [2,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [1,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [2,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [3,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [2,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [3,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [4,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [3,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [4,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [5,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [4,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [5,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [6,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [5,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [6,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [7,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [6,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [7,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [8,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [7,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [8,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [8,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [9,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  14], L := 25, Q := [10,  9]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [1]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [2]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [3]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [4]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [5]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [6]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [7]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [8]
OK! B_PQ is correct.
I := [2], K := 11, J := [14], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [1,  0]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [0,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [1,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [0,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [2,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [1,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [2,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [1,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [3,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [2,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [3,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [2,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [4,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [3,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [4,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [3,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [5,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [4,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [5,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [4,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [6,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [5,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [6,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [5,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [7,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [6,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [7,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [6,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [8,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [7,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [8,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [7,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [8,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [9,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [12,  15], L := 25, Q := [10,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [1,  0]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [0,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [1,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [2,  1]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [1,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [2,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [3,  2]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [2,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [3,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [4,  3]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [3,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [4,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [5,  4]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [4,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [5,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [6,  5]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [5,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [6,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [7,  6]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [6,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [7,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [8,  7]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [7,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [8,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [9,  8]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [8,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [9,  9]
OK! B_PQ is correct.
I := [1,  2], K := 11, J := [13,  15], L := 25, Q := [10,  9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [12], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 12, J := [13], L := 25, Q := [11]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [1]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [2]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [3]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [4]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [5]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [6]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [7]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [8]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [9]
OK! B_PQ is correct.
I := [2], K := 12, J := [13], L := 25, Q := [10]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [1]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [2]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [3]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [4]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [5]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [6]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [7]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [8]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [9]
OK! B_PQ is correct.
I := [1], K := 11, J := [14], L := 25, Q := [10]
OK! B_PQ is correct.