OWNCERT Sz(32) conv=K x=(21, 31, 12, 11, 30, 1, 16, 22, 3, 24, 1, 23, 19, 21, 26, 7) y=(7, 4, 18, 8, 22, 25, 30, 15, 29, 14, 12, 12, 6, 14, 21, 22) M=4096 L=3167 recheck=OK
OWNCERT Sz(32) conv=K x=(30, 0, 2, 23, 6, 28, 11, 0, 26, 16, 16, 9, 3, 27, 11, 6) y=(25, 11, 24, 12, 2, 4, 19, 4, 13, 12, 5, 7, 7, 12, 27, 24) M=8192 L=1077 recheck=OK
OWNCERT Sz(32) conv=K x=(11, 5, 16, 11, 3, 3, 11, 17, 22, 20, 27, 16, 4, 8, 19, 4) y=(14, 12, 31, 24, 20, 10, 15, 0, 11, 12, 23, 2, 6, 12, 25, 27) M=16384 L=2642 recheck=OK
OWNCERT Sz(32) conv=K x=(9, 20, 14, 28, 20, 8, 19, 17, 28, 30, 28, 23, 27, 30, 5, 12) y=(17, 11, 21, 8, 0, 13, 12, 6, 24, 20, 11, 7, 5, 19, 18, 3) M=8192 L=4934 recheck=OK
OWNCERT Sz(32) conv=K x=(3, 27, 6, 13, 29, 10, 12, 7, 10, 18, 6, 25, 1, 7, 16, 14) y=(11, 1, 26, 13, 1, 24, 12, 24, 2, 21, 14, 23, 5, 26, 1, 6) M=4096 L=3453 recheck=OK
pair 5: reaches 1 at n=8420
OWNCERT Sz(32) conv=K x=(0, 0, 0, 28, 0, 0, 9, 2, 0, 4, 23, 23, 3, 24, 26, 16) y=(31, 16, 11, 17, 29, 6, 4, 14, 18, 22, 27, 6, 11, 24, 1, 6) M=8192 L=5399 recheck=OK
pair 7: reaches 1 at n=3736
OWNCERT Sz(32) conv=K x=(2, 0, 30, 18, 7, 20, 8, 8, 9, 25, 6, 24, 13, 0, 9, 24) y=(24, 11, 13, 10, 31, 23, 30, 15, 6, 19, 8, 26, 22, 17, 28, 29) M=1024 L=493 recheck=OK
OWNCERT Sz(32) conv=K x=(8, 14, 3, 24, 3, 19, 5, 26, 2, 2, 1, 7, 17, 2, 14, 3) y=(8, 28, 14, 24, 0, 24, 13, 17, 0, 0, 17, 12, 0, 0, 0, 22) M=8192 L=2581 recheck=OK
OWNCERT Sz(32) conv=K x=(29, 10, 20, 21, 28, 0, 2, 6, 19, 12, 17, 1, 31, 18, 7, 27) y=(29, 24, 18, 28, 26, 30, 11, 31, 16, 12, 3, 20, 14, 4, 25, 21) M=8192 L=1545 recheck=OK
OWNCERT Sz(32) conv=K x=(23, 0, 27, 13, 23, 11, 27, 30, 3, 11, 29, 18, 10, 13, 27, 10) y=(20, 11, 13, 17, 8, 12, 31, 2, 30, 15, 16, 11, 3, 24, 5, 10) M=16384 L=11685 recheck=OK
OWNCERT Sz(32) conv=K x=(26, 16, 10, 1, 30, 4, 23, 21, 28, 27, 5, 13, 23, 19, 17, 30) y=(22, 29, 31, 31, 19, 25, 5, 11, 21, 18, 9, 22, 7, 22, 24, 10) M=4096 L=2369 recheck=OK
OWNCERT Sz(32) conv=K x=(30, 24, 6, 29, 31, 18, 29, 27, 22, 17, 29, 1, 20, 26, 2, 27) y=(29, 5, 6, 13, 22, 3, 19, 23, 7, 26, 17, 26, 19, 29, 22, 20) M=4096 L=2339 recheck=OK
OWNCERT Sz(32) conv=K x=(4, 8, 27, 5, 22, 20, 18, 24, 25, 18, 2, 14, 16, 14, 29, 21) y=(7, 19, 21, 6, 25, 30, 7, 7, 23, 10, 29, 23, 5, 6, 26, 29) M=8192 L=6074 recheck=OK
OWNCERT Sz(32) conv=K x=(20, 30, 17, 31, 7, 21, 15, 5, 20, 24, 12, 11, 8, 0, 27, 29) y=(14, 27, 15, 7, 16, 24, 16, 7, 19, 20, 20, 31, 27, 9, 3, 22) M=4096 L=2235 recheck=OK
OWNCERT Sz(32) conv=K x=(26, 0, 20, 30, 17, 2, 13, 11, 5, 26, 26, 24, 1, 7, 8, 16) y=(8, 21, 4, 27, 10, 1, 6, 0, 3, 23, 5, 6, 14, 23, 2, 26) M=4096 L=1804 recheck=OK
OWNCERT Sz(32) conv=K x=(26, 12, 24, 27, 14, 13, 21, 14, 24, 27, 26, 12, 29, 19, 17, 28) y=(8, 27, 1, 23, 27, 17, 30, 19, 1, 30, 9, 16, 23, 19, 16, 27) M=8192 L=5397 recheck=OK
OWNCERT Sz(32) conv=K x=(5, 25, 27, 2, 11, 11, 14, 25, 29, 17, 0, 9, 23, 24, 18, 6) y=(3, 18, 10, 1, 18, 3, 6, 5, 13, 9, 15, 27, 16, 7, 5, 14) M=2048 L=972 recheck=OK
OWNCERT Sz(32) conv=K x=(1, 28, 2, 26, 27, 8, 20, 5, 16, 3, 27, 19, 11, 6, 19, 26) y=(21, 17, 25, 20, 7, 0, 22, 16, 24, 10, 30, 30, 9, 4, 21, 19) M=1024 L=838 recheck=OK
SEARCH Sz(32) conv=K seed=51: 18 certified, 2 reached 1, of 20 pairs (11s)
