PSL(3,3) conv K: x=(2, 1, 1, 1, 2, 1, 0, 2, 1) y=(0, 2, 1, 1, 0, 2, 0, 2, 2) M=128 L=70  (naive recheck OK)
PSL(3,3) conv K: x=(1, 0, 2, 1, 1, 2, 1, 0, 0) y=(2, 0, 1, 0, 1, 1, 2, 2, 2) M=64 L=40  (naive recheck OK)
PSL(3,3) conv K: x=(2, 2, 1, 2, 0, 1, 1, 0, 1) y=(2, 1, 0, 0, 1, 2, 2, 1, 2) M=128 L=126  (naive recheck OK)
PSL(3,3) conv K: x=(2, 1, 0, 0, 0, 1, 0, 1, 0) y=(0, 2, 2, 0, 0, 2, 1, 2, 0) M=64 L=6  (naive recheck OK)
conv K: 4 certified pairs out of 5 random pairs tried
PSL(3,3) conv O: x=(2, 2, 1, 2, 0, 1, 0, 1, 2) y=(2, 2, 0, 1, 0, 1, 2, 0, 0) M=64 L=7  (naive recheck OK)
PSL(3,3) conv O: x=(2, 1, 0, 0, 0, 1, 2, 2, 1) y=(2, 0, 1, 0, 2, 0, 2, 1, 2) M=64 L=37  (naive recheck OK)
PSL(3,3) conv O: x=(2, 0, 2, 1, 2, 2, 2, 0, 0) y=(2, 0, 1, 2, 1, 1, 1, 2, 1) M=128 L=70  (naive recheck OK)
PSL(3,3) conv O: x=(2, 2, 2, 2, 0, 0, 1, 0, 2) y=(1, 2, 2, 0, 1, 1, 2, 1, 2) M=16 L=9  (naive recheck OK)
conv O: 4 certified pairs out of 10 random pairs tried
RESULT.md example: det x = 1, det y = 1, u_64 = u_97 != 1 (K): True; Brent: ('cyc', 64, 33)
deliberately wrong input (M=64, L=32): False
